Lucas Du ジ

a picture of my face I am a computer science MS student at UC Davis, advised by Caleb Stanford. Previously, I worked on cloud storage at eBay. Even before that, I was an undergraduate at UChicago.

I like programming languages, formal methods, and applications of techniques from these areas to (concurrency ∪ distribution) and (security ∪ privacy). I aim to develop mathematically principled, language-oriented tools and abstractions for building provably correct, efficient, flexible, and simple software, preferably by-construction.

Miscellaneous

A Survey of Language-Based Information Flow Control

A brief and limited survey containing: a basic introduction to the theory of information flow control; some analysis of attempts to integrate IFC techniques into existing programming languages and language ecosystems; some thoughts on language features that enable such integration, particularly of static, type-based IFC. Final project for ECS235B at UC Davis (Spring 2025).

“Processes: A Mathematical Model of Computing Agents” (Milner 1973)

A scan of Robin Milner’s paper, which appeared in the Proceedings of the Logic Colloqium (Bristol, July 1973). It contains some early ideas of what would later become CCS and the pi-calculus. I wasn’t able to find a copy online anywhere else, so here it is.