Type-Safe Operating System Abstractions. - Lea Wittie (2004)

A garbage-collecting typed assembly language. - Chris Hawblitzel; Heng Huang; Lea Wittie; Juan Chen (TLDI, 2007)

Type-safe concurrent resource sharing. - Lea Wittie; Jonathan Lockhart (Concurr. Comput. Pract. Exp., 2011)

Developing a concept inventory for computer science 2. - Lea Wittie; Anastasia Kurdia; Meriel Huggard (FIE, 2017)

Recruiting Experts: Toward a Concept Inventory for Computer Science 2 (Abstract Only). - Lea Wittie; Anastasia Kurdia; Meriel Huggard (SIGCSE, 2018)

Developing a Concept Inventory for Computer Science 2: What should it focus on and what makes it challenging? - Lea Wittie; Anastasia Kurdia; Judy Peng; James Kelly; Meriel Huggard (FIE, 2020)

"I've taken a first CS class and liked it! What's next?" Exploring the Multiplicity of CS2 Paths for Majors and Non-Majors. - Thomas C. Bressoud; Margaret Ellis 001; Lea Wittie (SIGCSE, 2020)