Car is a smartphone on wheels. Here's who's listening

Automatic Transmission – a data-privacy study of connected vehicles

Is truth futureproof? On the possible futures of mechanized proofs

The SRE regular-expression notation (1998)

A few cores too many (2016)