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 laboratories, Army Ordnance, the Atomic Energy Commission. The criterion is physical: the line must be printed on a title page, in a footnote or in an acknowledgement in the copy the corpus holds. It appears in no catalogue record, so every member was established by someone opening the file and reading it.
60 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 HACMS program: using formal methods to eliminate exploitable bugs
Kathleen Fisher and others (2017) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences · The Royal Society
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
What is a Formal Method?
Jeannette M. Wing (1989) · School of Computer Science, Carnegie Mellon University
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
Naming and Synchronization in a Decentralized Computer System
David P. Reed (1978)
The ARPA Network Design Decisions
John M. McQuillan and others (1977) · Computer Networks · North-Holland Publishing Company
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
Stabilization of Silicon Surfaces by Thermally Grown Oxides
M. M. Atalla and others (1959) · Bell System Technical Journal · Institute of Electrical and Electronics Engineers
First draft of a report on the EDVAC
John von Neumann (1945) · Moore School of Electrical Engineering, University of Pennsylvania