SPLASH 2019 (series) / Boris Shingarov

Registered user since Wed 18 Sep 2019
Name:Boris Shingarov
Country:Canada
Affiliation:LabWare
Research interests:Virtual Machines, Formal Verification
Contributions
VMIL 2019 | Formal Verification of JIT by Symbolic Execution | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2019-profile
View general profile
View general profile