Contents
22 sections
- 01 On Computable Numbers
- 02 Rice's Theorem
- 03 Paths, Trees, and Flowers
- 04 An Axiomatic Basis for Computer Programming
- 05 The Apollo Guidance Computer and the Birth of Software Engineering
- 06 The Complexity of Theorem-Proving Procedures
- 07 Reducibility Among Combinatorial Problems
- 08 Programs, Life Cycles, and Laws of Software Evolution
- 09 Register Allocation via Graph Coloring
- 10 No Silver Bullet β Essence and Accident
- 11 An Investigation of the Therac-25 Accidents
- 12 Test Suite Minimization
- 13 Bunch β Software Module Clustering
- 14 Package Dependency Resolution as 3-SAT
- 15 The Power of 10 β Rules for Safety-Critical Code
- 16 CompCert β A Formally Verified C Compiler
- 17 seL4 β Formal Verification of an OS Kernel
- 18 Do Users Write More Insecure Code with AI Assistants?
- 19 Coding on Copilot β Downward Pressure on Code Quality
- 20 2024 DORA Accelerate State of DevOps Report
- 21 Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity
- 22 The Thesis