On the complexity of partially-flow-sensitive alias analysis
- N. Rinetzky
- G. Ramalingam
- et al.
- 2008
- ACM TOPLAS
Publications
Date
Featured collections
Popular topics
36 results for Eran Yahav
Effective typestate verification in the presence of aliasing
- Stephen J. Fink
- Eran Yahav
- et al.
- 2008
- ACM TOSEM
Generating precise and concise procedure summaries
- Greta Yorsh
- Eran Yahav
- et al.
- 2008
- ACM SIGPLAN Notices
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- PLDI 2007
When role models have flaws: Static validation of enterprise security policies
- Marco Pistoia
- Stephen J. Fink
- et al.
- 2007
- ICSE 2007
A survey of static analysis methods for identifying security vulnerabilities in software systems
- Marco Pistoia
- Satish Chandra
- et al.
- 2007
- IBM Systems Journal
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- ACM SIGPLAN Notices
Continuous code-quality assurance with SAFE
- Emmanuel Geay
- Eran Yahav
- et al.
- 2006
- PEPM 2006
Effective typestate verification in the presence of aliasing
- Stephen Fink
- Eran Yahav
- et al.
- 2006
- ISSTA 2006
Correctness-preserving derivation of concurrent garbage collection algorithms
- Martin T. Vechev
- Eran Yahav
- et al.
- 2006
- ACM SIGPLAN Notices