Jan Vraný -

Not registered as user

Name:Jan Vraný

Country:United Kingdom

Affiliation:LabWare

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