Failure recovery in resilient X10
- David Grove
- Sara S. Hamouda
- et al.
- 2019
- ACM TOPLAS
Publications
Date
Featured collections
Popular topics
32 results at ACM TOPLAS
SPL: An extensible language for distributed stream processing
- Martin Hirzel
- Scott Schneider
- et al.
- 2017
- ACM TOPLAS
Polymorphic manifest contracts, revised and resolved
- Taro Sekiyama
- Atsushi Igarashi
- et al.
- 2017
- ACM TOPLAS
The truth, the whole truth, and nothing but the truth: A pragmatic guide to assessing empirical evaluations
- Stephen M. Blackburn
- Amer Diwan
- et al.
- 2016
- ACM TOPLAS
Parameterized loop tiling
- Lakshminarayanan Renganarayanan
- Daegon Kim
- et al.
- 2012
- ACM TOPLAS
A data-centric approach to synchronization
- Julian Dolby
- Christian Hammer
- et al.
- 2012
- ACM TOPLAS
Refactoring using type constraints
- Frank Tip
- Robert M. Fuhrer
- et al.
- 2011
- ACM TOPLAS
An optimization framework for embedded processors with auto-addressing mode
- Xiaotong Zhuang
- Santosh Pande
- 2010
- ACM TOPLAS
Verifying safety properties of concurrent heap-manipulating programs
- Eran Yahav
- Mooly Sagiv
- 2008
- ACM TOPLAS
On the complexity of partially-flow-sensitive alias analysis
- N. Rinetzky
- G. Ramalingam
- et al.
- 2008
- ACM TOPLAS