BacCaml: the meta-hybrid just-in-time compiler
Article No.: 32, Pages 1 - 3
Abstract
Meta-interpreter-based just-in-time compiler frameworks [2, 3, 12, 13] are useful to conveniently build a language runtime with reasonable execution performance1.
References
[1]
Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, and Sam Tobin-Hochstadt. 2015. Pycket: a tracing JIT for a functional language. ACM SIGPLAN Notices 50, 9 (2015), 22--34.
[2]
Carl Friedrich Bolz, Antonio Cuni, Maciej Fijałkowski, Michael Leuschel, Samuele Pedroni, and Armin Rigo. 2011. Runtime feedback in a meta-tracing JIT for efficient dynamic languages. Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - ICOOOLPS '11 (2011), 1--8.
[3]
Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, and Armin Rigo. 2009. Tracing the meta-level: PyPy's tracing JIT compiler. Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems - ICOOOLPS '09 (2009), 18--25.
[4]
Carl Friedrich Bolz, Adrian Kuhn, Adrian Lienhard, Nicholas D. Matsakis, Oscar Nierstrasz, Lukas Renggli, Armin Rigo, and Toon Verwaest. 2008. Back to the Future in One Week --- Implementing a Smalltalk VM in PyPy. In Self-Sustaining Systems, Robert Hirschfeld and Kim Rose (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 123--139.
[5]
Tim Felgentreff. 2013. Topaz Ruby. https://github.com/topazproject/topaz
[6]
Ruochen Huang, Hidehiko Masuhara, and Tomoyuki Aotani. 2016. Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler. In Post-Proceeding of the 17th Symposium on Trends in Functional Programming. https://tfp2016.org/papers/TFP_2016_paper_16.pdf
[7]
Fabio Niephaus, Tim Felgentreff, and Robert Hirschfeld. 2018. GraalSqueak A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework. ICOOOLPS 18 (2018).
[8]
Armin Rigo and Samuele Pedroni. 2006. PyPy ' s Approach to Virtual Machine Construction. Companion to the 21st ACM SIGPLAN symposium (2006), 944--953.
[9]
Chris Seaton, Benoit Daloze, Kevin Menard, Petr Chalupa, Brandon Fish, and Duncan MacGregor. 2017. TruffleRuby - A High Performance Implementation of the Ruby Programming Language. https://www.graalvm.org/docs/reference-manual/languages/ruby/
[10]
Eijiro Sumii. 2005. MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language. FDPE: Workshop on Functional and Declaritive Programming in Education (2005), 27--38.
[11]
Christian Wimmer and Stefan Brunthaler. 2013. ZipPy on Truffle: A Fast and Simple Implementation of Python. In Proceedings of the 2013 Companion Publication for Conference on Systems, Programming, & Applications: Software for Humanity (SPLASH '13). ACM, New York, NY, USA, 17--18.
[12]
Christian Wimmer and Thomas Würthinger. 2012. Truffle: A Self-optimizing Runtime System. In Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity (SPLASH '12). ACM, New York, NY, USA, 13--14.
[13]
Thomas Würthinger, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Doug Simon, and Christian Wimmer. 2012. Self-optimizing AST interpreters. Proceedings of the 8th symposium on Dynamic languages - DLS '12 (2012), 73.
Index Terms
- BacCaml: the meta-hybrid just-in-time compiler
Recommendations
Layout-sensitive language extensibility with SugarHaskell
Haskell '12: Proceedings of the 2012 Haskell SymposiumProgrammers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...
Layout-sensitive language extensibility with SugarHaskell
Haskell '12Programmers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...
Cedalion: a language for language oriented programming
OOPSLA '11Language Oriented Programming (LOP) is a paradigm that puts domain specific programming languages (DSLs) at the center of the software development process. Currently, there are three main approaches to LOP: (1) the use of internal DSLs, implemented as ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2019 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 April 2019
Check for updates
Qualifiers
- Extended-abstract
Conference
Programming '19
Programming '19: Companion of the 3rd International Conference on Art, Science, and Engineering of Programming
April 1 - 4, 2019
Genova, Italy
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 47Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 12 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in