Parallel boosted regression trees for web search ranking. - Stephen Tyree; Kilian Q. Weinberger; Kunal Agrawal 001; Jennifer Paykin (WWW, 2011)

Semi-automatic complexity analysis of a higher-order language - Norman Danner; Jennifer Paykin; James S. Royer (CoRR, 2012)

A static cost analysis for a higher-order language. - Norman Danner; Jennifer Paykin; James S. Royer (PLPV, 2013)

A Linear/Producer/Consumer Model of Classical Linear Logic. - Jennifer Paykin; Steve Zdancewic (LINEARITY, 2014)

Linear λμ is CP (more or less). - Jennifer Paykin; Steve Zdancewic (A List of Successes That Can Change the World, 2016)

choose your own derivative (extended abstract). - Jennifer Paykin; Antal Spector-Zabusky; Kenneth Foner (TyDe@ICFP, 2016)

The linearity Monad. - Jennifer Paykin; Steve Zdancewic (Haskell, 2017)

QWIRE: a core language for quantum circuits. - Jennifer Paykin; Robert Rand 001; Steve Zdancewic (POPL, 2017)

QWIRE Practice: Formal Verification of Quantum Circuits in Coq. - Robert Rand 001; Jennifer Paykin; Steve Zdancewic (QPL, 2017)

ReQWIRE: Reasoning about Reversible Quantum Circuits. - Robert Rand 001; Jennifer Paykin; Dong-Ho Lee; Steve Zdancewic (QPL, 2018)

A HoTT Quantum Equational Theory (Extended Version). - Jennifer Paykin; Steve Zdancewic (CoRR, 2019)

Weird Machines as Insecure Compilation. - Jennifer Paykin; Eric Mertens; Mark Tullsen; Luke Maurer; Benoît Razet; Alexander Bakst; Scott Moore 001 (CoRR, 2019)

Formal Verification of Flow Equivalence in Desynchronized Designs. - Jennifer Paykin; Brian Huffman; Daniel M. Zimmerman; Peter A. Beerel (ASYNC, 2020)

PCOAST: A Pauli-Based Quantum Circuit Optimization Framework. - Jennifer Paykin; Albert T. Schmitz; Mohannad Ibrahim; Xin-Chuan Wu; Anne Y. Matsuura (QCE, 2023)

Optimization at the Interface of Unitary and Non-unitary Quantum Operations in PCOAST. - Albert T. Schmitz; Mohannad Ibrahim; Nicolas P. D. Sawaya; Gian Giacomo Guerreschi; Jennifer Paykin; Xin-Chuan Wu; Anne Y. Matsuura (QCE, 2023)

Qudit Quantum Programming with Projective Cliffords. - Jennifer Paykin; Sam Winnick (CoRR, 2024)

Verifying Fault-Tolerance of Quantum Error Correction Codes. - Kean Chen; Yuhao Liu; Wang Fang 001; Jennifer Paykin; Xin-Chuan Wu; Albert T. Schmitz; Steve Zdancewic; Gushu Li (CAV (4), 2025)