Lucas Du ジ

a picture of my face I am a PhD student in computer science at Cornell University, advised by Alexandra Silva. I am supported by the NSF CISE Graduate Fellowship. Previously, I was an MS student at UC Davis, advised by Caleb Stanford. I worked for a few years on cloud storage at eBay and completed a BS 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.

Service and Activities

Artifact Evaluation for OOPSLA 2026
Summer School at OPLSS 2025 and SPLV 2025

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!