Stories by Jtsummers

Five Things We Need to Know About Technological Change (1998) [pdf]

Leverage Points: Places to Intervene in a System (1999)

The Dogged Pursuit of Bug-Free C Programs: Frama-C Software Analysis Platform

Check the Fine Print for That Remote Job

A New Approach to Designing Work (2017)

EWD472: Guarded commands, nondeterminacy and formal derivation of programs -1975

Rethinking software testing: perspectives from the world of hardware (2019)

ICFP Contest 2021

Concurrency is not parallelism (2013)

SPARKNaCl with Gnat and Spark Community 2021: Port, Proof and Performance

SPARK Ada for the Misra C Developer

Previewing SwiftUI layouts in Emacs (revisited)

Why America Doesn’t Make Solar Panels Anymore

Why Gemini is not my favorite internet protocol

Test-Last Development

Testing in the Twenties

The Practice of Programming: A War Story (1999)

Everything VPN Is New Again

Why Property Testing Finds Bugs Unit Testing Does Not

An Entire Group of Whales Has Somehow Escaped Human Attention

1
2
3
4
5
6
7
8
9
10