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
1622010
Symbolic implementation of the best transformer
T Reps, M Sagiv, G Yorsh
International Workshop on Verification, Model Checking, and Abstract …, 2004
1612004
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
1142004
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
95*2005
Testing, abstraction, theorem proving: better together!
G Yorsh, T Ball, M Sagiv
Proceedings of the 2006 international symposium on Software testing and …, 2006
932006
A combination method for generating interpolants
G Yorsh, M Musuvathi
International Conference on Automated Deduction, 353-368, 2005
932005
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
922007
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
922006
Experience with model checking linearizability
M Vechev, E Yahav, G Yorsh
International SPIN Workshop on Model Checking of Software, 261-278, 2009
882009
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
762008
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
692010
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
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
482009
Abstraction for falsification
T Ball, O Kupferman, G Yorsh
International Conference on Computer Aided Verification, 67-81, 2005
432005
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
Hawkeye: effective discovery of dataflow impediments to parallelization
O Tripp, G Yorsh, J Field, M Sagiv
ACM SIGPLAN Notices 46 (10), 207-224, 2011
192011
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
122011
Automatic assume/guarantee reasoning for heapmanupilating programs
G Yorsh, A Skidanov, T Reps, M Sagiv
In 1st AIOOL Workshop, 2005
122005
The system can't perform the operation now. Try again later.
Articles 1–20