Eran Yahav

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Synthesis with abstract examples	2022-07-01	Paper
Generating Tests by Example	2020-07-07	Paper
Programming by predicates: a formal model for interactive synthesis	2020-03-06	Paper
Effective abstractions for verification under relaxed memory models	2018-01-30	Paper
Symbolic automata for representing big code	2016-06-28	Paper
$$D^3$$ : Data-Driven Disjunctive Abstraction	2016-03-23	Paper
Abstraction-guided synthesis of synchronization	2015-06-11	Paper
Verifying safety properties of concurrent Java programs using 3-valued logic	2015-03-17	Paper
Verifying linearizability with hindsight	2015-03-02	Paper
Effective Abstractions for Verification under Relaxed Memory Models	2015-02-04	Paper
Generating precise and concise procedure summaries	2014-09-12	Paper
Efficient data race detection for async-finish parallelism	2014-03-28	Paper
Symbolic Automata for Static Specification Mining	2014-01-21	Paper
Abstract Semantic Differencing for Numerical Programs	2014-01-21	Paper
Automatically verifying concurrent queue algorithms	2013-08-30	Paper
Automatic Verification of Determinism for Structured Parallel Programs	2010-10-01	Paper
Inferring Synchronization under Limited Observability	2009-03-31	Paper
Comparison Under Abstraction for Verifying Linearizability	2007-11-29	Paper
Static Analysis	2006-10-31	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Typestate verification: abstraction techniques and complexity results	2005-10-10	Paper
Establishing local temporal heap safety properties with applications to compile-time memory management	2005-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4813415	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4813417	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4417895	2003-07-30	Paper

Research outcomes over time

This page was built for person: Eran Yahav