Jennifer Paykin

20 papers A* 2C 1Misc 2Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Qudit Quantum Programming with Projective Cliffords.
Proc. ACM Program. Lang.
Jennifer Paykin, Sam Winnick
2025 — conf
Verifying Fault-Tolerance of Quantum Error Correction Codes.
CAV (4)
Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert T. Schmitz, Steve Zdancewic, Gushu Li
2024 J jnl
Qudit Quantum Programming with Projective Cliffords.
CoRR
Jennifer Paykin, Sam Winnick
2023 Misc conf
Optimization at the Interface of Unitary and Non-unitary Quantum Operations in PCOAST.
QCE
Albert T. Schmitz, Mohannad Ibrahim, Nicolas P. D. Sawaya, Gian Giacomo Guerreschi, Jennifer Paykin, Xin-Chuan Wu, Anne Y. Matsuura
2023 Misc conf
PCOAST: A Pauli-Based Quantum Circuit Optimization Framework.
QCE
Jennifer Paykin, Albert T. Schmitz, Mohannad Ibrahim, Xin-Chuan Wu, Anne Y. Matsuura
2020 — conf
Formal Verification of Flow Equivalence in Desynchronized Designs.
ASYNC
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
2020 J jnl
Formal Verification of Flow Equivalence in Desynchronized Designs.
CoRR
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
2019 J jnl
A HoTT Quantum Equational Theory (Extended Version).
CoRR
Jennifer Paykin, Steve Zdancewic
2019 J jnl
Weird Machines as Insecure Compilation.
CoRR
Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore
2018 J jnl
A linear/producer/consumer model of classical linear logic.
Math. Struct. Comput. Sci.
Jennifer Paykin, Steve Zdancewic
2018 — conf
ReQWIRE: Reasoning about Reversible Quantum Circuits.
QPL
Robert Rand, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic
2017 — conf
QWIRE Practice: Formal Verification of Quantum Circuits in Coq.
QPL
Robert Rand, Jennifer Paykin, Steve Zdancewic
2017 A* conf
QWIRE: a core language for quantum circuits.
POPL
Jennifer Paykin, Robert Rand, Steve Zdancewic
2017 C conf
The linearity Monad.
Haskell
Jennifer Paykin, Steve Zdancewic
2016 — conf
Linear λμ is CP (more or less).
A List of Successes That Can Change the World
Jennifer Paykin, Steve Zdancewic
2016 — conf
choose your own derivative (extended abstract).
TyDe@ICFP
Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner
2014 — conf
A Linear/Producer/Consumer Model of Classical Linear Logic.
LINEARITY
Jennifer Paykin, Steve Zdancewic
2013 — conf
A static cost analysis for a higher-order language.
PLPV
Norman Danner, Jennifer Paykin, James S. Royer
2012 J jnl
Semi-automatic complexity analysis of a higher-order language
CoRR
Norman Danner, Jennifer Paykin, James S. Royer
2011 A* conf
Parallel boosted regression trees for web search ranking.
WWW
Stephen Tyree, Kilian Q. Weinberger, Kunal Agrawal, Jennifer Paykin