| 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 | 208 | 2011 |
| 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 | 182 | 2017 |
| Qwire practice: Formal verification of quantum circuits in coq R Rand, J Paykin, S Zdancewic arXiv preprint arXiv:1803.00699, 2018 | 87 | 2018 |
| 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 | 44 | 2013 |
| 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 | 40 | 2018 |
| The Linearity Monad J Paykin, S Zdancewic Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 117-132, 2017 | 20 | 2017 |
| Linear/non-linear types for embedded domain-specific languages J Paykin University of Pennsylvania, 2018 | 10 | 2018 |
| A linear/producer/consumer model of classical linear logic J Paykin, S Zdancewic Mathematical Structures in Computer Science, 1-26, 2016 | 10 | 2016 |
| Phantom Types for Quantum Programs R Rand, J Paykin, S Zdancewic The Fourth International Workshop on Coq for Programming Languages, 2018 | 8 | 2018 |
| 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 | 7 | 2023 |
| 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 | 7 | 2017 |
| The essence of event-driven programming J Paykin, NR Krishnaswami, S Zdancewic Philadelphia, USA, 1-16, 2016 | 7 | 2016 |
| 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 | 6 | 2019 |
| 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 | 5 | 2023 |
| 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 | 5 | 2023 |
| 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 | 3 | 2019 |
| A linear/producer/consumer model of classical linear logic J Paykin, S Zdancewic Mathematical Structures in Computer Science 28 (5), 710-735, 2018 | 3 | 2018 |
| 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 | 2 | 2020 |
| A Functional Approach to the Modular Construction of Quantum Logic: Part II A Schmitz APS March Meeting Abstracts 2023, RR08. 008, 2023 | 1 | 2023 |
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
