Jesse Adam Tov

  • Source: Scopus
20082019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

Programming languages, especially functional programming and type systems. I’m interested in how programming language technology can help make programmers’ and users’ lives better.

Education/Academic qualification

Computer Science, PhD, Northeastern University

… → 2012

Computer Science, MS, Northeastern University

… → 2007

Fingerprint

Dive into the research topics where Jesse Adam Tov is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • A calculus for Esterel: if can, can. if no can, no can

    Florence, S. P., You, S-H., Tov, J. A. & Findler, R., 2019, Proceedings of the ACM on Programming Languages: POPL 2019. Vol. 3. 61

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Type classes for lightweight substructural types

    Gan, E., Tov, J. A. & Morrisett, G., Feb 16 2015, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 176, p. 34-48 15 p.

    Research output: Contribution to journalConference article

    3 Scopus citations
  • SAFE: A clean-slate architecture for secure systems

    Chiricescu, S., Dehon, A., Demange, D., Iyer, S., Kliger, A., Morrisett, G., Pierce, B. C., Reubenstein, H., Smith, J. M., Sullivan, G. T., Thomas, A., Tov, J., White, C. M. & Wittenberg, D., Dec 1 2013, 2013 IEEE International Conference on Technologies for Homeland Security, HST 2013. p. 570-576 7 p. 6699066. (2013 IEEE International Conference on Technologies for Homeland Security, HST 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Scopus citations
  • A theory of substructural types and control

    Tov, J. A. & Pucella, R., Nov 23 2011, OOPSLA'11 - Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications. p. 625-641 17 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • A theory of substructural types and control

    Tov, J. A. & Pucella, R., Oct 1 2011, In : ACM SIGPLAN Notices. 46, 10, p. 625-641 17 p.

    Research output: Contribution to journalArticle

If you made any changes in Pure these will be visible here soon.