Boris Shingarov -

Registered user since Wed 18 Sep 2019

Name:Boris Shingarov

Country:Canada

Affiliation:LabWare

Research interests:Virtual Machines, Formal Verification

Contributions

2025

MoreVMs

Author of Debugging a Smalltalk VM assisted by large automated reasoning within the MoreVMs'25-track

2024

MoreVMs

Author of Tinyrossa: a compiler framework for vertical, verified construction of Smalltalk VMs within the MoreVMs'24-track

2019

VMIL

Author of Formal Verification of JIT by Symbolic Execution within the VMIL 2019-track