Amr Sabry

According to our database, Amr Sabry authored at least 59 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

With a Few Square Roots, Quantum Computing Is as Easy as Pi.

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

Proc. ACM Program. Lang., January, 2024

2023

With a Few Square Roots, Quantum Computing is as Easy as Π.

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

CoRR, 2023

The Quantum Effect: A Recipe for QuantumPi.

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

CoRR, 2023

Symbolic Execution of Hadamard-Toffoli Quantum Circuits.

Jacques Carette, Gerardo Ortiz, Amr Sabry

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2023

2022

Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages.

Vikraman Choudhury, Jacek Karwowski, Amr Sabry

Proc. ACM Program. Lang., 2022

Retrodictive Quantum Computing.

Jacques Carette, Gerardo Ortiz, Amr Sabry

CoRR, 2022

Chapter Two - Embracing the laws of physics: Three reversible models of computation.

Jacques Carette, Roshan P. James, Amr Sabry

Adv. Comput., 2022

2021

A computational interpretation of compact closed categories: reversible programming with negative and fractional types.

Chao-Hong Chen, Amr Sabry

Proc. ACM Program. Lang., 2021

Not by equations alone: Reasoning with extensible effects.

Oleg Kiselyov, Shin-Cheng Mu, Amr Sabry

J. Funct. Program., 2021

2020

Fractional Types - Expressive and Safe Space Management for Ancilla Bits.

Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry

Proceedings of the Reversible Computation - 12th International Conference, 2020

2018

An extended account of contract monitoring strategies as patterns of communication.

Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt

J. Funct. Program., 2018

From Reversible Programs to Univalent Universes and Back.

Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Embracing the Laws of Physics: Three Reversible Models of Computation.

Jacques Carette, Roshan P. James, Amr Sabry

CoRR, 2018

From Symmetric Pattern-Matching to Quantum Control (Extended Version).

Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto

CoRR, 2018

A Library of Reversible Circuit Transformations (Work in Progress).

Christian Hutslar, Jacques Carette, Amr Sabry

Proceedings of the Reversible Computation - 10th International Conference, 2018

From Symmetric Pattern-Matching to Quantum Control.

Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto

Proceedings of the Foundations of Software Science and Computation Structures, 2018

NANOPI: Extreme-Scale Actively-Secure Multi-Party Computation.

Ruiyu Zhu, Darion Cassel, Amr Sabry, Yan Huang

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Embracing the laws of Physics in the foundations of computation.

Amr Sabry

Proceedings of the 6th Mediterranean Conference on Embedded Computing, 2017

2016

Computing with Semirings and Weak Rig Groupoids.

Jacques Carette, Amr Sabry

Proceedings of the Programming Languages and Systems, 2016

2015

Reversible Communicating Processes.

Geoffrey Brown, Amr Sabry

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Expressing contract monitors as patterns of communication.

Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2013

Encoding secure information flow with restricted delegation and revocation in Haskell.

Doaa Hassan, Amr Sabry

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Extensible effects: an alternative to monad transformers.

Oleg Kiselyov, Amr Sabry, Cameron Swords

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Isomorphic Interpreters from Logically Reversible Abstract Machines.

Roshan P. James, Amr Sabry

Proceedings of the Reversible Computation, 4th International Workshop, 2012

Information effects.

Roshan P. James, Amr Sabry

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Lazy v. Yield: Incremental, Linear Pretty-Printing.

Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2010

Lazy Evaluation and Delimited Control

Ronald Garcia, Andrew Lumsdaine, Amr Sabry

Log. Methods Comput. Sci., 2010

2009

Sequent calculi and abstract machines.

Zena M. Ariola, Aaron Bohannon, Amr Sabry

ACM Trans. Program. Lang. Syst., 2009

A type-theoretic foundation of delimited continuations.

Zena M. Ariola, Hugo Herbelin, Amr Sabry

High. Order Symb. Comput., 2009

The Arrow Calculus as a Quantum Programming Language.

Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry

Proceedings of the Logic, 2009

Reasoning about General Quantum Programs over Mixed States.

Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

Side Effects.

Amr Sabry

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2007

A proof-theoretic foundation of abortive continuations.

Zena M. Ariola, Hugo Herbelin, Amr Sabry

High. Order Symb. Comput., 2007

A monadic framework for delimited continuations.

R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry

J. Funct. Program., 2007

2006

Structuring quantum effects: superoperators as arrows.

Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry

Math. Struct. Comput. Sci., 2006

Quantum Arrows in Haskell.

Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

Delimited dynamic binding.

Oleg Kiselyov, Chung-chieh Shan, Amr Sabry

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

An Algebra of Pure Quantum Programming.

Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Backtracking, interleaving, and terminating monad transformers: (functional pearl).

Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

An abstract monadic semantics for value recursion.

Eugenio Moggi, Amr Sabry

RAIRO Theor. Informatics Appl., 2004

A type-theoretic foundation of continuations and prompts.

Zena M. Ariola, Hugo Herbelin, Amr Sabry

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2003

Modeling quantum computing in Haskell.

Amr Sabry

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

2002

Editorial.

Olivier Danvy, Amr Sabry

High. Order Symb. Comput., 2002

CPS in little pieces: composing partial continuations.

Daniel P. Friedman, Amr Sabry

J. Funct. Program., 2002

2001

From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition.

Yong Xiao, Amr Sabry, Zena M. Ariola

High. Order Symb. Comput., 2001

Monadic encapsulation of effects: a revised approach (extended version).

Eugenio Moggi, Amr Sabry

J. Funct. Program., 2001

Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.

Steven E. Ganz, Amr Sabry, Walid Taha

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

1999

Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog.

John Howard Eli Fiskio-Lasseter, Amr Sabry

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999

Monadic Encapsulation in ML.

Miley Semmelroth, Amr Sabry

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1998

What is a Purely Functional Language?

Amr Sabry

J. Funct. Program., 1998

1997

A Reflection on Call-by-Value.

Amr Sabry, Philip Wadler

ACM Trans. Program. Lang. Syst., 1997

Correctness of Monadic State: An Imperative Call-by-Need Calculus.

Zena M. Ariola, Amr Sabry

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Monadic State: Axiomatization and Type Safety.

John Launchbury, Amr Sabry

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

Proving the Correctness of Reactive Systems Using Sized Types.

John Hughes, Lars Pareto, Amr Sabry

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1994

Is Continuation-Passing Useful for Data Flow Analysis?

Amr Sabry, Matthias Felleisen

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

The formal relationship between direct and continuation-passing style optimizing compilers - a synthesis of two paradigms.

Amr Sabry

PhD thesis, 1994

1993

Reasoning about Programs in Continuation-Passing Style.

Amr Sabry, Matthias Felleisen

LISP Symb. Comput., 1993

The essence of compiling with continuations (with retrospective)

Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1993

The Essence of Compiling with Continuations.

Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993