Publications

32 results at ACM TOPLAS

Failure recovery in resilient X10
- - David Grove
  - Sara S. Hamouda
  - et al.
- 2019
- 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
A data-centric approach to synchronization
- - Julian Dolby
  - Christian Hammer
  - et al.
- 2012
- ACM TOPLAS
Parameterized loop tiling
- - Lakshminarayanan Renganarayanan
  - Daegon Kim
  - 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