Live Introspection of Target-Agnostic JIT in Simulation. - Boris Shingarov (IWST, 2015)

Programming a Smalltalk VM in Coq. - Boris Shingarov (IWST, 2017)

The gem5 Simulator: Version 20.0+. - Jason Lowe-Power; Abdul Mutaal Ahmad; Ayaz Akram; Mohammad Alian; Rico Amslinger; Matteo Andreozzi; Adrià Armejach; Nils Asmussen; Srikant Bharadwaj; Gabe Black; Gedare Bloom; Bobby R. Bruce; et al. (CoRR, 2020)

Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs. - Jan Vraný; Boris Shingarov (Programming, 2024)

Towards a Dynabook for verified VM construction. - Boris Shingarov; Jan Vraný (J. Comput. Lang., 2024)

Debugging a Smalltalk VM Assisted by Large Automated Reasoning (Extended Abstract). - Boris Shingarov; Jan Vraný (Programming, 2025)