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
Publications
Date
Featured collections
Popular topics
32 results at 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
An efficient on-the-fly cycle collection
- Harel Paz
- David F. Bacon
- et al.
- 2007
- ACM TOPLAS
Fast online pointer analysis
- Martin Hirzel
- Daniel Von Dincklage
- et al.
- 2007
- ACM TOPLAS
A region-based compilation technique for dynamic compilers
- Toshio Suganuma
- Toshiaki Yasue
- et al.
- 2006
- ACM TOPLAS