| 2017 | OOPSLA | Unbounded superoptimization. | Abhinav Jangda, Greta Yorsh |
| 2011 | OOPSLA | Sprint: speculative prefetching of remote data. | Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav |
| 2011 | OOPSLA | HAWKEYE: effective discovery of dataflow impediments to parallelization. | Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv |
| 2010 | PODC | Verifying linearizability with hindsight. | Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2010 | POPL | Abstraction-guided synthesis of synchronization. | Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2009 | TACAS | Inferring Synchronization under Limited Observability. | Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2008 | POPL | Generating precise and concise procedure summaries. | Greta Yorsh, Eran Yahav, Satish Chandra |
| 2006 | FOSSACS | A Logic of Reachable Patterns in Linked Data-Structures. | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
| 2006 | ISSTA | Testing, abstraction, theorem proving: better together! | Greta Yorsh, Thomas Ball, Mooly Sagiv |
| 2005 | CADE | Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. | Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh |
| 2005 | CADE | A Combination Method for Generating Interpolants. | Greta Yorsh, Madanlal Musuvathi |
| 2005 | CAV | Abstraction for Falsification. | Thomas Ball, Orna Kupferman, Greta Yorsh |
| 2004 | CAV | Verification via Structure Simulation. | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
| 2004 | CSL | The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
| 2004 | TACAS | Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. | Greta Yorsh, Thomas W. Reps, Shmuel Sagiv |
| 2004 | VMCAI | Symbolic Implementation of the Best Transformer. | Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |