Jesse A. Tov
Postdoctoral Fellow |
Research interests
I’m interested in programming languages, especially functional programming and type systems. Linear types may be good for compiler analyses and adding effects to lazy languages, but can we use them to increase the expressiveness of ordinary, call-by-value languages?
Recent Publications
- Practical Programming with Substructural Types. Ph.D. dissertation, Northeastern University, February 2012.
- A Theory of Substructural Types and Control (with Riccardo Pucella). In Proc. 26th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’11), October 2011
- Practical Affine Types (with Riccardo Pucella). In Proc. 38th ACM Symposium on Principles of Programming Languages (POPL’11), January 2011
- Stateful Contracts for Affine Types (with Riccardo Pucella). In Proc. 19th European Symposium on Programming (ESOP’10), March 2010
- More publications
Teaching
At Northeastern: |
||
| CS5010 | Fa10 | Program Design Paradigms (Head TA) |
| CS2500 | Sp10 | Fundamentals of C.S. I (Instructor) |
| CS2500 | Fa09 | Fundamentals of C.S. I (TA) |
| CSU290 | Sp09 | Logic and Computation (TA) |
| CSG107 | Fa08 | Program Design Paradigms (TA) |
| CSG262 | Sp08 | Compilers (Instructor) |
| CSG111 | Fa07 | Principles of Programming Languages (TA) |
At Harvard: |
||
| CS51 | Sp07 | Introduction to Computer Science II (TF) |
| CS51 | Sp0[45] | Introduction to Computer Science II (Head TF) |
Software
| LaTeX packages (plstx, pfsteps, ottalt, . . .) | Includes packages for typesetting grammars, writing proofs with numbered steps and justifications, formatting Ott output, and list processing |
| affine-contracts | Contracts for one-shot functions and one-use values in PLT Scheme |
| Caml-Shcaml | UNIX shell programming in Ocaml |
| Control.Exception.Generic [src] | Haskell exceptions that work with monad transformers (deprecated in favor of control-monad-exception) |
Contact information
Jesse A. Tov
School of Engineering & Applied Sciences
Harvard University
33 Oxford St
Cambridge, MA 02138
Email:
(@ 'tov '(eecs harvard edu))
Jabber:
(@ '(jesse tov) '(gmail com))
(GTalk)
Mobile: +1 757 695 8687
Office: +1 617 496 8648
Face: 309 Maxwell
Dworkin Hall
Last updated Wed, 29 Feb 2012 14:48:40 -0500
