Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Boris Shingarov

Registered user since Wed 18 Sep 2019

Name: Boris Shingarov

Country: Canada

Affiliation: LabWare

Research interests: Virtual Machines, Formal Verification


VMIL 2019Author of Formal Verification of JIT by Symbolic Execution within the VMIL 2019-track
Show activities from other conferences

SPLASH 2019-profile
View general profile