Follow
Jennifer Paykin
Jennifer Paykin
Intel Labs
Verified email at intel.com - Homepage
Title
Cited by
Cited by
Year
Parallel boosted regression trees for web search ranking
S Tyree, KQ Weinberger, K Agrawal, J Paykin
Proceedings of the 20th international conference on World wide web, 387-396, 2011
2032011
QWIRE: A Core Language for Quantum Circuits
J Paykin, R Rand, S Zdancewic
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
1762017
Qwire practice: Formal verification of quantum circuits in coq
R Rand, J Paykin, S Zdancewic
arXiv preprint arXiv:1803.00699, 2018
872018
A static cost analysis for a higher-order language
N Danner, J Paykin, JS Royer
Proceedings of the 7th workshop on Programming languages meets program …, 2013
432013
ReQWIRE: Reasoning about reversible quantum circuits
R Rand, J Paykin, DH Lee, S Zdancewic
Proceedings of the 15th International Conference on Quantum Physics and …, 2018
372018
The Linearity Monad
J Paykin, S Zdancewic
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 117-132, 2017
202017
Linear/non-Linear Types For Embedded Domain-Specific Languages
J Paykin
102018
A linear/producer/consumer model of classical linear logic
J Paykin, S Zdancewic
Mathematical Structures in Computer Science, 1-26, 2016
102016
Phantom Types for Quantum Programs
R Rand, J Paykin, S Zdancewic
The Fourth International Workshop on Coq for Programming Languages, 2018
82018
Differential Cohesive Type Theory
JA Gross, DR Licata, MS New, J Paykin, M Riley, M Shulman, F Wellen
Extended abstracts for the Workshop “Homotopy Type Theory and Univalent …, 2017
72017
PCOAST: A Pauli-based Quantum Circuit Optimization Framework
J Paykin, AT Schmitz, M Ibrahim, XC Wu, AY Matsuura
arXiv preprint arXiv:2305.10966, 2023
52023
The essence of event-driven programming
J Paykin, NR Krishnaswami, S Zdancewic
Philadelphia, USA, 1-16, 2016
52016
Linear λµ is CP (more or less)
J Paykin, S Zdancewic
A List of Successes That Can Change The World 9600, 273-291, 0
5*
Optimization at the Interface of Unitary and Non-unitary Quantum Operations in PCOAST
AT Schmitz, M Ibrahim, NPD Sawaya, GG Guerreschi, J Paykin, XC Wu, ...
arXiv preprint arXiv:2305.09843, 2023
42023
Intel Quantum SDK Version 1.0: Extended C++ Compiler, Runtime and Quantum Hardware Simulators for Hybrid Quantum-Classical Applications
XC Wu, P Khalate, A Schmitz, S Premaratne, K Rasch, S Daraeizadeh, ...
Bulletin of the American Physical Society, 2023
42023
Weird Machines as Insecure Compilation
J Paykin, E Mertens, M Tullsen, L Maurer, B Razet, A Bakst, S Moore
arXiv preprint arXiv:1911.00157, 2019
42019
A HoTT Quantum Equational Theory (Extended Version)
J Paykin, S Zdancewic
arXiv preprint arXiv:1904.04371, 2019
32019
A linear/producer/consumer model of classical linear logic
J Paykin, S Zdancewic
Mathematical Structures in Computer Science 28 (5), 710-735, 2018
32018
Formal Verification of Flow Equivalence in Desynchronized Designs
J Paykin, B Huffman, DM Zimmerman, PA Beerel
2020 26th IEEE International Symposium on Asynchronous Circuits and Systems …, 2020
22020
A Functional Approach to the Modular Construction of Quantum Logic: Part II
A Schmitz
Bulletin of the American Physical Society, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20