Securing network time protocol.
The equivalence problem for finite automata: technical perspective.
Software engineering, like electrical engineering.
Hacking nondeterminism with induction and coinduction.
Verifying computations without reexecuting them.
Putting the computer science in computing education research.
Model-based testing: where does it stand?
Too big to fail.
In defense of soundiness: a manifesto.
We need a building code for building code.
Three paradoxes of building platforms.
Upstart Puzzles: Take Your Seats.
Is information technology destroying the middle class?
Automated support for diagnosis and repair.
Far-sighted thinking about deleterious computer-related events.
Visualizing sound.
Using technology to help people.
Online privacy: regional differences.
What's the best way to teach computer science to beginners?
Do-it-yourself textbook publishing.
To govern IT, or not to govern IT?
There is nothing new under the sun.