Future
Starting in Fall 2009, I will be an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology.
Job Search
Research
My main research interests lie with programming languages, including
compiler technology, parallelism and concurrency, type systems, and program semantics.
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
-
Summer School on Theorey and Practice of Language Implementation — Co-organizer
-
July 23 – 31, 2009; Eugene, Oregon
-
The International Symposium on Memory Management (ISMM'09)
— Review Committee
-
June 19 – 20, 2009; Dublin, Ireland
(co-located with PLDI'09)
-
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 POPL'09)
-
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 ICFP'06).
Teaching
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.
Biography
Talks
|