Greta Yorsh

According to our database, Greta Yorsh authored at least 22 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

Unbounded superoptimization.

Abhinav Jangda, Greta Yorsh

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2013

Abstraction-guided synthesis of synchronization.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Int. J. Softw. Tools Technol. Transf., 2013

2011

HAWKEYE: effective discovery of dataflow impediments to parallelization.

Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Sprint: speculative prefetching of remote data.

Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Verifying linearizability with hindsight.

Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

PHALANX: parallel checking of expressive heap assertions.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the 9th International Symposium on Memory Management, 2010

2009

Simulating reachability using first-order logic with applications to verification of linked data structures

Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh

Log. Methods Comput. Sci., 2009

Inferring Synchronization under Limited Observability.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Experience with Model Checking Linearizability.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the Model Checking Software, 2009

2008

Generating precise and concise procedure summaries.

Greta Yorsh, Eran Yahav, Satish Chandra

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007

Employing decision procedures for verification of heap-manipulating programs

Greta Yorsh

PhD thesis, 2007

Logical characterizations of heap abstractions.

Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm

ACM Trans. Comput. Log., 2007

A logic of reachable patterns in linked data-structures.

Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani

J. Log. Algebraic Methods Program., 2007

2006

Testing, abstraction, theorem proving: better together!

Greta Yorsh, Thomas Ball, Mooly Sagiv

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005

Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work.

Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Automatic Verification of Strongly Dynamic Software Systems.

Nurit 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

Proceedings of the Verified Software: Theories, 2005

Abstraction for Falsification.

Thomas Ball, Orna Kupferman, Greta Yorsh

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

A Combination Method for Generating Interpolants.

Greta Yorsh, Madanlal Musuvathi

Proceedings of the Automated Deduction, 2005

2004

Symbolic Implementation of the Best Transformer.

Thomas W. Reps, Shmuel Sagiv, Greta Yorsh

Proceedings of the Verification, 2004

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

The Boundary Between Decidability and Undecidability for Transitive-Closure Logics.

Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

Verification via Structure Simulation.

Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh

Proceedings of the Computer Aided Verification, 16th International Conference, 2004