About Me
I am a research engineer
at Galois working with
applications of programming languages, type systems, and
verification. Some applications that I am interested in include
computer security, quantum computing, and domain-specific languages.
I got my Ph.D. from the University of Pennsylvania in 2018, where I
worked with Steve Zdancewic.
Publications
- A HoTT Quantum Equational Theory
Jennifer Paykin and Steve Zdancewic
Quantum Physics and Logic, Chapman University, June 2019
[long version]
- ReQWIRE: Reasoning about Reversible Quantum Circuits
Robert Rand, Jennifer Paykin, Dong-Ho Lee, and Steve
Zdancewic
Quantum Physics and Logic, Halifax, Canada, June 2018
[pdf]
- The Linearity Monad
Jennifer Paykin and Steve Zdancewic
Proceedings of the 10th ACM SIGPLAN
International Haskell Symposium, Oxford, UK, September 2017
[pdf]
[bib]
[slides]
- QWIRE Practice: Formal Verification of Quantum Circuits in
Coq
Robert Rand, Jennifer Paykin, and Steve Zdancewic
Quantum Physics and Logic, Nijmegen, Netherlands, July
2017
[pdf]
- QWIRE: A Core Language for Quantum Circuits
Jennifer Paykin, Robert Rand, and Steve Zdancewic
Proceedings of the 44th ACM SIGPLAN Symposium on
Principles of Programming Languages (POPL 2017),
Paris, France, January 2017
[pdf]
[bib]
- Linear λμ 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
- Linear/Non-Linear Types for Embedded Domain-Specific
Languages
Jennifer Paykin
Ph.D. Thesis, University of Pennsyvlania, 2018
[pdf]
- choose your own derivative (Extended Abstract)
Jennifer Paykin, Antal Spector-Zabusky, and Kenneth Foner
Proceedings of the 1st Workshop on Type-Driven Development
(TyDe 2016), Nara, Japan, September 2016
[pdf]
- The Essence of Event-Driven Programming
Jennifer Paykin, Neelakantan R. Krishnaswami, and Steve
Zdancewic
Draft, April 2016
[pdf]
- The many meanings of polarized proof theory
Jennifer Paykin
University of Pennsylvania Written Preliminary
Examination (WPE) II, December 2015
[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
- A HoTT Quantum Equational Theory
University of Maryland, March 8, 2019
[slides]
- Formal Verification of Quantum Programs
Invited talk at Pacific Northwest National Labs, October 26, 2018
- Preaching to the QWIRE: Verified semantics of quantum circuits
Invited talk at QPL/MFPS, June 6, 2018
[slides]
- Curry-Howard for Callbacks
ICFP Student Research Competition, September 4, 2015
First place, graduate category
[slides]
- Logic, Categories, and Graphical User Interfaces
Invited talk at Wesleyan University, April 21, 2015
[slides]
- A Linear/Producer/Consumer Model of Classial Linear Logic
POPL student poster session, January 24, 2014
[pdf]
Teaching
- CIS 191, Linux and UNIX Skills (Instructor),
University of Pennsylvania, Fall 2016
- GEMS
Computer Science Workshop, Summers 2014-2017
- 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 served on the program committees for ICFP 2019 and TyDe 2017,
and the artifact evaluation committee for POPL 2018.
- I was an organizer
of
CISTErs , a group for phd, postdoc, and faculty
women in engineering at Penn.
- I organized a reading group on category theory at the University
of Pennsylvania in 2015.