Martin Kristien

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 3

Top Topics

Description Logics

Java Virtual Machine

Highly Dynamic Environments

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Martin Kristien, Tom Spink, Brian Campbell, Susmit Sarkar, Ian Stark, Björn Franke, Igor Böhm, Nigel P. Topham
Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Martin Kristien, Tom Spink, Harry Wagstaff, Björn Franke, Igor Böhm, Nigel P. Topham
Mitigating JIT compilation latency in virtual execution environments. VEE (2019)
Martin Kristien, Bruno Bodin, Michel Steuwer, Christophe Dubach
High-level synthesis of functional patterns with Lift. ARRAY@PLDI (2019)