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
2182011
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
1982017
Qwire practice: Formal verification of quantum circuits in coq
R Rand, J Paykin, S Zdancewic
arXiv preprint arXiv:1803.00699, 2018
922018
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
492018
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
452013
The Linearity Monad
J Paykin, S Zdancewic
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 117-132, 2017
222017
PCOAST: a Pauli-based quantum circuit optimization framework
J Paykin, AT Schmitz, M Ibrahim, XC Wu, AY Matsuura
2023 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2023
132023
Linear/non-linear types for embedded domain-specific languages
J Paykin
University of Pennsylvania, 2018
102018
A linear/producer/consumer model of classical linear logic
J Paykin, S Zdancewic
Mathematical Structures in Computer Science, 1-26, 2016
102016
The essence of event-driven programming
J Paykin, NR Krishnaswami, S Zdancewic
Philadelphia, USA, 1-16, 2016
92016
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
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, ...
2023 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2023
62023
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, ...
APS March Meeting Abstracts 2023, RR08. 005, 2023
62023
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
62019
Linear λµ is CP (more or less)
J Paykin, S Zdancewic
A List of Successes That Can Change The World 9600, 273-291, 0
5*
A HoTT Quantum Equational Theory (Extended Version)
J Paykin, S Zdancewic
arXiv preprint arXiv:1904.04371, 2019
42019
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
Condensed Encodings of Projective Clifford Operations in Arbitrary Dimension
S Winnick, J Paykin
arXiv preprint arXiv:2407.16861, 2024
12024
The system can't perform the operation now. Try again later.
Articles 1–20