|
|
Research
My main research interests lie with programming languages, including concurrency abstractions, type systems, program semantics, and compiler technology.
- Curriculum Vitae
- Publications (fluetbib.bib)
- Compiling Self-Adjusting Programs with Continuations (joint work with Ruy Ley-Wild and Umut Acar)
- Manticore: a heterogeneous parallel programming language (joint project with Mike Rainey, John Reppy, Ridg Scott, Adam Shaw, Yingqi Xiao)
- Monadic and Substructural Type Systems for Region-Based Memory Management (PhD thesis)
- Transactional Events (joint work with Kevin Donnelly)
- Linear Regions Are All You Need (joint work with Greg Morrisett and Amal Ahmed)
- Practical Datatype Specializations (joint work with Riccardo Pucella)
- A Step-Indexed Model of Substructural State (joint work with Amal Ahmed and Greg Morrisett)
- L3: A Language with Linear Locations (joint work with Amal Ahmed and Greg Morrisett)
- Monadic Regions (joint work with Greg Morrisett)
- A Safe Runtime System in Cyclone (joint work with Dan Wang)
- Computational Content of Boolean Valuations (joint work with Stuart Allen and Bob Constable)
- Phantom Types and Subtyping (joint work with Riccardo Pucella)
- Contification Using Dominators (joint work with Stephen Weeks)
Professional Activities
-
Summer School on Logic and Theorem Proving in Programming Langauges -- Co-organizer
- July 22 - 30, 2008; Eugene, Oregon
- The ACM SIGPLAN International Conference on Functional Programming (ICFP) -- Publicity Chair/Steering Committee
-
The 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP'07) -- Program Committee
- October 1 - 3, 2007; Freiburg, Germany
-
The 2006 ACM SIGPLAN Workshop on ML (ML'06)
-- Program Committee
- September 16, 2006; Portland, Oregon (co-located with ICFP06).
Current Activities
-
I am an active developer of MLton: an open-source, whole-program, optimizing Standard ML compiler.
-
I am collaborating on the development of Manticore: a heterogeneous parallel programming language aimed at general-purpose applications running on multi-core processors.
-
As a programming languages researcher, I am excited about the opportunities for mechanizing reasoning about programming languages. The POPLMark Challenge hopes to spark additional interest in this problem. As a result of discussions about the POPLMark Challenge, I have started using Twelf in my research, and I have collected a set of interesting examples.
-
I participate in both HYPER, the Hyde Park programming languages reading group, and PL Group, a weekly forum for informal talks on relevant and interesting topics in programming languages.
Talks
Teaching Experience
- In Winter 2009, I will be the instructor for CMSC 22610: Implementation of Computer Languages-1.
- In Spring 2003, I was the teaching assistant for CS486: Applied Logic.
- In Fall 2000, I was the teaching assistant for CS611: Advanced Programming Languages.