Paul Govereaugovereau@eecs.harvard.edu
Division of Engineering and Applied Sciences |
 |
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.
My advisor is Greg Morrisett.
- Publications
-
Type-theoretic semantics for transactional concurrency
Aleksandar Nanevski, Paul Govereau and Greg Morrisett.
In TLDI'09 Proceedings of the 4th ACM SIGPLAN Workshop on Types in Language Design and Implementation, 2009. ACM Press.
See Also: Harvard University Technical Report TR-09-07, July 2007. Ynot: Reasoning with the Awkward Squad
Aleksandar Nanevski and Greg Morrisett and Avraham Shinnar and Paul Govereau and Lars Birkedal
In ICFP'08 Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming, 2008. ACM Press.
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 currently workning on The Ynot Project: A next generation functional programming language that provides clean support for dependent and refinement types within a modern functional language. The focus of this work is on the integration of dependent types with effectful computations so that we can reason as easily about programs with effects as without. 
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 a former 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. See Also: Course Notes.
- Principles of Programming Language Compilation, Teaching Fellow, 2004.
- Software
- Tiger Compiler A compiler for the Tiger language that emits C-- code.