History of logic programming

Server Availability and Security Through Failure-Oblivious Computing (2004)

Reasoned Programming (1994)

Many-Core Compiler Fuzzing [pdf]

Unifying models of data flow (2011) [pdf]