On the Unusual Effectiveness of Logic in Computer Science (2001) [pdf]
2021-06-18
Lessons I Wish I Had Learned Before I Started Teaching Differential Equations [pdf]
2021-06-18
Antikernel: A Decentralized Secure Operating System Architecture (2016) [pdf]
2021-06-18
Safe, Flexible Aliasing with Deferred Borrows [pdf]
2021-06-18
A Provenance-aware Memory Object Model for C [pdf]
2021-06-18
AI in Financial Services [pdf]
2021-06-18
AAIB Bulletin: 3/2021 Alauda Airspeeder Mk II UAS [pdf]
2021-06-18
“Man and his Spaceship Earth” theme show for EPCOT by Ray Bradbury (1977) [pdf]
2021-06-17
Time-Locked Encryption [pdf]
2021-06-17
Data Parallel Algorithms (1986) [pdf]
2021-06-17