Greta Yorsh

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2013
Abstraction-guided synthesis of synchronization.
Int. J. Softw. Tools Technol. Transf., 2013

2011
HAWKEYE: effective discovery of dataflow impediments to parallelization.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Sprint: speculative prefetching of remote data.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010
Verifying linearizability with hindsight.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

PHALANX: parallel checking of expressive heap assertions.
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
Log. Methods Comput. Sci., 2009

Inferring Synchronization under Limited Observability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Experience with Model Checking Linearizability.
Proceedings of the Model Checking Software, 2009

2008
Generating precise and concise procedure summaries.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007
Employing decision procedures for verification of heap-manipulating programs
PhD thesis, 2007

Logical characterizations of heap abstractions.
ACM Trans. Comput. Log., 2007

A logic of reachable patterns in linked data-structures.
J. Log. Algebraic Methods Program., 2007

2006
Testing, abstraction, theorem proving: better together!
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work.
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Automatic Verification of Strongly Dynamic Software Systems.
Proceedings of the Verified Software: Theories, 2005

Abstraction for Falsification.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

A Combination Method for Generating Interpolants.
Proceedings of the Automated Deduction, 2005

2004
Symbolic Implementation of the Best Transformer.
Proceedings of the Verification, 2004

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

The Boundary Between Decidability and Undecidability for Transitive-Closure Logics.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

Verification via Structure Simulation.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004


  Loading...