selected publications

• blog posting

  • Mercury: a Model for Live Remote Debugging in Reflective Languages.  HAL (Le Centre pour la Communication Scientifique Directe). 2014

• chapter

  • Differential Testing of Simulation-Based Virtual Machine Generators.  Lecture notes in computer science. 103-119. 2022

• conference paper

  • Differential Testing of Simulation-Based Virtual Machine Generators Automatic Detection of VM Generator Semantic Gaps Between Simulation and Generated VMs.  HAL (Le Centre pour la Communication Scientifique Directe). 2022
  • Analyzing permission transfer channels for dynamically typed languages.  . 23-34. 2021
  • Reifying the reflectogram.  . 2015

• report

  • Remarkable Challenges of High-Performance Language Virtual Machines.  HAL (Le Centre pour la Communication Scientifique Directe). 2022