Stack Computers: the new wave (1989)

The Effectiveness of Checksums for Embedded Control Networks

Stack Computers: the new wave (1989)

Compilers, Hands-Off My Hands-On Optimizations (2016)

Reflections on Trusting Trust

Maximal Length LFSR Feedback Terms

A Brief Introduction to Forth (1993)

Stack Computers: The New Wave

Stack Computers: 4.4 Architecture of the Novix NC4016 (1989)

Stack Computers: the new wave -- an on-line book

All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (2010)

SPIRAL: Extreme Performance Portability

Building Safer UGV's with Run-time, Safety Invariants (2009)

Toward a Framework for Highly Automated Vehicle Safety Validation, Philip Koopman & Michael Wagner

Stack Computers: The New Wave: A Survey of Computers with Hardware Stack Support [1989]

Stack Computers: the new wave (1989)

A Large-Scale Study of Flash Memory Failures in the Field

Flipping Bits in Memory Without Accessing Them [pdf]

Stack Computers: the new wave (1989)

Stack Computers: Architecture of the Harris RTX 2000

A Case Study of Toyota Unintended Acceleration and Software Safety