In MoreVMs'2025:
Boris Shingarov, Jan Vraný.
Debugging a Smalltalk VM assisted by large automated reasoning.
Programming '25: Companion Proceedings of the 9th International Conference on
the Art, Science, and Engineering of Programming, Prague, 2025.
OASIcs, Schloss Dagstuhl, vol.134.
(Local copy here).
(Unofficial recording here).
In MoreVMs'2024:
Jan Vraný, Boris Shingarov.
Tinyrossa: A Compiler Framework for Vertical,
Verified Construction of Smalltalk VMs.
Programming '24: Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming, Lund, 2024.
(Local copy here).
In COLA, 2024:
Boris Shingarov, Jan Vraný.
Towards a Dynabook for verified VM construction.
Journal of Computer Languages, Volume 80, August 2024.
(Local copy here).