Jennifer Paykin

According to our database, Jennifer Paykin authored at least 15 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

PCOAST: A Pauli-Based Quantum Circuit Optimization Framework.

Jennifer Paykin, Albert T. Schmitz, Mohannad Ibrahim, Xin-Chuan Wu, Anne Y. Matsuura

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2020

Formal Verification of Flow Equivalence in Desynchronized Designs.

Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel

Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020

2019

Weird Machines as Insecure Compilation.

Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore

CoRR, 2019

A HoTT Quantum Equational Theory (Extended Version).

Jennifer Paykin, Steve Zdancewic

CoRR, 2019

2018

A linear/producer/consumer model of classical linear logic.

Jennifer Paykin, Steve Zdancewic

Math. Struct. Comput. Sci., 2018

ReQWIRE: Reasoning about Reversible Quantum Circuits.

Robert Rand, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017

QWIRE Practice: Formal Verification of Quantum Circuits in Coq.

Robert Rand, Jennifer Paykin, Steve Zdancewic

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

QWIRE: a core language for quantum circuits.

Jennifer Paykin, Robert Rand, Steve Zdancewic

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

The linearity Monad.

Jennifer Paykin, Steve Zdancewic

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

choose your own derivative (extended abstract).

Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

Linear λμ is CP (more or less).

Jennifer Paykin, Steve Zdancewic

Proceedings of the A List of Successes That Can Change the World, 2016

2013

A static cost analysis for a higher-order language.

Norman Danner, Jennifer Paykin, James S. Royer

Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2012

Semi-automatic complexity analysis of a higher-order language

Norman Danner, Jennifer Paykin, James S. Royer

CoRR, 2012

2011

Parallel boosted regression trees for web search ranking.

Stephen Tyree, Kilian Q. Weinberger, Kunal Agrawal, Jennifer Paykin

Proceedings of the 20th International Conference on World Wide Web, 2011