Amr Sabry

Indiana University Bloomington — United States

Computer Science · Physical Sciences

27h-index2.9kcitations115works1.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(61), Quantum Computing Algorithms and Architecture(38), Computability, Logic, AI Algorithms(28), Logic, Reasoning, and Knowledge(27), Formal Methods in Verification(25)

Publications115 total

Quantum Simulation Programming via Typing
arXiv (Cornell University)·2025Open Access
A Formalization of Measurement-Commuting Unitaries
2025
A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware
Proceedings of the ACM on Programming Languages·2025Open Access
Scheme Pearl: Quantum Continuations
arXiv (Cornell University)·2024Open Access
Learning Spectral Properties of Boolean Functions: A Unifying Theme in Quantum Algorithms
2024
How to Bake a Quantum Π
Proceedings of the ACM on Programming Languages·2024· 2 citedOpen Access
Development of a Multimodal Framework for Deepfake Detection: Combining Visual and Audio Analysis
Proceedings of the World Congress on Electrical Engineering and Computer Systems and Science·2024· 2 citedOpen Access
With a Few Square Roots, Quantum Computing Is as Easy as Pi
Proceedings of the ACM on Programming Languages·2024· 6 citedOpen Access
Compositional Reversible Computation
Lecture notes in computer science·2024Open Access
With a Few Square Roots, Quantum Computing is as Easy as Π
arXiv (Cornell University)·2023· 1 citedOpen Access
Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics
Journal of Chemical Theory and Computation·2023
Quantum Algorithms for the Study of Electronic Structure and Molecular Dynamics: Novel Computational Protocols
Elsevier eBooks·2023
Quantum Computation of Hydrogen Bond Dynamics and Vibrational Spectra
The Journal of Physical Chemistry Letters·2023· 13 cited
Software for "How to Bake a Quantum Pi"
arXiv (Cornell University)·2023· 1 citedOpen Access
Symbolic Execution of Hadamard-Toffoli Quantum Circuits
2023· 6 citedOpen Access
A Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics
arXiv (Cornell University)·2022Open Access
Retrodictive Quantum Computing
arXiv (Cornell University)·2022Open Access
Retrodictive Quantum Computing
Research Square (Research Square)·2022· 1 citedOpen Access
Quantum Computation of Hydrogen Bond Dynamics and Vibrational Spectra
arXiv (Cornell University)·2022· 1 citedOpen Access
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages
Proceedings of the ACM on Programming Languages·2022· 10 citedOpen Access
page 1 of 6Next →

Frequent Co-authors

Matthias Felleisen(8), Zena M. Ariola(7), Oleg Kiselyov(6), Cormac Flanagan(4), Bruce F. Duba(4), Chung-chieh Shan(4), Juliana Kaizer Vizzotto(4), Hugo Herbelin(4), Simon Peyton Jones(3), Philip Wadler(2), Daniel P. Friedman(2), Cameron Swords(2), Eugenio Moggi(2), Thorsten Altenkirch(2), Roshan P. James(2), Ronald Garcia(2), Andrew Lumsdaine(2), Debadrita Saha(2), Srinivasan S. Iyengar(2), Philip Richerme(2)