Carl Friedrich Bolz-Tereick

According to our database, Carl Friedrich Bolz-Tereick authored at least 29 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Threaded Code Generation with a Meta-Tracing JIT Compiler.

Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong

J. Object Technol., 2022

Two-level Just-in-Time Compilation with One Interpreter and One Engine.

Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick

CoRR, 2022

2020

Type freezing: exploiting attribute type monomorphism in tracing JIT compilers.

Lin Cheng, Berkin Ilbeyi, Carl Friedrich Bolz-Tereick, Christopher Batten

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2017

Adaptive just-in-time value class optimization for lowering memory consumption and improving execution time performance.

Tobias Pape, Carl Friedrich Bolz, Robert Hirschfeld

Sci. Comput. Program., 2017

Sound gradual typing: only mostly dead.

Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy G. Siek, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., 2017

Virtual machine warmup blows hot and cold.

Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, Laurence Tratt

Proc. ACM Program. Lang., 2017

Cross-layer workload characterization of meta-tracing JIT VMs.

Berkin Ilbeyi, Carl Friedrich Bolz-Tereick, Christopher Batten

Proceedings of the 2017 IEEE International Symposium on Workload Characterization, 2017

2016

Making an Embedded DBMS JIT-friendly (Artifact).

Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt

Dagstuhl Artifacts Ser., 2016

Fine-grained Language Composition: A Case Study (Artifact).

Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt

Dagstuhl Artifacts Ser., 2016

Making an Embedded DBMS JIT-friendly.

Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

Fine-grained Language Composition: A Case Study.

Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

The impact of meta-tracing on VM design and implementation.

Carl Friedrich Bolz, Laurence Tratt

Sci. Comput. Program., 2015

Approaches to interpreter composition.

Edd Barrett, Carl Friedrich Bolz, Laurence Tratt

Comput. Lang. Syst. Struct., 2015

Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution.

Tobias Pape, Carl Friedrich Bolz, Robert Hirschfeld

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Pycket: a tracing JIT for a functional language.

Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, Sam Tobin-Hochstadt

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Towards reducing the need for algorithmic primitives in dynamic language VMs through a tracing JIT.

Tim Felgentreff, Tobias Pape, Lars Wassermann, Robert Hirschfeld, Carl Friedrich Bolz

Proceedings of the 10th Workshop on Implementation, 2015

Language-independent storage strategies for tracing-JIT-based virtual machines.

Tobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, Carl Friedrich Bolz

Proceedings of the 11th Symposium on Dynamic Languages, 2015

2014

Meta-Tracing Just-in-Time Compilation for RPython.

Carl Friedrich Bolz

PhD thesis, 2014

2013

Storage strategies for collections in dynamically typed languages.

Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Unipycation: a case study in cross-language tracing.

Edd Barrett, Carl Friedrich Bolz, Laurence Tratt

Proceedings of the VMIL@SPLASH '13: Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages, 2013

2012

The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper).

Baltasar Trancón y Widemann, Carl Friedrich Bolz, Clemens Grelck

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

The efficient handling of guards in the design of RPython's tracing JIT.

David Schneider, Carl Friedrich Bolz

Proceedings of the VMIL@SPLASH 2012: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages, 2012

Loop-aware optimizations in PyPy's tracing JIT.

Håkan Ardö, Carl Friedrich Bolz, Maciej Fijalkowski

Proceedings of the 8th Symposium on Dynamic Languages, 2012

2011

Allocation removal by partial evaluation in a tracing JIT.

Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Runtime feedback in a meta-tracing JIT for efficient dynamic languages.

Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo

Proceedings of the 6th Workshop on Implementation, 2011

2010

Towards a jitting VM for prolog execution.

Carl Friedrich Bolz, Michael Leuschel, David Schneider

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

2009

Towards Just-In-Time Partial Evaluation of Prolog.

Carl Friedrich Bolz, Michael Leuschel, Armin Rigo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Tracing the meta-level: PyPy's tracing JIT compiler.

Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Armin Rigo

Proceedings of the 4th workshop on the Implementation, 2009

2008

Back to the Future in One Week - Implementing a Smalltalk VM in PyPy.

Carl Friedrich Bolz, Adrian Kuhn, Adrian Lienhard, Nicholas D. Matsakis, Oscar Nierstrasz, Lukas Renggli, Armin Rigo, Toon Verwaest

Proceedings of the Self-Sustaining Systems, First Workshop, 2008