dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Eran Yahav (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav: Automatic fine-grain locking using shape properties. OOPSLA 2011: 225-242
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOhad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav: Testing atomicity of composed concurrent operations. OOPSLA 2011: 51-64
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Yahav, Mooly Sagiv: Verifying safety properties of concurrent heap-manipulating programs. ACM Trans. Program. Lang. Syst. 32(5): (2010)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav: On the complexity of partially-flow-sensitive alias analysis. ACM Trans. Program. Lang. Syst. 30(3): (2008)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav: Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav: Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv: Cartesian Partial-Order Reduction. SPIN 2007: 95-112
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. Logic Journal of the IGPL 14(5): 755-783 (2006)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoam Rinetzky, Mooly Sagiv, Eran Yahav: Interprocedural Shape Analysis for Cutpoint-Free Programs. SAS 2005: 284-302
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv: Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI 2005: 181-198
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh: Automatic Verification of Strongly Dynamic Software Systems. VSTTE 2005: 82-92
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv: Establishing local temporal heap safety properties with applications to compile-time memory management. Sci. Comput. Program. 58(1-2): 264-289 (2005)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv: Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. SAS 2003: 483-503
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Yahav, Shmuel Sagiv: Automatically Verifying Concurrent Queue Algorithms. Electr. Notes Theor. Comput. Sci. 89(3): 450-463 (2003)

Selection of 15 from 52 records - Eran Yahav has 56 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page