Publications

This is our catalog of recent publications authored by IBM researchers, in collaboration with the global research community. We’re currently adding our back catalog of more than 110,000 publications. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Featured collections

Popular topics

Year

Syntactic and Semantic Differencing for Combinatorial Models of Test Designs
- - Rachel Tzoref-Brill
  - Shahar Maoz
- 2017
- ICSE 2017
Automatic Text Input Generation for Mobile Testing
- - Peng Liu
  - Xiangyu Zhang
  - et al.
- 2017
- ICSE 2017
Statically Checking Web API Requests in JavaScript
- - Erik Wittern
  - Annie T. T. Ying
  - et al.
- 2017
- ICSE 2017
Understanding security implications of using containers in the cloud
- - Byungchul Tak
  - Canturk Isci
  - et al.
- 2017
- USENIX ATC 2017
Multi-hypervisor virtual machines: Enabling an ecosystem of hypervisor-level services
- - Kartik Gopalan
  - Rohith Kugve
  - et al.
- 2017
- USENIX ATC 2017
Scaledeep: A scalable compute architecture for learning and evaluating deep networks
- - Swagath Venkataramani
  - Ashish Ranjan
  - et al.
- 2017
- ISCA 2017
INVITED: Accelerator Design for Deep Learning Training: Extended Abstract: Invited
- - Ankur Agrawal
  - Chia-Yu Chen
  - et al.
- 2017
- DAC 2017
RIC: Relaxed Inclusion Caches for Mitigating LLC Side-Channel Attacks
- - Mehmet Kayaalp
  - Khaled N. Khasawneh
  - et al.
- 2017
- DAC 2017
Template Aware Coverage: Taking Coverage Analysis to the Next Level
- - Raviv Gal
  - Einat Kermany
  - et al.
- 2017
- DAC 2017
Formal Techniques for Effective Co-verification of Hardware/Software Co-designs
- - Rajdeep Mukherjee
  - Mitra Purandare
  - et al.
- 2017
- DAC 2017