| Abstraction-guided synthesis of synchronization M Vechev, E Yahav, G Yorsh Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 195 | 2010 |
| Symbolic implementation of the best transformer T Reps, M Sagiv, G Yorsh International Workshop on Verification, Model Checking, and Abstract …, 2004 | 185 | 2004 |
| Symbolically computing most-precise abstract operations for shape analysis G Yorsh, T Reps, M Sagiv International Conference on Tools and Algorithms for the Construction and …, 2004 | 123 | 2004 |
| The boundary between decidability and undecidability for transitive-closure logics N Immerman, A Rabinovich, T Reps, M Sagiv, G Yorsh Computer Science Logic, 160-174, 2004 | 116 | 2004 |
| A combination method for generating interpolants G Yorsh, M Musuvathi International Conference on Automated Deduction, 353-368, 2005 | 114 | 2005 |
| Simulating reachability using first-order logic with applications to verification of linked data structures T Lev-Ami, N Immerman, T Reps, M Sagiv, S Srivastava, G Yorsh International Conference on Automated Deduction, 99-115, 2005 | 103* | 2005 |
| Experience with model checking linearizability M Vechev, E Yahav, G Yorsh Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009 | 101 | 2009 |
| Testing, abstraction, theorem proving: better together! G Yorsh, T Ball, M Sagiv Proceedings of the 2006 international symposium on Software testing and …, 2006 | 100 | 2006 |
| Generating precise and concise procedure summaries G Yorsh, E Yahav, S Chandra Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 98 | 2008 |
| A logic of reachable patterns in linked data-structures G Yorsh, A Rabinovich, M Sagiv, A Meyer, A Bouajjani The Journal of Logic and Algebraic Programming 73 (1), 111-142, 2007 | 94 | 2007 |
| A logic of reachable patterns in linked data-structures G Yorsh, A Rabinovich, M Sagiv, A Meyer, A Bouajjani Foundations of Software Science and Computation Structures, 94-110, 2006 | 94 | 2006 |
| Verifying linearizability with hindsight PW O'Hearn, N Rinetzky, MT Vechev, E Yahav, G Yorsh Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010 | 87 | 2010 |
| Logical characterizations of heap abstractions G Yorsh, T Reps, M Sagiv, R Wilhelm ACM Transactions on Computational Logic (TOCL) 8 (1), 5-es, 2007 | 65 | 2007 |
| Inferring synchronization under limited observability M Vechev, E Yahav, G Yorsh International Conference on Tools and Algorithms for the Construction and …, 2009 | 54 | 2009 |
| Abstraction for falsification T Ball, O Kupferman, G Yorsh International Conference on Computer Aided Verification, 67-81, 2005 | 52 | 2005 |
| Hawkeye: effective discovery of dataflow impediments to parallelization O Tripp, G Yorsh, J Field, M Sagiv ACM SIGPLAN Notices 46 (10), 207-224, 2011 | 21 | 2011 |
| Phalanx: Parallel checking of expressive heap assertions M Vechev, E Yahav, G Yorsh Proceedings of the 2010 international symposium on Memory management, 41-50, 2010 | 21 | 2010 |
| Sprint: speculative prefetching of remote data A Raman, G Yorsh, M Vechev, E Yahav Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 15 | 2011 |
| Unbounded superoptimization A Jangda, G Yorsh Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017 | 14 | 2017 |
| Speculative prefetching of remote data A Raman, M Vechev, MN Wegman, E Yahav, G Yorsh US Patent 9,292,446, 2016 | 13 | 2016 |
