Real-Time Topic Models for Crisis Counseling (2014)

A Regular Expression Matcher

Tracking the Flow of Ideas Through the Programming Languages Literature

Flash: An efficient and portable Web server (1999)

Verified correctness and security of OpenSSL HMAC

Left-leaning Red-Black Trees [pdf]

Secure Protocols for Accountable Warrant Execution

Empirical Analysis of Programming Language Adoption [pdf] (2013)

Should Computer Scientists Experiment More? (1997) [pdf]

Byte Addressing: From Laboratory to Practice [pdf]