Registered user since Sun 22 Feb 2015
Name:Roman Manevich
Country:Israel
Affiliation:Mellanox Technologies
Personal website:https://sites.google.com/view/roman-manevich/
Research interests:Verification, Abstract Interpretation, Synthesis, Concurrency
Contributions
| VMCAI 2020 | Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2020-profile
View general profile
View general profile