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

8889 results for Computer Science

Verifying deep logic hierarchies with ALEX
- - George M. Koppelman
  - Klim Maling
- 1980
- DAC 1980
A new look at logic synthesis
- - John A. Darringer
  - William H. Joyner
- 1980
- DAC 1980
Minimizing the problem of logic testing by the interaction of a design group with user-oriented facilities
- - Manuel Correia
  - Donald Cossman
  - et al.
- 1970
- DAC 1970
Quality of designs from an automatic logic generator (ALERT)
- - Theodore D. Friedman
  - Sih-Chin Yang
- 1970
- DAC 1970
Reliability Evaluation of Automated Tape Library Systems
- - Ilias Iliadis
  - Mark Lantz
- 2024
- MASCOTS 2024
Optimizing GPU Multiplexing for Efficient and Cost-Effective Access to Diverse Large Language Models in GPU Clusters
- - Yue Zhu
  - Chen Wang
  - et al.
- 2024
- MASCOTS 2024
Securing Floating-Point Arithmetic for Noise Addition
- - Naoise Holohan
  - Stefano Braghin
  - et al.
- 2024
- CCS 2024
SeaK: Rethinking the Design of a Secure Allocator for OS Kernel
- - Zicheng Wang
  - Yicheng Guang
  - et al.
- 2024
- USENIX Security 2024
Learning Optimal Projection for Forecast Reconciliation of Hierarchical Time Series
- - Asterios Tsiourvas
  - Wei Sun
  - et al.
- 2024
- ICML 2024
AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting through Generative AI
- - Mert Toslali
  - Edward Snible
  - et al.
- 2024
- ESEC/FSE 2024