| 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 | 235 | 2017 |
| 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 | 224 | 2011 |
| QWIRE practice: Formal verification of quantum circuits in Coq R Rand, J Paykin, S Zdancewic arXiv preprint arXiv:1803.00699, 2018 | 106 | 2018 |
| 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 | 58 | 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 | 46 | 2013 |
| 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 | 28 | 2023 |
| The Linearity Monad J Paykin, S Zdancewic Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 117-132, 2017 | 21 | 2017 |
| Linear/non-linear types for embedded domain-specific languages J Paykin University of Pennsylvania, 2018 | 14 | 2018 |
| The essence of event-driven programming J Paykin, NR Krishnaswami, S Zdancewic Philadelphia, USA, 1-16, 2016 | 12 | 2016 |
| 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 | 9 | 2018 |
| 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 68, 2023 | 8 | 2023 |
| 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 | 8 | 2019 |
| 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 | 8 | 2017 |
| The essence of event-driven programming, 2016 J Paykin, NR Krishnaswami, S Zdancewic Unpublished Draft. URL: https://www. cl. cam. ac. uk/~ nk480/essence-of …, 2016 | 7 | 2016 |
| 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 | 6 | 2023 |
| Verifying fault-tolerance of quantum error correction codes K Chen, Y Liu, W Fang, J Paykin, XC Wu, A Schmitz, S Zdancewic, G Li International Conference on Computer Aided Verification, 3-27, 2025 | 5 | 2025 |
| 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 | 4 | 2019 |
| 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 |
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
