Carl Friedrich Bolz-Tereick

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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

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...