Sprint: Speculative prefetching of remote data
- Arun Raman
- Greta Yorsh
- et al.
- 2011
- OOPSLA 2011
Publications
6 results for Greta Yorsh
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