Vechev, Martin
professor
computer science
Institute of Theoretical Computer Science
Switzerland
Biography
working as a professor
Research Interest
program analysis, program synthesis, application of machine learning to programming languages, concurrency
Publications
-
Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts
-
Learning Disjunctions of Predicates
-
Synthesis of Probabilistic Privacy Enforcement
