Publications

6 results for Greta Yorsh

Sprint: Speculative prefetching of remote data
- - Arun Raman
  - Greta Yorsh
  - et al.
- 2011
- OOPSLA 2011
Verifying linearizability with Hindsight
- - Peter W. O'Hearn
  - Noam Rinetzky
  - et al.
- 2010
- PODC 2010
PHALANX: Parallel checking of expressive heap assertions
- - Martin Vechev
  - Eran Yahav
  - et al.
- 2010
- ISMM 2010
Abstraction-guided synthesis of synchronization
- - Martin Vechev
  - Eran Yahav
  - et al.
- 2010
- POPL 2010
Generating precise and concise procedure summaries
- - Greta Yorsh
  - Eran Yahav
  - et al.
- 2008
- POPL 2008
Generating precise and concise procedure summaries
- - Greta Yorsh
  - Eran Yahav
  - et al.
- 2008
- ACM SIGPLAN Notices