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.