The Programming Systems and Languages Paper Award was presented to the author(s) of the best papers on languages and systems published in the calendar year preceding the annual ACM Conference. This award was first presented at the Spring Joint Computer Conference in April 1971, and was replaced in 1983 by the Software System Award.

1971

Peter Denning:
The working set model for program behavior, Communications of the ACM, May 1968

Edsger Dijkstra:
The structure of the THE multiprogramming system, Communications of the ACM, May 1968

Peter Lucas and Kurt Walk:
On the Formal Description of PL/I, Annual Review in Automatic Programming, 6, 3 (1969)

John C. Reynolds:
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, May 1970

Richard L. Mattson, Jan Gecsei, Donald Slutz and Irving Traiger:
Evaluation Techniques for Storage Hierarchies, IBM Systems Journal, 9, 2 (1970)

 

1972 - no award given

 

1973

C. A. R. Hoare:
Proof of Correctness of Data Representations, Acta Informatica, 1, 4 (December 1972)

 

1974

Zohar Manna, Stephen Ness, Jean Vuillemin:
Inductive methods for proving the properties of programs, Communications of the ACM, August 1973

Daniel G. Bobrow, Ben Wegbreit:
A model and stack implementation of multiple environments, Communications of the ACM, October 1973

 

1975

Dennis Ritchie and Kenneth Thompson:
The UNIX time-sharing system, Communications of the ACM, July 1974

 

1976

John Cocke & Frances E. Allen:
A program data flow analysis procedure, Communications of the ACM, March 1976

 

1977

David Gries & Susan Owicki:
Verifying properties of parallel programs: an axiomatic approach, Communications of the ACM, May 1976

 

1978

Niklaus Wirth:
Toward a discipline of real-time programming, Communications of the ACM, August 1977

 

1979

David L. Parnas:
Designing Software for Ease of Extension and Contraction, IEEE Transactions on Software Engineering, March 1979

 

1980 - no award given

 

1981 - no award given

 

1982

James Gray, Paul McJones Michael Blasgen, Bruce Lindsay, Raymond Lorie, Thomas Price, Gianfranco Putzolu, Irving Traiger:
The Recovery Manager of the System R Database Manager, ACM Computing Surveys, June 1981