Concepedia

Greta Yorsh

GY

14

Publications

530

Citations

12

H-Index

2005

Active since

Affiliations

IBM (United States)(Current)

Tel Aviv University

ARM (United Kingdom)

Queen Mary University of London

Greta Yorsh is an author at IBM (United States) specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputer ArchitectureVerificationParallel Computing

Publications per year

2005–2017

14

Publications

14

Abstraction-guided synthesis of synchronization

Martin Vechev, Eran Yahav, Greta Yorsh · 2010 · 142 citations

Engineering, Verification, Computer Architecture +18

Testing, abstraction, theorem proving

Greta Yorsh, Thomas Ball, Mooly Sagiv · 2006 · 73 citations

Program Checking, Engineering, Concrete Program Executions +19

Generating precise and concise procedure summaries

Greta Yorsh, Eran Yahav, Satish Chandra · 2008 · 68 citations

Engineering, Abstract Values, Entity Summarization +16

Verifying linearizability with hindsight

Peter W. O’Hearn, Noam Rinetzky, Martin Vechev et al. · 2010 · 68 citations

Engineering, Verification, Computer-aided Verification +16

Logical characterizations of heap abstractions

Greta Yorsh, Thomas Reps, Mooly Sagiv et al. · ACM Transactions on Computational Logic · 2007 · 31 citations

Engineering, Shape Analysis, Higher-order Logic +19

Rows per page

1–5 of 14