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) seas (dot) upenn (dot) edu
Office: Levine 513

Publications

  • 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.

Teaching

  • 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