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
    A List of Successes to Change the World, Edinburgh, UK, April 2016
    [pdf]   [bib]
  • 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]

Miscellaneous Drafts and Papers

  • The Essence of Event-Driven Programming
    Jennifer Paykin, Neelakantan R. Krishnaswami, and Steve Zdancewic
    Submitted for publication, April 2016
    [pdf]
  • QWIRE: A QRAM-Inspired Quantum Circuit Language
    Jennifer Paykin, Robert Rand, and Steve Zdancewic
    Submitted for publication, March 2016
    [pdf]
  • 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