Discrete Differential Geometry: An Applied Introduction

Are You Sure You Want to Use MMAP in Your Database Management System?

Repulsive Surfaces

Smiley Lore :-) (2002)

Three Sins of Authors in Computer Science and Math

Andrew Consortium (c. 1994)

Using a laser pointer and a matrix LED as a two-dimensional input device

Reasonable Person Principle

Mitigating Memory-Safety Bugs with Efficient Out-of-Process Integrity Checking

Prefix Sums and Their Applications (1990)

The Power of Interoperability: Why Objects Are Inevitable

OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection (1980)

Communicating sequential processes (1978)

Escaping AutoHell: A Vision for Automated Analysis and Migration of Autotools Build Systems (2016)

Morphing Pasta and Beyond

The next 700 programming languages (1966)

A Survey of Distributed File Systems (1989)

Taxonomies of Visual Programming (1989)

Functional Perl: Programming with Recursion Schemes in Python

Linux’s History (1992)

The Puzzle Toad

Reflections on trusting trust (1984)

No Hands Across America

Applying to PhD Programs in Computer Science (2014)

Monte Carlo Geometry Processing

Nearly Half of the Twitter Accounts Discussing ‘Reopening America’ May Be Bots

CMU 15-819 - Homotopy Type Theory

Memory-Efficient Search Trees for Database Management Systems

Using Z: Specification, Refinement, and Proof

Pegasus: A Framework for Sound Continuous Invariant Generation

More →