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 | 214 | 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 | 193 | 2017 |

Qwire practice: Formal verification of quantum circuits in coq R Rand, J Paykin, S Zdancewic arXiv preprint arXiv:1803.00699, 2018 | 90 | 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 | 45 | 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 | 45 | 2013 |

The Linearity Monad J Paykin, S Zdancewic Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 117-132, 2017 | 21 | 2017 |

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 | 12 | 2023 |

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 |

The essence of event-driven programming J Paykin, NR Krishnaswami, S Zdancewic Philadelphia, USA, 1-16, 2016 | 8 | 2016 |

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 | 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 |

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 |

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 |

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 |

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 |

Condensed Encodings of Projective Clifford Operations in Arbitrary Dimension S Winnick, J Paykin arXiv preprint arXiv:2407.16861, 2024 | 1 | 2024 |