Standard

A formal foundation for trace-based JIT compilers. / Vandercammen, Maarten; Nicolay, Jens; Marr, Stefan; De Koster, Joeri Jean-Marie; D'Hondt, Theo; De Roover, Coen.

Proceedings of the 13th International Workshop on Dynamic Analysis (WODA). New York, NY, USA : ACM, 2015. p. 25-30.

Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)

Harvard

Vandercammen, M, Nicolay, J, Marr, S, De Koster, JJ-M, D'Hondt, T & De Roover, C 2015, A formal foundation for trace-based JIT compilers. in Proceedings of the 13th International Workshop on Dynamic Analysis (WODA). ACM, New York, NY, USA, pp. 25-30, 13th International Workshop on Dynamic Analysis (WODA15), Pittsburgh, PA, United States, 26/10/15. https://doi.org/10.1145/2823363.2823369

APA

Vandercammen, M., Nicolay, J., Marr, S., De Koster, J. J-M., D'Hondt, T., & De Roover, C. (2015). A formal foundation for trace-based JIT compilers. In Proceedings of the 13th International Workshop on Dynamic Analysis (WODA) (pp. 25-30). New York, NY, USA: ACM. https://doi.org/10.1145/2823363.2823369

Vancouver

Vandercammen M, Nicolay J, Marr S, De Koster JJ-M, D'Hondt T, De Roover C. A formal foundation for trace-based JIT compilers. In Proceedings of the 13th International Workshop on Dynamic Analysis (WODA). New York, NY, USA: ACM. 2015. p. 25-30 https://doi.org/10.1145/2823363.2823369

Author

Vandercammen, Maarten ; Nicolay, Jens ; Marr, Stefan ; De Koster, Joeri Jean-Marie ; D'Hondt, Theo ; De Roover, Coen. / A formal foundation for trace-based JIT compilers. Proceedings of the 13th International Workshop on Dynamic Analysis (WODA). New York, NY, USA : ACM, 2015. pp. 25-30

BibTeX

@inbook{eccfd30fdb5840e38246f784259afba0,
title = "A formal foundation for trace-based JIT compilers",
abstract = "Trace-based JIT compilers identify frequently executed program paths at run-time and subsequently record, compile and optimize their execution. In order to improve the performance of the generated machine instructions, JIT compilers heavily rely on dynamic analysis of the code. Existing work treats the components of a JIT compiler as a monolithic whole, tied to particular execution semantics. We propose a formal framework that facilitates the design and implementation of a tracing JIT compiler and its accompanying dynamic analyses by decoupling the tracing, optimization, and interpretation processes. This results in a framework that is more configurable and extensible than existing formal tracing models. We formalize the tracer and interpreter as two abstract state machines that communicate through a minimal, well-defined interface. Developing a tracing JIT compiler becomes possible for arbitrary interpreters that implement this interface. The abstract machines also provide the necessary hooks to plug in custom analyses and optimizations.",
keywords = "tracing JIT compilation, operational semantics, dynamic analysis, just-in-time compilation, virtual machine",
author = "Maarten Vandercammen and Jens Nicolay and Stefan Marr and {De Koster}, {Joeri Jean-Marie} and Theo D'Hondt and {De Roover}, Coen",
year = "2015",
month = "10",
day = "26",
doi = "10.1145/2823363.2823369",
language = "English",
isbn = "978-1-4503-3909-4",
pages = "25--30",
booktitle = "Proceedings of the 13th International Workshop on Dynamic Analysis (WODA)",
publisher = "ACM",

}

RIS

TY - CHAP

T1 - A formal foundation for trace-based JIT compilers

AU - Vandercammen, Maarten

AU - Nicolay, Jens

AU - Marr, Stefan

AU - De Koster, Joeri Jean-Marie

AU - D'Hondt, Theo

AU - De Roover, Coen

PY - 2015/10/26

Y1 - 2015/10/26

N2 - Trace-based JIT compilers identify frequently executed program paths at run-time and subsequently record, compile and optimize their execution. In order to improve the performance of the generated machine instructions, JIT compilers heavily rely on dynamic analysis of the code. Existing work treats the components of a JIT compiler as a monolithic whole, tied to particular execution semantics. We propose a formal framework that facilitates the design and implementation of a tracing JIT compiler and its accompanying dynamic analyses by decoupling the tracing, optimization, and interpretation processes. This results in a framework that is more configurable and extensible than existing formal tracing models. We formalize the tracer and interpreter as two abstract state machines that communicate through a minimal, well-defined interface. Developing a tracing JIT compiler becomes possible for arbitrary interpreters that implement this interface. The abstract machines also provide the necessary hooks to plug in custom analyses and optimizations.

AB - Trace-based JIT compilers identify frequently executed program paths at run-time and subsequently record, compile and optimize their execution. In order to improve the performance of the generated machine instructions, JIT compilers heavily rely on dynamic analysis of the code. Existing work treats the components of a JIT compiler as a monolithic whole, tied to particular execution semantics. We propose a formal framework that facilitates the design and implementation of a tracing JIT compiler and its accompanying dynamic analyses by decoupling the tracing, optimization, and interpretation processes. This results in a framework that is more configurable and extensible than existing formal tracing models. We formalize the tracer and interpreter as two abstract state machines that communicate through a minimal, well-defined interface. Developing a tracing JIT compiler becomes possible for arbitrary interpreters that implement this interface. The abstract machines also provide the necessary hooks to plug in custom analyses and optimizations.

KW - tracing JIT compilation

KW - operational semantics

KW - dynamic analysis

KW - just-in-time compilation

KW - virtual machine

UR - http://soft.vub.ac.be/Publications/2015/vub-soft-tr-15-10.pdf

U2 - 10.1145/2823363.2823369

DO - 10.1145/2823363.2823369

M3 - Meeting abstract (Book)

SN - 978-1-4503-3909-4

SP - 25

EP - 30

BT - Proceedings of the 13th International Workshop on Dynamic Analysis (WODA)

PB - ACM

CY - New York, NY, USA

ER -

ID: 13985287