Moonconf Papers

The Moonconf version of my new talk "Fetching Moths from the Works: Correctness Methods in Software" went by really quickly, 114 slides in thirty minutes. Fast!

Here's the papers I reference in the talk, in order of appearance:

  • "The Case of the Three Engineers vs. BART" :: Gordan Friedlander - 1974
  • "SIGSOFT Vol. 6 No. 2: Frontmatter" :: 1981
  • "The BUG Heard 'Round the World: Discussion of The Software Problem Which Delayed the First Shuttle Orbital Flight" :: John Garman - 1981
  • "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems" :: Robin R. Lutz - 1993
  • "Eliminating Embedded Software Defects Prior to Integration Test" :: Ted Bennett, Paul Wennberg - 2005
  • "Engineering a Safer World: Systems Thinking Applied to Safety" :: Nancy Leveson - 2011
  • "The Role of Software in Spacecraft Accidents" :: Nancy Leveson - 2004
  • "The OpenBSD Culture" :: David Gwynne - 2006
  • "Going Fast Slowly" :: Poul-Henning Kamp, 2016
  • "How SQLite is Tested" :: Dwayne Hipp - 2009
  • "An Evaluation of Randomized Testing" :: Joe Duran, Simeon Ntafos - 1984
  • "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs" :: Coen Claessen, John Hughes - 2000
  • "An Experimental Evaluation of the Assumption of Independence in Multiversion Programming" :: Nancy Leveson, John Knight - 1986
  • "Rigorous Software Development: An Introduction to Program Verification" :: Jose Almedia et al., 2011
  • "Building High Integrity Applications with SPARK" :: John McCormick, Peter Chapin - 2015
  • "Formal Specification and Documentation with Z A Case Study Approach" :: Jonathan Bowen, 2003
  • "Moving Fast with Software Verification" :: Cristiano Calcagno et al., 2015
  • "Out of the Tar Pit" :: Ben Moseley, Peter Marks - 2006
  • "Normal Accidents: Living with High-Risk Technologies" :: Charles Perrow - 1986
  • "Crash-Only Software" :: George Candea, Armando Fox - 2003
  • "Making Reliable Distributed Systems in the Presence of Software Errors" :: Joe Armstrong - 2003

The main font for the talk is Letterhead Font's Silent Movie, the talk title is Ross Antique Roman 2 and talk paper titles are in Gill Sans. I use Papers3 to keep all my reference organized.

You can see the slides as used in the talk here:

(Moonconf 2016) Fetching Moths from the Works: Correctness Methods in Software from Brian Troutwine

I'll update this page with a reference to the video when it goes live.