Publications by Jesse Tov
These papers are listed in reverse chronological order. The
titles are linked to abstracts, which include links to PDFs and
other resources.
Papers
-
A Calculus for Esterel: If Can, Can. If No Can, No Can (with Spencer P. Florence, Shu-Hung You, and Robert Bruce Findler).
In Proc. 46th ACM SIGPLAN Symposium on Principles of
Programming Languages (POPL’19), January 2019.
- Type Classes for Lightweight
Substructural Types (with Edward Gan and Greg Morrisett).
In Proc. Third International Workshop on
Linearity (LINEARITY 2014),
July 2014.
- SAFE: A
Clean-Slate Architecture for Secure Systems (with
Silviu Chiricescu, André DeHon, Delphine Demange, Suraj Iyer,
Aleksey Kliger, Greg Morrisett, Benjamin C. Pierce,
Howard Reubenstein, Jonathan M. Smith, Gregory T. Sullivan,
Arun Thomas, Christopher M. White, and David Wittenberg).
In Proc. IEEE International Conference on
Technologies for Homeland Security (HST’13),
November 2013.
- 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.
- Haskell Session Types with
(Almost) No Class
(with Riccardo Pucella).
In Proc. ACM SIGPLAN 2008 Haskell Symposium
(Haskell’08),
September 2008.
- Caml-Shcaml: An OCaml Library
for Unix Shell Programming
(with Alec Heller).
In Proc. ACM SIGPLAN Workshop on ML (ML’08),
September 2008.
Additional Talks
Tempest: A Low-Level Language for a SAFE
Machine.
At the New Jersey Programmimg
Languages and Systems (NJPLS) Seminar, November 2013.
Taking Part-Time Programmers Seriously
(with Elizabeth Tov).
At the Off the Beaten Track,
January 2012.
A Theory of Substructural Types and Control.
At the Harvard University, School of
Engineering & Applied Sciences PL Seminar,
October 2011.
Implicit Arrows in Alms.
At New England Programming
Languages and Systems Symposium (NEPLS), March 2011.
A Model of Functional Traversal-Based Generic Programming. On
behalf of Bryan Chadwick and Karl Lieberherr,
at the Symposium in Honor of Mitchell Wand, Northeastern University,
August 2009.
Quantum Computing and
λq (PDF).
At Brandeis University, December 2006.
Other parties hold copyrights to some of these papers. The relevant
copyright notices appear on the individual abstract pages.
Home