selected publications

• 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

• report

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