Carl Friedrich Bolz-Tereick

Orcid: 0000-0003-4562-1356

Affiliations:
  • Heinrich Heine University of Düsseldorf, Department of Computer Science, Germany
  • King's College London, Department of Informatics, UK
  • Hasso Plattner Institute, Potsdam, Germany


According to our database1, Carl Friedrich Bolz-Tereick authored at least 30 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Dr Wenowdis: Specializing Dynamic Language C Extensions using Type Information.
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024

2022
Threaded Code Generation with a Meta-Tracing JIT Compiler.
J. Object Technol., 2022

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

2020
Type freezing: exploiting attribute type monomorphism in tracing JIT compilers.
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.
Sci. Comput. Program., 2017

Sound gradual typing: only mostly dead.
Proc. ACM Program. Lang., 2017

Virtual machine warmup blows hot and cold.
Proc. ACM Program. Lang., 2017

Cross-layer workload characterization of meta-tracing JIT VMs.
Proceedings of the 2017 IEEE International Symposium on Workload Characterization, 2017

2016
Making an Embedded DBMS JIT-friendly (Artifact).
Dagstuhl Artifacts Ser., 2016

Fine-grained Language Composition: A Case Study (Artifact).
Dagstuhl Artifacts Ser., 2016

Making an Embedded DBMS JIT-friendly.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

Fine-grained Language Composition: A Case Study.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
The impact of meta-tracing on VM design and implementation.
Sci. Comput. Program., 2015

Approaches to interpreter composition.
Comput. Lang. Syst. Struct., 2015

Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Pycket: a tracing JIT for a functional language.
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.
Proceedings of the 10th Workshop on Implementation, 2015

Language-independent storage strategies for tracing-JIT-based virtual machines.
Proceedings of the 11th Symposium on Dynamic Languages, 2015

2014
Meta-Tracing Just-in-Time Compilation for RPython.
PhD thesis, 2014

2013
Storage strategies for collections in dynamically typed languages.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Unipycation: a case study in cross-language tracing.
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).
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

The efficient handling of guards in the design of RPython's tracing JIT.
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.
Proceedings of the 8th Symposium on Dynamic Languages, 2012

2011
Allocation removal by partial evaluation in a tracing JIT.
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.
Proceedings of the 6th Workshop on Implementation, 2011

2010
Towards a jitting VM for prolog execution.
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.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Tracing the meta-level: PyPy's tracing JIT compiler.
Proceedings of the 4th workshop on the Implementation, 2009

2008
Back to the Future in One Week - Implementing a Smalltalk VM in PyPy.
Proceedings of the Self-Sustaining Systems, First Workshop, 2008


  Loading...