|
|
Job Search
- Curriculum Vitae [ pdf | ps ]
- Research Statement [ pdf | ps | html ]
- Teaching Statement [ pdf | ps | html ]
- Publications [ html | bib ]
Research
My main research interests lie with programming languages, including compiler technology, parallelism and concurrency, type systems, and program semantics.
- 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
-
The 21st International Symposium on Implementation and Application of Functional Languages (IFL'09)
— Program Committee
- September 23 – 25, 2009; South Orange, New Jersey
-
The Third Central European Functional Programming Summer School (CEFP'09) — Lecturer
- May 25 – 30, 2009; Komarno, Slovakia
-
The Fourth Workshop on Declarative Aspects of Multicore Programming (DAMP'09)
— Program Committee
- January 20, 2009; Savannah, Georgia (co-located with POPL09)
-
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 12th 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.