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