Posts
- Will AI Have its Challenger Disaster? Nov 17, 2025
- Max: Phase 1 Report May 18, 2016
- Viva La Resistance! A Resistance Game Solver Feb 08, 2016
- 15 Minutes Feb 09, 2015
- All Hammers are Terrible Dec 29, 2014
- Using GHC HEAD Oct 11, 2014
- SmartChecking Matt Might's Red-Black Trees Aug 21, 2014
- SmartCheck: Redux Jun 17, 2014
- Embedded Security in the Mainstream Apr 02, 2014
- Stop Regression Testing Dec 16, 2013
- Printf No More Oct 24, 2013
- SMACCMPilot Oct 08, 2013
- Book Review: Automate This May 28, 2013
- A Dane Goes to NASA Nov 03, 2012
- The Worst Offenders Oct 13, 2012
- Lowering the Bar Oct 03, 2012
- SmartCheck Jul 26, 2012
- A Fistful of Dollars Mar 08, 2012
- When Formal Systems Kill Feb 19, 2012
- Who's Afraid of Software? Jan 20, 2012
- Copilot featured in Aerospace America Dec 10, 2011
- Stable Names in Haskell Nov 26, 2011
- Meta-Programming and eDSLs Jan 30, 2011
- Haskell and Hardware for the Holidays Dec 18, 2010
- Backseat Driving: Copilot Updates Nov 21, 2010
- Copilot: a DSL for Monitoring Embedded Systems Sep 26, 2010
- Shocking Tell-All Interview on Software Assurance Aug 30, 2010
- Copilot: A Hard Real-Time Runtime Monitor Aug 22, 2010
- Twinkle Twinkle Little Haskell Jun 01, 2010
- An Apologia for Formal Methods Mar 14, 2010
- 10 to the -9 Jan 25, 2010
- Writer's Unblock Oct 01, 2009
- Finding Boole Aug 11, 2009
- "Schrodinger's Probability" for Error-Checking Codes May 15, 2009
- An Atomic Fibonacci Server: Exploring the Atom (Haskell) DSL May 05, 2009
- N-Version Programming... For the nth Time Apr 27, 2009
- Programming Languages for Unpiloted Air Vehicles Apr 20, 2009
- Byzantine Cyclic Redundancy Checks (CRC) Apr 18, 2009