Search results for "interpreters"

Hits ?▲	Authors	Title	Venue	Year	Link
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