About Me

I am a Ph.D. student studying programming languages with Steve Zdancewic at the University of Pennsylvania. Broadly, I am interested in the logic and semantics of type systems. My current work studies categorical models of linear logic and its applications.

Contact Info

Email: jpaykin (at) gmail (dot) com
Office: Levine 513

Publications

  • Linear Temporal Type Theory for Event-based Reactive Programming
    Jennifer Paykin, Neelakantan R. Krishnaswami, and Steve Zdancewic
    Submitted to POPL 2016.
    [pdf]
  • A linear/producer/consumer model of classical linear logic
    Jennifer Paykin and Steve Zdancewic
    Proceedings of the Third International Workshop on LINEARITY Vienna, Austria, July 2014.
    [pdf]   [Tech Report]   [bib]
  • A static cost analysis for a higher-order language
    Norman Danner, Jennifer Paykin, and James S Royer
    Proceedings of the 7th ACM SIGPLAN workshop on Programming Languages meets Program Verification (PLPV), Rome, Italy, January 2013.
    [pdf]   [bib]
  • Parallel boosted regression trees for web search ranking
    Stephen Tyree, Killian Q. Weinberger, Kunal Agrawal, and Jennifer Paykin
    Proceedings of the 20th International conference on World Wide Web, New York, USA, 2011.

Posters and Presentations

  • Logic, Categories, and Graphical User Interfaces
    Invited talk at Wesleyan University, April 21, 2015
    [pdf]
  • A Linear/Producer/Consumer Model of Classial Linear Logic
    POPL student poster session, January 24, 2014
    [pdf]

Teaching

  • GEMS Computer Science Workshop, Summers 2014-2015
  • CIS 502, Analysis of Algorithms (Teaching Assistant), University of Pennsylvania, Summer 2015
  • CIS 160, Mathematical Foundations in Computer Science (Teaching Assistant), University of Pennsylvania, Spring 2014
  • CIS 500, Software Foundations (Teaching Assistant), University of Pennsylvania, Fall 2013
  • Math Workshop (Tutor), Wesleyan University, 2011-2012
  • Discrete Mathematics (Teaching Assistant), Wesleyan University, Spring 2010