Martin Vechev

Available identifiers

Publication	Date of Publication	Type
Fast numerical program analysis with reinforcement learning	2023-05-26	Paper
Shared Certificates for Neural Network Verification	2022-12-07	Paper
\textsc{AStarix}: fast and optimal sequence-to-graph alignment	2022-10-14	Paper
Fast and optimal sequence-to-graph alignment guided by seeds	2022-08-30	Paper
Network-wide configuration synthesis	2022-08-12	Paper
Finding fix locations for CFL-reachability analyses via minimum cuts	2022-08-12	Paper
Learning a static analyzer from data	2022-07-01	Paper
Scalable polyhedral verification of recurrent neural networks	2022-03-25	Paper
Automatic verification of RMA programs via abstraction extrapolation	2020-07-07	Paper
Fine-grained semantics for probabilistic programs	2019-09-13	Paper
Effective abstractions for verification under relaxed memory models	2018-01-30	Paper
Fast polyhedra abstract domain	2017-10-20	Paper
Learning programs from noisy data	2016-10-24	Paper
Predicting program properties from ``big code	2016-09-29	Paper
Abstraction-guided synthesis of synchronization	2015-06-11	Paper
Verifying linearizability with hindsight	2015-03-02	Paper
Effective Abstractions for Verification under Relaxed Memory Models	2015-02-04	Paper
Laws of order, expensive synchronization in concurrent algorithms cannot be eliminated	2014-04-10	Paper
Efficient data race detection for async-finish parallelism	2014-03-28	Paper
Automatic verification of determinism for structured parallel programs	2010-10-01	Paper
Inferring Synchronization under Limited Observability	2009-03-31	Paper

This page was built for person: Martin Vechev