Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

32 results at 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
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