Contact Info
Email: jpaykin (AT) seas (DOT) upenn (DOT) edu
Office: Levine 614
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 classical linear logic
and its applications in linear programming and linear algebra.
Publications
- A Linear/Producer/Consumer model of Classical Linear Logic
Jennifer Paykin and Steve Zdancewic
[Tech Report]
- 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]
- 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