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

33 results at ACM Transactions on Programming Languages and Systems (TOPLAS)

Safe: A Semantic Technique for Transforming Programs in the Presence of Errors
- - Alexander Aiken
  - John H. Williams
  - et al.
- 1995
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Techniques for Debugging Parallel Programs with Flowback Analysis
- - Jong-Deok Choi
  - Barton P. Miller
  - et al.
- 1991
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Type-Extension Type Test Can be Performed in Constant Time
- - Norman H. Cohen
- 1991
- ACM Transactions on Programming Languages and Systems (TOPLAS)
INC: A Language for Incremental Computations
- - Daniel M. Yellin
  - Robert E. Strom
- 1991
- ACM Transactions on Programming Languages and Systems (TOPLAS)
An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis
- - Michael Burke
- 1990
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Production Trees: A Compact Representation of Parsed Programs
- - Vance E. Waddle
- 1990
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying temporal properties without temporal logic
- - Bowen Alpern
  - Fred B. Schneider
- 1989
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Scheduling expressions on a pipelined processor with a maximal delay of one cycle
- - David Bernstein
  - Izidor Gertner
- 1989
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient synchronization of multiprocessors with shared memory
- - Clyde P. Kruskal
  - Larry Rudolph
  - et al.
- 1988
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient and Correct Execution of Parallel Programs that Share Memory
- - Dennis Shasha
  - Marc Snir
- 1988
- ACM Transactions on Programming Languages and Systems (TOPLAS)