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 | 205 | 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 | 173 | 2017 |

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

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

A linear/producer/consumer model of classical linear logic J Paykin, S Zdancewic Mathematical Structures in Computer Science, 1-26, 2016 | 10 | 2016 |

Linear/non-Linear Types For Embedded Domain-Specific Languages J Paykin | 9 | 2018 |

Phantom Types for Quantum Programs R Rand, J Paykin, S Zdancewic The Fourth International Workshop on Coq for Programming Languages, 2018 | 7 | 2018 |

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

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

Linear λµ is CP (more or less) J Paykin, S Zdancewic A List of Successes That Can Change The World 9600, 273-291, 0 | 5* | |

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 | 4 | 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, ... arXiv preprint arXiv:2305.09843, 2023 | 3 | 2023 |

PCOAST: A Pauli-based Quantum Circuit Optimization Framework J Paykin, AT Schmitz, M Ibrahim, XC Wu, AY Matsuura arXiv preprint arXiv:2305.10966, 2023 | 3 | 2023 |

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

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 |

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

A Functional Approach to the Modular Construction of Quantum Logic: Part II A Schmitz Bulletin of the American Physical Society, 2023 | 1 | 2023 |