Write a Blog >>
SPLASH 2019
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

Contributions

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

Using general profile