Follow
Greta Yorsh
Greta Yorsh
Lecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of London
Verified email at qmul.ac.uk - Homepage
Title
Cited by
Cited by
Year
Abstraction-guided synthesis of synchronization
M Vechev, E Yahav, G Yorsh
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
1982010
Symbolic implementation of the best transformer
T Reps, M Sagiv, G Yorsh
International Workshop on Verification, Model Checking, and Abstract …, 2004
1882004
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
1232004
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
1162004
A combination method for generating interpolants
G Yorsh, M Musuvathi
International Conference on Automated Deduction, 353-368, 2005
1142005
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
104*2005
Experience with model checking linearizability
M Vechev, E Yahav, G Yorsh
Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009
1012009
Testing, abstraction, theorem proving: better together!
G Yorsh, T Ball, M Sagiv
Proceedings of the 2006 international symposium on Software testing and …, 2006
1012006
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
982008
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
942007
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
942006
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
892010
Logical characterizations of heap abstractions
G Yorsh, T Reps, M Sagiv, R Wilhelm
ACM Transactions on Computational Logic (TOCL) 8 (1), 5-es, 2007
652007
Inferring synchronization under limited observability
M Vechev, E Yahav, G Yorsh
International Conference on Tools and Algorithms for the Construction and …, 2009
542009
Abstraction for falsification
T Ball, O Kupferman, G Yorsh
International Conference on Computer Aided Verification, 67-81, 2005
522005
Hawkeye: effective discovery of dataflow impediments to parallelization
O Tripp, G Yorsh, J Field, M Sagiv
ACM SIGPLAN Notices 46 (10), 207-224, 2011
212011
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
212010
Unbounded superoptimization
A Jangda, G Yorsh
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017
162017
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
152011
Speculative prefetching of remote data
A Raman, M Vechev, MN Wegman, E Yahav, G Yorsh
US Patent 9,292,446, 2016
132016
The system can't perform the operation now. Try again later.
Articles 1–20