Paul Govereaugovereau@eecs.harvard.edu
Division of Engineering and Applied Sciences |
 More Photos |
I hold a Bachelors degree in Physics from MIT, and a Masters degree in Computer Science from Harvard University.
I am currently a PhD candidate in Computer Science.
- Publications
-
Type-theoretic semantics for transactional concurrency
Aleksandar Nanevski, Paul Govereau and Greg Morrisett.
Submitted. July, 2007. An Expressive Language of Signatures.
Norman Ramsey, Kathleen Fisher and Paul Govereau.
In ICFP'05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, 2005. ACM Press. Type Generativity in Higher-Order Module Systems
Paul Govereau.
Harvard University Technical Report TR-05-05, 2005. - Research
-
I am a member of Triforce; the Programming Languages, Compilers, and Security Group. I am interested in functional programming, language design and type systems. 
I am a member of the C-- project. In the past, I have worked on the C-- runtime system, and the Power PC code generator. I also developed a Tiger front-end and garbage collector for testing and documentation purposes. - Teaching
- Programming Languages, Teaching Fellow, 2007.
- Advanced Functional Programming, Teaching Fellow, 2006.
- Principles of Programming Language Compilation, Teaching Fellow, 2004.
- Software
- Tiger Compiler A compiler for the Tiger language that emits C-- code.