Martin Vechev
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Fast numerical program analysis with reinforcement learning Computer Aided Verification | 2023-05-26 | Paper |
| Shared Certificates for Neural Network Verification | 2022-12-07 | Paper |
| \textsc{AStarix}: fast and optimal sequence-to-graph alignment Lecture Notes in Computer Science | 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 Lecture Notes in Computer Science | 2020-07-07 | Paper |
| Fine-grained semantics for probabilistic programs | 2019-09-13 | Paper |
| Effective abstractions for verification under relaxed memory models Computer Languages, Systems & Structures | 2018-01-30 | Paper |
| Fast polyhedra abstract domain Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Learning programs from noisy data Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Predicting program properties from ``big code Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Abstraction-guided synthesis of synchronization Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Verifying linearizability with hindsight Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing | 2015-03-02 | Paper |
| Effective Abstractions for Verification under Relaxed Memory Models Lecture Notes in Computer Science | 2015-02-04 | Paper |
| Laws of order, expensive synchronization in concurrent algorithms cannot be eliminated Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Efficient data race detection for async-finish parallelism Formal Methods in System Design | 2014-03-28 | Paper |
| Automatic verification of determinism for structured parallel programs Static Analysis | 2010-10-01 | Paper |
| Inferring Synchronization under Limited Observability Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Research outcomes over time
This page was built for person: Martin Vechev
