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

14 results at ACM TOSEM

Incorporating Signal Awareness in Source Code Modeling: An Application to Vulnerability Detection
- - Sahil Suneja
  - Yufan Zhuang
  - et al.
- 2023
- ACM TOSEM
Supporting the Restructuring of Data Abstractions through Manipulation of a Program Visualization
- - Robert W. Bowdidge
  - William G. Griswold
- 1998
- ACM TOSEM
Stateful Serverless Computing with Crucial
- - Daniel Barcelona-Pons
  - Pierre Sutra
  - et al.
- 2022
- ACM TOSEM
Predicting Performance Anomalies in Software Systems at Run-time
- - Guoliang Zhao
  - Safwat Hassan
  - et al.
- 2021
- ACM TOSEM
Type-based call graph construction algorithms for scala
- - Karim Ali
  - Marianna Rapoport
  - et al.
- 2015
- ACM TOSEM
Scalable runtime bloat detection using abstract dynamic slicing
- - Guoqing Xu
  - Nick Mitchell
  - et al.
- 2014
- ACM TOSEM
Path-and index-sensitive string analysis based on monadic second-order logic
- - Takaaki Tateishi
  - Marco Pistoia
  - et al.
- 2013
- ACM TOSEM
An information foraging theory perspective on tools for debugging, refactoring, and reuse tasks
- - Scott D. Fleming
  - Chris Scaffidi
  - et al.
- 2013
- ACM TOSEM
QVM: An efficient runtime for detecting defects in deployed systems
- - Matthew Arnold
  - Martin Vechev
  - et al.
- 2011
- ACM TOSEM
Prime: A methodology for developing provenance-aware applications
- - Simon Miles
  - Paul Groth
  - et al.
- 2011
- ACM TOSEM