Martin Vechev
Publications by Year
Research Areas
Adversarial Robustness in Machine Learning, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Software Engineering Research, Software Testing and Debugging Techniques
Most-Cited Works
- → Securify(2018)979 cited
- → AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation(2018)801 cited
- → An abstract domain for certifying neural networks(2019)589 cited
- → Code completion with statistical language models(2014)544 cited
- → Predicting Program Properties from "Big Code"(2014)311 cited
- Differentiable Abstract Interpretation for Provably Robust Neural Networks(2018)
- Fast and Effective Robustness Certification(2018)
- → Learning to Fuzz from Symbolic Execution with Application to Smart Contracts(2019)259 cited
- → VerX: Safety Verification of Smart Contracts(2020)234 cited