This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Who paid for the foundations

A subject the papers are about. The loosest grouping, and the one to reach for last.

Works whose own copy names a defence or nuclear funder — Project MAC, ARPA and DARPA, ONR, AFOSR, the Air Force Research Laboratory, Army Ordnance, the Atomic Energy Commission — on a title page, in a footnote, or in a closing acknowledgement. The line is printed on the page and appears in no catalogue record, so this grouping exists only because the copies were opened.

Fifty-five as of 2026-08-31. The description previously said forty-four, which was true when it was written; the set has grown and the number had not been revised with it. The accompanying finding — that a third of the set was found only after the search moved past the first leaf — was measured against that smaller membership and has not been recomputed, so treat it as a fact about how the search went rather than as a current proportion.

What makes the set worth having is that its membership criterion is physical. Nothing here can be assembled from metadata: a catalogue record does not carry the funding line, so every member was established by someone opening the file and reading past the title. That also means the set is a lower bound and always will be — it holds the works whose copies have been read, not the works that were funded.

55 references

Roadmapping the next generation of silicon photonics
Sudip Shekhar and others (2024) · Nature Communications
The future transistors
Wei Cao and others (2023) · Nature
Satellite-based communications security: A survey of threats, solutions, and research challenges
Pietro Tedeschi and others (2022) · Computer Networks · Elsevier BV
Post quantum cryptographic keys generated with physical unclonable functions
Bertrand Cambou and others (2021) · Applied Sciences
Top-down Physical Design of Soft Embedded FPGA Fabrics
Prashanth Mohan and others (2021) · Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '21) · Association for Computing Machinery
Syntax-Guided Quantifier Instantiation
Aina Niemetz and others (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
A probabilistic separation logic
Gilles Barthe and others (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Formally verified software in the real world
Gerwin Klein and others (2018) · Communications of the ACM · Association for Computing Machinery
The End of Moore’s Law: A New Beginning for Information Technology
Thomas N. Theis and others (2017) · Computing in Science & Engineering
Botornot: A system to evaluate social bots
Clayton Allen Davis and others (2016) · 25th International Conference Companion on World Wide Web · Association for Computing Machinery
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Stéphane Demri and others (2016) · ACM Transactions on Computational Logic
Separation logics and modalities: a survey
Stéphane Demri and others (2015) · Journal of Applied Non-Classical Logics
Collaborating with the enemy on network management
Chris Hall and others (2014) · Security Protocols XXII · Springer
Optical theorem for transmission lines
Edwin A. Marengo and others (2014) · Progress In Electromagnetics Research B
Automating Separation Logic with Trees and Data
Ruzica Piskac and others (2014) · Computer Aided Verification · Springer
Satisfiability modulo abstraction for separation logic with linked lists
Aditya Thakur and others (2014) · International SPIN Symposium on Model Checking of Software · Association for Computing Machinery
Mostly-automated verification of low-level programs in computational separation logic
Adam Chlipala (2011) · 32nd ACM Conference on Programming Language Design and Implementation (PLDI)
A Study of Prefix Hijacking and Interception in the Internet
Hitesh Ballani and others (2007) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)
Verification condition generation via theorem proving
John Matthews and others (2006) · 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) · Springer
Understanding BGP misconfiguration
Ratul Mahajan and others (2002) · ACM SIGCOMM Computer Communication Review
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern and others (2001) · Bulletin of Symbolic Logic
NATO Enlargement 2000-2015. Determinants and Implications for Defense Planning and Shaping
Thomas S. Szayna (2001) · RAND Corporation
VLSI architecture: Past, present, and future
William J. Dally and others (1999) · Proceedings 20th Anniversary Conference on Advanced Research in VLSI · IEEE
Formal methods: Promises and problems
Luqi and others (1997) · IEEE Software
Formal methods: State of the art and future directions
Edmund M. Clarke and others (1996) · ACM Computing Surveys · Association for Computing Machinery (ACM)
Avoiding the Undefined by Underspecification
David Gries and others (1995) · Computer Science Today: Recent Trends and Developments · Springer
A History of CLU
Barbara Liskov (1993) · MIT Laboratory for Computer Science
DARPA Technical Accomplishments. Volume II. An Historical Review of Selected DARPA Projects
Richard H. Van Atta and others (1991) · Institute for Defense Analyses
A specifier's introduction to formal methods
Jeannette M. Wing (1990) · Computer · IEEE Computer Society
The design philosophy of the DARPA internet protocols
David D. Clark (1988) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
Development of the Domain Name System
Paul V. Mockapetris and others (1988) · Symposium Proceedings on Communications Architectures and Protocols (SIGCOMM '88) · Association for Computing Machinery
On understanding types, data abstraction, and polymorphism
Luca Cardelli and others (1985) · ACM Computing Surveys · Association for Computing Machinery
Distributed snapshots: determining global states of distributed systems
K. Mani Chandy and others (1985) · ACM Transactions on Computer Systems · Association for Computing Machinery
Impossibility of distributed consensus with one faulty process
Michael J. Fischer and others (1985) · Journal of the ACM · Association for Computing Machinery
Wafer-scale integration and two-level pipelined implementations of systolic arrays
H. T. Kung and others (1984) · Journal of Parallel and Distributed Computing
A fast file system for UNIX
Marshall K. McKusick and others (1984) · ACM Transactions on Computer Systems · Association for Computing Machinery
End-to-end arguments in system design
Jerome H. Saltzer and others (1984) · ACM Transactions on Computer Systems · Association for Computing Machinery
Effective axiomatizations of Hoare logics
Edmund M. Clarke Jr. and others (1983) · Journal of the ACM
Wafer-Scale Integration of Systolic Arrays
Frank Thomson Leighton and others (1983) · MIT Laboratory for Computer Science
The Byzantine Generals Problem
Leslie Lamport and others (1982) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Basic Research in Artificial Intelligence and Foundations of Programming
John McCarthy and others (1980) · Stanford University
Time, clocks, and the ordering of events in a distributed system
Leslie Lamport (1978) · Communications of the ACM · Association for Computing Machinery
The temporal logic of programs
Amir Pnueli (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
Formal Requirements for Virtualizable Third Generation Architectures
Gerald J. Popek and others (1974) · Communications of the ACM · Association for Computing Machinery
Towards a theory of type structure
John C. Reynolds (1974) · Programming Symposium · Springer
THE ALOHA SYSTEM: another alternative for computer communications
N. Abramson (1970) · Proceedings of the November 17-19, 1970, Fall Joint Computer Conference
The interface message processor for the ARPA computer network
F. E. Heart and others (1970) · Proceedings of the May 5-7, 1970, Spring Joint Computer Conference · Association for Computing Machinery
Virtual memory, processes, and sharing in MULTICS
Robert C. Daley and others (1968) · Communications of the ACM · Association for Computing Machinery
The working set model for program behavior
Peter J. Denning (1968) · Communications of the ACM · Association for Computing Machinery
Programming semantics for multiprogrammed computations
Jack B. Dennis and others (1966) · Communications of the ACM · Association for Computing Machinery
Toward a cooperative network of time-shared computers
Thomas Marill and others (1966) · Proceedings of the November 7-10, 1966, Fall Joint Computer Conference · ACM Press
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson (1965) · Journal of the ACM · Association for Computing Machinery
On Distributed Communications: I. Introduction to Distributed Communications Networks
Paul Baran (1964) · The RAND Corporation
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
John McCarthy (1960) · Communications of the ACM · Association for Computing Machinery
First draft of a report on the EDVAC
John von Neumann (1945) · Moore School of Electrical Engineering, University of Pennsylvania