Jennifer Paykin

Orcid: 0009-0008-9502-3219

According to our database1, Jennifer Paykin authored at least 16 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Qudit Quantum Programming with Projective Cliffords.
CoRR, 2024

2023
Optimization at the Interface of Unitary and Non-unitary Quantum Operations in PCOAST.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

PCOAST: A Pauli-Based Quantum Circuit Optimization Framework.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2020
Formal Verification of Flow Equivalence in Desynchronized Designs.
Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020

2019
Weird Machines as Insecure Compilation.
CoRR, 2019

A HoTT Quantum Equational Theory (Extended Version).
CoRR, 2019

2018
ReQWIRE: Reasoning about Reversible Quantum Circuits.
Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017
QWIRE Practice: Formal Verification of Quantum Circuits in Coq.
Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

QWIRE: a core language for quantum circuits.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

The linearity Monad.
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016
choose your own derivative (extended abstract).
Proceedings of the 1st International Workshop on Type-Driven Development, 2016

Linear λμ is CP (more or less).
Proceedings of the A List of Successes That Can Change the World, 2016

2014
A Linear/Producer/Consumer Model of Classical Linear Logic.
Proceedings of the Proceedings Third International Workshop on Linearity, 2014

2013
A static cost analysis for a higher-order language.
Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2012
Semi-automatic complexity analysis of a higher-order language
CoRR, 2012

2011
Parallel boosted regression trees for web search ranking.
Proceedings of the 20th International Conference on World Wide Web, 2011


  Loading...