The following pages link to Eran Yahav (Q300405):
Displaying 25 items.
- Symbolic automata for representing big code (Q300407) (← links)
- Effective abstractions for verification under relaxed memory models (Q681346) (← links)
- Synthesis with abstract examples (Q2151254) (← links)
- Programming by predicates: a formal model for interactive synthesis (Q2303879) (← links)
- Efficient data race detection for async-finish parallelism (Q2441733) (← links)
- Typestate verification: abstraction techniques and complexity results (Q2568446) (← links)
- Establishing local temporal heap safety properties with applications to compile-time memory management (Q2568456) (← links)
- $$D^3$$ : Data-Driven Disjunctive Abstraction (Q2796047) (← links)
- (Q2845500) (← links)
- Symbolic Automata for Static Specification Mining (Q2870768) (← links)
- Abstract Semantic Differencing for Numerical Programs (Q2870770) (← links)
- Generating precise and concise procedure summaries (Q3189841) (← links)
- Generating Tests by Example (Q3296342) (← links)
- Inferring Synchronization under Limited Observability (Q3617756) (← links)
- (Q4417895) (← links)
- (Q4813415) (← links)
- (Q4813417) (← links)
- Automatic Verification of Determinism for Structured Parallel Programs (Q4930747) (← links)
- Effective Abstractions for Verification under Relaxed Memory Models (Q5172657) (← links)
- Verifying linearizability with hindsight (Q5176190) (← links)
- Verifying safety properties of concurrent Java programs using 3-valued logic (Q5178871) (← links)
- Abstraction-guided synthesis of synchronization (Q5255086) (← links)
- Comparison Under Abstraction for Verifying Linearizability (Q5429339) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711490) (← links)
- Static Analysis (Q5897438) (← links)
