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 
Other 

Links

On csauthors.net:

Bibliography

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

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
Abstraction-guided synthesis of synchronization.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 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
Logical Methods in Computer Science, 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
Logical characterizations of heap abstractions.
ACM Trans. Comput. Log., 2007

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

A Logic of Reachable Patterns in Linked Data-Structures.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work.
Electr. Notes Theor. Comput. Sci., 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

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures.
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...