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

185 results at ACM SIGPLAN Notices

A boundary between decidability and undecidability for parallel program schemata (Extended Abstract)
- - Raymond E. Miller
- 1972
- ACM SIGPLAN Notices
Problems of PL/I for system programming
- - Martin Hopkins
- 1971
- ACM SIGPLAN Notices
Modifications to the APL 1130/System to Provide More Convenient Operating on a Fortran User's Machine
- - J.F. Clementi
  - A.P. Fletcher
- 1971
- ACM SIGPLAN Notices
Transition functions: A method for semantic extensions
- - B.M. Leavenworth
- 1971
- ACM SIGPLAN Notices
Comments on the proposed “revision of PL/I conversion and precision rules”
- - G.M. Weinberg
- 1969
- ACM SIGPLAN Notices
Balanced double queues for GC work-stealing on weak memory models
- - Michihiro Horie
  - Hiroshi Horii
  - et al.
- 2018
- ACM SIGPLAN Notices
Scalable lock-free dynamic memory allocation
- - Maged M. Michael
- 2015
- ACM SIGPLAN Notices
A real-time garbage collector with low overhead and consistent utilization
- - David F. Bacon
  - Perry Cheng
  - et al.
- 2013
- ACM SIGPLAN Notices
Efficient implementation of Java interfaces: Invokeinterface considered harmless
- - Bowen Alpern
  - Anthony Cocchi
  - et al.
- 2011
- ACM SIGPLAN Notices
Dynamic Optimistic lnterprocedurai Analysis: A framework and an application
- - Igor Pechtchanski
  - Vivek Sarkar
- 2011
- ACM SIGPLAN Notices