Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Bartholomäus Wloka, Yves Lepage, Werner Winiwarter |
WAPITI - Web-based Assignment Preparation and Instruction Tool for Interpreters. |
iiWAS |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Brett F. Gutstein |
Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safety. |
|
2022 |
RDF |
|
19 | Nasim Rahaman, Muhammad Waleed Gondal, Shruti Joshi, Peter V. Gehler, Yoshua Bengio, Francesco Locatello, Bernhard Schölkopf |
Dynamic Inference with Neural Interpreters. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
19 | Ming Fan 0002, Wenying Wei, Xiaofei Xie, Yang Liu 0003, Xiaohong Guan, Ting Liu 0002 |
Can We Trust Your Explanations? Sanity Checks for Interpreters in Android Malware Analysis. |
IEEE Trans. Inf. Forensics Secur. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Smaïn Tabla, Matthieu Calafiore, Bertrand Legrand, Axel Descamps, Charlotte Andre, Michaël Rochoy, Emmanuel Chazard |
Artificial Intelligence and Clinical Decision Support Systems or Automated Interpreters: What Characteristics Are Expected by French General Practitioners? |
MedInfo |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Nada Amin |
Staged Relational Interpreters: Running Backwards, Faster. |
ELS |
2021 |
DBLP BibTeX RDF |
|
19 | Ondrej Bojar, Vojtech Srdecný, Rishu Kumar, Otakar Smrz, Felix Schneider, Barry Haddow, Phil Williams, Chiara Canton |
Operating a Complex SLT System with Speakers and Human Interpreters. |
ASLTRW@MTSummit |
2021 |
DBLP BibTeX RDF |
|
19 | Nasim Rahaman, Muhammad Waleed Gondal, Shruti Joshi, Peter V. Gehler, Yoshua Bengio, Francesco Locatello, Bernhard Schölkopf |
Dynamic Inference with Neural Interpreters. |
NeurIPS |
2021 |
DBLP BibTeX RDF |
|
19 | Xiaoshu Yuan, Yunzhang Shi, Hongyu Wan |
Investigating effects of gender identity on interpreters' styles: A case study of multidimensional analysis. |
PACLIC |
2021 |
DBLP BibTeX RDF |
|
19 | Sven Keidel |
Modular Specification and Compositional Soundness of Abstract Interpreters. |
|
2021 |
RDF |
|
19 | Matko Bosnjak |
On differentiable interpreters. |
|
2021 |
RDF |
|
19 | Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth 0001 |
Testing differential privacy with dual interpreters. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoît Combemale |
Automatic Generation of Truffle-based Interpreters for Domain-Specific Languages. |
J. Object Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Martin Dottori, Eugenia Hesse, Micaela Santilli, Martina G. Vilas, Miguel Martorell Caro, Daniel Fraiman, Lucas Sedeño, Agustín Ibáñez, Adolfo M. García |
Task-specific signatures in the expert brain: Differential correlates of translation and reading in professional interpreters. |
NeuroImage |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth 0001 |
Testing Differential Privacy with Dual Interpreters. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
19 | Ming Fan 0002, Wenying Wei, Xiaofei Xie, Yang Liu 0003, Xiaohong Guan, Ting Liu 0002 |
Can We Trust Your Explanations? Sanity Checks for Interpreters in Android Malware Analysis. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
19 | Philipp Körner, David Schneider 0001, Michael Leuschel |
On the Performance of Bytecode Interpreters in Prolog. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
19 | Martin Desharnais |
Inline Caching and Unboxing Optimization for Interpreters. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
19 | L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoît Combemale, Olivier Barais |
A principled approach to REPL interpreters. |
Onward! |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Meng-Lian Liu |
Computer Assisted Student Interpreters' Self-assessment: Ways and Inspiration. |
ICWL/SETE |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Haruko Yagura, Hiroki Tanaka, Taiki Kinoshita, Hiroki Watanabe, Shunnosuke Motomura, Katsuhito Sudoh, Satoshi Nakamura 0001 |
Analysis of selective attention processing on experienced simultaneous interpreters using EEG phase synchronization. |
EMBC |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Weihua Du |
Mobile Phone Usage Habits of Chinese Graduate Students and the Training of MTI Interpreters. |
IHIET (Paris) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Philipp Körner, David Schneider 0001, Michael Leuschel |
On the Performance of Bytecode Interpreters in Prolog. |
WFLP |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Juan Fumero, Athanasios Stratikopoulos, Christos Kotselidis |
Running parallel bytecode interpreters on heterogeneous hardware. |
Programming |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Dorfmeister, Oliver Krauss |
Integrating heuristiclab with compilers and interpreters for non-functional code optimization. |
GECCO Companion |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Svitlana Amelina, Rostyslav Tarasenko |
Using Modern Simultaneous Interpretation Tools in the Training of Interpreters at Universities. |
ICTERI |
2020 |
DBLP BibTeX RDF |
|
19 | Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser |
Intrinsically-typed definitional interpreters for linear, session-typed languages. |
CPP |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Ahmet Çelik, Pengyu Nie 0001, Christopher J. Rossbach, Milos Gligoric 0001 |
Design, implementation, and application of GPU-based Java bytecode interpreters. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Guannan Wei 0001, Yuxuan Chen, Tiark Rompf |
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Elmer, Jürgen Hänggi, Lucía Vaquero, Guillem Olivé Cadena, Clément François, Antoni Rodríguez-Fornells |
Tracking the microstructural properties of the main white matter pathways underlying speech processing in simultaneous interpreters. |
NeuroImage |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Pablo Navarrete Michelini, Hanwen Liu, Yunhua Lu, Xingqun Jiang |
A Tour of Convolutional Networks Guided by Linear Interpreters. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
19 | Pablo Navarrete Michelini, Hanwen Liu, Yunhua Lu, Xingqun Jiang |
A Tour of Convolutional Networks Guided by Linear Interpreters. |
ICCV |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Sean Heelan, Tom Melham, Daniel Kroening |
Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters. |
CCS |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Huibo Wang, Erick Bauman, Vishal Karande, Zhiqiang Lin, Yueqiang Cheng, Yinqian Zhang |
Running Language Interpreters Inside SGX: A Lightweight, Legacy-Compatible Script Code Hardening Approach. |
AsiaCCS |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Florian Latifi |
Practical second Futamura projection: partial evaluation for high-performance language interpreters. |
SPLASH (Companion Volume) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Kevin Johnstun, Heather Leary, Bryant Jensen |
Young Interpreters: The Situated as Supportive. |
CSCL |
2019 |
DBLP BibTeX RDF |
|
19 | Pablo Navarrete Michelini, Hanwen Liu, Yunhua Lu, Xingqun Jiang |
Understanding Convolutional Networks Using Linear Interpreters - Extended Abstract. |
ICCV Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Nada Amin, Tiark Rompf |
Collapsing towers of interpreters. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg |
Compositional soundness proofs of abstract interpreters. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Guannan Wei 0001, James M. Decker, Tiark Rompf |
Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl). |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser |
Intrinsically-typed definitional interpreters for imperative languages. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Zheng Yang 0007, Hang Lei |
Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Aamodh Suresh, Sonia Martínez |
Gesture based Human-Swarm Interactions for Formation Control using interpreters. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
19 | Zheng Yang 0007, Hang Lei |
Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
19 | Marc Velay, Fabrice Daniel |
Seq2Seq and Multi-Task Learning for joint intent and content extraction for domain specific interpreters. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
19 | Da Xiao, Jo-Yu Liao, Xingyuan Yuan |
Improving the Universality and Learnability of Neural Programmer-Interpreters with Combinator Abstraction. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
19 | Oliver Krauss |
Towards a framework for stochastic performance optimizations in compilers and interpreters: an architecture overview. |
ManLang |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Vanderson Martins do Rosário, Mario Mikio Hato, Rodolfo Azevedo, Edson Borin |
A Methodology for Optimization of Interpreters. |
WSCAD |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Oliver Krauss, Hanspeter Mössenböck, Michael Affenzeller |
Dynamic fitness functions for genetic improvement in compilers and interpreters. |
GECCO (Companion) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Falco Nogatz, Jona Kalkus, Dietmar Seipel |
Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Svetlana Probirskaja |
In Search of Soviet Wartime Interpreters: Triangulating Manual and Digital Archive Work. |
DHN |
2018 |
DBLP BibTeX RDF |
|
19 | Da Xiao, Jo-Yu Liao, Xingyuan Yuan |
Improving the Universality and Learnability of Neural Programmer-Interpreters with Combinator Abstraction. |
ICLR (Poster) |
2018 |
DBLP BibTeX RDF |
|
19 | David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn |
Abstracting definitional interpreters (functional pearl). |
Proc. ACM Program. Lang. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Pablo Inostroza, Tijs van der Storm |
Modular interpreters with implicit context propagation. |
Comput. Lang. Syst. Struct. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Walter Cazzola, Albert Shaqiri |
Open Programming Language Interpreters. |
Art Sci. Eng. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Cynthia Kop, Jakob Grue Simonsen |
Higher-order Cons-free Interpreters. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Julien Richard-Foy, Wojciech Pitula |
Modular Remote Communication Protocol Interpreters. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn |
Abstracting Definitional Interpreters. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Walter Cazzola, Albert Shaqiri |
Open Programming Language Interpreters. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Walter Cazzola, Albert Shaqiri |
Context-Aware Software Variability through Adaptable Interpreters. |
IEEE Softw. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Oliver Krauss |
Genetic improvement in code interpreters and compilers. |
SPLASH (Companion Volume) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Nada Amin, Tiark Rompf |
Type soundness proofs with definitional interpreters. |
POPL |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Sandrine Blazy, David Bühler, Boris Yakobowski |
Structuring Abstract Interpreters Through State and Value Abstractions. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Maxi Becker, Torsten Schubert, Tilo Strobach, Jürgen Gallinat, Simone Kühn |
Simultaneous interpreters vs. professional multilingual controls: Group differences in cognitive control as well as brain structure and function. |
NeuroImage |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Scott E. Reed, Nando de Freitas |
Neural Programmer-Interpreters. |
ICLR |
2016 |
DBLP BibTeX RDF |
|
19 | Akira Tanimura, Hideya Iwasaki |
Integrating lua into C for embedding lua interpreters in a C application. |
SAC |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Klaus-Hendrik Wolf, Mike Klimek |
A Conformance Test Suite for Arden Syntax Compilers and Interpreters. |
MIE |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Channoh Kim, Sungmin Kim, Hyeon-Gyu Cho, Doo-Young Kim, Jaehyeok Kim, Young H. Oh, Hakbeom Jang, Jae W. Lee |
Short-Circuit Dispatch: Accelerating Virtual Machine Interpreters on Embedded Processors. |
ISCA |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Tiark Rompf, Nada Amin |
From F to DOT: Type Soundness Proofs with Definitional Interpreters. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
19 | David E. Eagle, Rae Jean Proeschold-Bell |
Methodological considerations in the use of name generators and interpreters. |
Soc. Networks |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Marr, Stéphane Ducasse |
Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
19 | David Darais, Matthew Might, David Van Horn |
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Erven Rohou, Bharath Narasimha Swamy, André Seznec |
Branch prediction and the performance of interpreters: don't trust folklore. |
CGO |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Pablo Inostroza, Tijs van der Storm |
Modular interpreters for the masses: implicit context propagation using object algebras. |
GPCE |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt |
Towards modular instrumentation of interpreters in JavaScript. |
MODULARITY (Companion) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Gülfem Savrun-Yeniçeri |
Efficient Interpreters and Profilers for Hosted Dynamic Languages. |
|
2015 |
RDF |
|
19 | Gülfem Savrun-Yeniçeri, Wei Zhang 0059, Huahan Zhang, Eric Seckler, Chen Li 0001, Stefan Brunthaler 0001, Per Larsen, Michael Franz |
Efficient hosted interpreters on the JVM. |
ACM Trans. Archit. Code Optim. |
2014 |
DBLP DOI BibTeX RDF |
|
19 | David Darais, Matthew Might, David Van Horn |
Galois Transformers and Modular Abstract Interpreters. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
19 | David Rempel, Matt J. Camilleri, David L. Lee |
The design of hand gestures for human-computer interaction: Lessons from sign language interpreters. |
Int. J. Hum. Comput. Stud. |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Kenneth C. Louden, Ronald Mak |
Compilers and Interpreters. |
Computing Handbook, 3rd ed. (1) |
2014 |
DBLP BibTeX RDF |
|
19 | Wei Zhang 0059, Per Larsen, Stefan Brunthaler 0001, Michael Franz |
Accelerating iterators in optimizing AST interpreters. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Christian Humer, Christian Wimmer, Christian Wirth 0002, Andreas Wöß, Thomas Würthinger |
A domain-specific language for building self-optimizing AST interpreters. |
GPCE |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Brian Slattery, Leilah Lyons, Priscilla Jimenez Pazmino, Brenda López Silva, Tom Moher |
How Interpreters Make Use of Technological Supports in an Interactive Zoo Exhibit. |
ICLS |
2014 |
DBLP BibTeX RDF |
|
19 | Doug Clow |
Data wranglers: human interpreters to help close the feedback loop. |
LAK |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Panagiotis D. Ritsos, Robert Gittins, Sabine Braun, Catherine Slater, Jonathan C. Roberts |
Training Interpreters Using Virtual Worlds. |
Trans. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Junghee Lim, Thomas W. Reps |
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis. |
ACM Trans. Program. Lang. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Sanjay Rawat 0001, Fabien Duchene, Roland Groz, Jean-Luc Richier |
Evolving indigestible codes: Fuzzing interpreters with genetic programming. |
CICS |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Haogang Chen 0001, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang 0005, Nickolai Zeldovich, M. Frans Kaashoek |
Security bugs in embedded interpreters. |
APSys |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Pierre Roux, Pierre-Loïc Garoche |
Integrating Policy Iterations in Abstract Interpreters. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler |
Teaching garbage collection without implementing compiler or interpreters. |
SIGCSE |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke 0001, Frank Piessens |
Monadic abstract interpreters. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Péter Gál, Ákos Kiss 0001 |
A Comparison of Maintainability Metrics of Two A+ Interpreters. |
ICSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Jan Midtgaard, Norman Ramsey, Bradford Larsen |
Engineering definitional interpreters. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Gorín, Lutz Schröder, Thorsten Wißmann |
Reasoning with Bounded Self-reference Using Logical Interpreters. |
Description Logics |
2013 |
DBLP BibTeX RDF |
|
19 | Casper Bach Poulsen, Peter D. Mosses |
Generating Specialized Interpreters for Modular Structural Operational Semantics. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
19 | James H. Hill, Aniruddha S. Gokhale |
Using Template Metaprogramming to Enhance Reuse in Visitor-Based Model Interpreters. |
ECBS |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Roshan P. James, Amr Sabry |
Isomorphic Interpreters from Logically Reversible Abstract Machines. |
RC |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni |
Obfuscation by partial evaluation of distorted interpreters. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Würthinger, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Doug Simon, Christian Wimmer |
Self-optimizing AST interpreters. |
DLS |
2012 |
DBLP DOI BibTeX RDF |
|
19 | William E. Byrd, Eric Holk, Daniel P. Friedman |
miniKanren, live and untagged: quine generation via relational interpreters (programming pearl). |
Scheme@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|