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 is explores type systems motivated by less common logics, including linear, modal, and classical logics.

Publications

  • Linear lambda-mu is CP (more or less)
    Jennifer Paykin and Steve Zdancewic
    To appear in A List of Successes to Change the World, Edinburgh, UK, April 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.

Miscellaneous Drafts and Papers

  • The many meanings of polarized proof theory
    Jennifer Paykin
    University of Pennsylvania Written Preliminary Examination (WPE) II, December 2015
    [pdf]
  • Linear temporal type theory for event-based reactive programming
    Jennifer Paykin, Neelakantan R. Krishnaswami, and Steve Zdancewic
    Unpublished Draft
    [pdf]
  • Curry Howard for GUIs
    Jennifer Paykin, Neelakantan R. Krishnaswami, and Steve Zdancewic
    Off the Beaen Track, Mumbia, India, January 2015
    [pdf]

Posters and Presentations

  • Curry-Howard for Callbacks
    ICFP Student Research Competition, September 4, 2015
    First place, graduate category
    [svg]
  • 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
  • Discrete Mathematics (Teaching Assistant), Wesleyan University, Spring 2010

Professional Activities

  • I am an organizer of CISTErs , a group for phd, postdoc, and faculty women in engineering at Penn.
  • I organized a reading group on category theory during the spring and summer of 2015.

Contact Info

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