Jennifer Paykin

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 14

Top Topics

Quantum Computing

Reconstruction From Multiple Views

Formal Verification

Extended Abstract

Top Venues

Math. Struct. Comput. Sci.

Publications

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