Vikraman Choudhury, Jacek Karwowski, and Amr Sabry. Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages. POPL 2022 PDF
Debadrita Saha, Srinivasan S. Iyengar, Philip Richerme, Jeremy M. Smith, and Amr Sabry. Mapping Quantum Chemical Dynamics Problems to Spin-Lattice Simulators. J. Chem. Theory Comput.2021, 17, 11, 6713–6732
Chao-Hong Chen and Amr Sabry. A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types. POPL 2021 PDF Errata
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry, Fractional Types: Expressive and Safe Management for Ancilla Bits. RC 2020.
Jacques Carette, Roshan P. James, and Amr Sabry. Embracing the Laws of Physics: Three Reversible Models of Computation, 2018.
Final version appears in Advances in Computers, Elsevier, 2022
Ruiyu Zhu, Darion Cassel, Amr Sabry, and Yan Huang. nanoPi: Extreme-Scale Actively-Secure Multi-Party Computation: Resolving the space-round dilemma using lightweight program instrumentation, CCS 2018.
Christian Hutslar, Jacques Carette, and Amr Sabry. A Library of Reversible Circuit Transformations. Work-in-progress report in the Conference on Reversible Computation, 2018. PDF
Cameron Swords, Amr Sabry, and Sam Tobin-Hochstadt. An Extended Account of Contract Monitoring Strategies as Patterns of Communication. JFP, 2018. PDF Open access JFP version
Amr Sabry, Benoît Valiron, and Juliana Kaizer Vizzotto, From Symmetric Pattern-Matching to Quantum Control, FoSSaCS 2018. PDF arXiv (extended version)
Yu-Tsung Tai, Andrew J. Hanson, Gerardo Ortiz, and Amr Sabry, Quantum Interval-Valued Probability: Contextuality and the Born Rule, Physical Review A, Vol. 97. No. 5, 2018. Journal version (2018) arXiv entry (2017)
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Robert Rose, and Amr Sabry, From Reversible Programs to Univalent Universes and Back, Invited talk and paper, MFPS 2017. ENTCS version
Amr Sabry, Embracing the Laws of Physics, Invited talk at MECO 2017.
Hamidreza Bahramian, Narges Nematollahi, and Amr Sabry, Copredication in Homotopy Type Theory: A homotopical approach to formal semantics of natural languages. Fourth Workshop on Natural Language and Computer Science, NLCS ’16 .
Jacques Carette and Amr Sabry, Computing with Semirings and Weak Rig Groupoids. In the European Symposium on Programming, ESOP 2016. PDF
Cameron Swords, Amr Sabry, and Sam Tobin-Hochstadt. Contract Monitoring Semantics as Patterns of Communication. In the International Conference on Functional Programming, ICFP 2015. PDF
Geoffrey Brown and Amr Sabry. Reversible Communicating Processes. In the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2015. PDF
Zachary Sparks and Amr Sabry. Superstructural Reversible Logic. In the 3rd International Workshop on Linearity, 2014. PDF
Roshan P. James and Amr Sabry. Theseus: A High Level Language for Reversible Computing. Work-in-progress report in the Conference on Reversible Computation, 2014. PDF
Oleg Kiselyov, Amr Sabry, and Cameron Swords. Extensible Effects: An Alternative to Monad Transformers. In the Haskell Symposium, 2013. PDF
Doaa Hassan and Amr Sabry. Encoding Secure Information Flow with Restricted Delegation and Revocation in Haskell. In the Workshop on Functional Programming Concepts in Domain-Specific Languages, 2013. PDF
Oleg Kiselyov, Simon Peyton-Jones, and Amr Sabry. Lazy v. Yield: Incremental, Linear Pretty-printing. In the Asian Symposium on Programming Languages and Systems, APLAS 2012. PDF Clojure port by Brandon Bloom
Roshan P. James and Amr Sabry. Isomorphic Interpreters from Logically Reversible Abstract Machines. In the Workshop on Reversible Computation, RC 2012. PDF
Roshan P. James and Amr Sabry. Embracing the Laws of Physics. In the Off the Beaten Track workshop, OBT 2012. PDF PDF slides
Aaron Bohannon, Zena M. Ariola, and Amr Sabry. A Typed Calculus Supporting Shallow Embeddings of Abstract Machines. In the APPSEM-II Workshop on the Krivine and ZINC Abstract Machines (KAZAM), 2005. PDF
Yong Xiao, Amr Sabry, and Zena M. Ariola. From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition. Final version appears in Higher-Order and Symbolic Computation, volume 14, number 4, pages 387-409, December 2001. Postscript
John Fiskio-Lasseter and Amr Sabry. Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog. In the Third International Workshop on Higher Order Operational Techniques in Semantics, 1999. Postscript
Amr Sabry. Declarative Programming Across the Undergraduate Curriculum. In the Workshop on Functional and Declarative Programming in Education, 1999. FDPE Postscript
Amr Sabry. The Formal Relationship between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms. Tech. Rep. TR94-241, Dept. of Computer Science, Rice University, 1994. Postscript
Amr Sabry and John Field. Reasoning about Explicit and Implicit Representations of State. In the ACM SIGPLAN Workshop on State in Programming Languages, 17-30. Tech. Rep. YALEU/DCS/RR-968, Dept. of Computer Science, Yale University, 1993. Postscript