
|
|
|
Software
Research papers
The following copyright notice applies to papers published in ACM
conferences and workshops.
Copyright © by the Association for Computing Machinery,
Inc.
Permission to make digital or hard copies of part or all of this work
for personal or classroom use is granted without fee provided that
copies are not made or distributed for profit or commercial advantage
and that copies bear this notice and the full citation on the first
page. Copyrights for components of this work owned by others than ACM
must be honored. Abstracting with credit is permitted. To copy
otherwise, to republish, to post on servers, or to redistribute to
lists, requires prior specific permission and/or a fee. Request
permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481,
or permissions ... acm org.
- Jacques Carette, Roshan P. James, and Amr Sabry. Embracing the Laws of Physics: Three Reversible Models of Computation, 2018.
- Chao-Hong Chen and Amr Sabry. A Classical Analogue to Quantum Entanglement in Two-Dimensional Type Theory, 2018.
- 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, 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
- Andrew J. Hanson, Gerardo Ortiz, Amr Sabry, and Yu-Tsung Tai.
Discrete Quantum Theories. In J. Phys. A:
Math. Theor. 47 (2014) 115305.
arXiv entry (2013)
Slides
(Colloquiumfest, University of Saskatchewan, Canada, 2014.)
Slides
(Workshop on Quantum Information and Foundations of Quantum Mechanics,
University of British Columbia, Vancouver, Canada, 2013.)
- 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
- Andrew J. Hanson, Gerardo Ortiz, Amr Sabry, and Yu-Tsung Tai.
Geometry of Discrete Quantum Computing. J. Phys. A: Math. Theor. 46
(2013) 185301.
arXiv entry (2012,2013)
Journal version (2013)
Corrigendum (2015)
Cover of JPhysA Volume 46 Issue 18 with an image from the paper
- 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
-
- Roshan P. James and Amr Sabry. Yield, the control operator:
exploring session types. In the Continuation Workshop, CW 2011.
PDF slides
- William J. Bowman, Roshan P. James, and Amr Sabry. Dagger Traced
Symmetric Monoidal Categories and Reversible Programming. In the
Workshop on Reversible Computation, RC 2011.
PDF
Code
- Andrew J. Hanson, Gerardo Ortiz, Amr Sabry, and Jeremiah Willcock. The
Power of Discrete Quantum Theories, 2011.
arXiv entry
- Roshan P. James, Gerardo Ortiz, and Amr Sabry. Quantum Computing over
Finite Fields: Reversible Relational Programming with Exclusive
Disjunctions, 2011.
arXiv entry
- Roshan P. James and Amr Sabry. Yield: Mainstream Delimited
Continuations. In the Workshop on the Theory and Practice of
Delimited Continuations, TPDC 2011.
PDF
Code
- Jeremiah Willcock and Amr Sabry. Solving UNIQUE-SAT in a Modal Quantum
Theory, 2011.
arXiv entry
- Ronald Garcia, Andrew Lumsdaine, and Amr Sabry. Lazy Evaluation and
Delimited Control. Logical Methods in Computer Science, Volume
6, Number 3, 2010.
- Juliana
K. Vizzotto, Giovani Rubert Librelotto, and Amr Sabry. Reasoning about
General Quantum Programs over Mixed States. In the Brazilian Symposium
on Formal Methods, SBMF 2009.
- Juliana
K. Vizzotto, André Rauber Du Bois, and Amr Sabry. The Arrow Calculus as
a Quantum Programming Language. In the Workshop on Logic, Language,
Information and Computation, 2009.
arXiv entry
-
- Amr
Sabry. Side Effects. In the Encyclopedia of Computer
Science and Computer Engineering, 2008.
PDF
- Larisse D. Voufo,
Gerardo Ortiz, and
Amr Sabry.
Quantum Circuits: From a Network to a One-Way Model. In DCM-QPL,
2008.
Tutorial version appears as
Technical Report 665, Computer Science
Department, Indiana University, 2008.
- Zena M. Ariola and
Hugo Herbelin and
Amr Sabry.
A Type-Theoretic Foundation of Delimited Continuations. Higher Order and
Symbolic Computation, ISSN 1388-3690 (Print) 1573-0557 (Online), October
2007.
Postscript
PDF
- Juliana K. Vizzotto,
Antônio Carlos da Rocha Costa, and
Amr Sabry.
Structuring General and Complete Quantum Computations in Haskell: The Arrows
Approach. In: XX CTD - Concurso de Teses e Dissertacoes da SBC, Rio de
Janeiro, RS, Brazil, 2007.
-
Haskell code (tar file)
- Juliana K. Vizzotto,
Antônio Carlos da Rocha Costa, and
Amr Sabry.
Quantum Arrows in Haskell. In the Workshop on Quantum Programming
Languages, 2006. Final version in ENTCS.
Postscript
-
- R. Kent Dybvig,
Simon Peyton-Jones, and
Amr Sabry.
A Monadic Framework for Delimited Continuations. J. Functional Programming, volume 17 , issue 6, pages 687-730, November 2007.
Postscript
PDF
Tech. Rep. TR615, Computer Science Department, Indiana University, June 2005.
Gzipped tar file with the code
- Juliana K. Vizzotto,
Thorsten Altenkirch and
Amr Sabry.
Structuring Quantum Effects: Superoperators as Arrows. Mathematical Structures in Computer Science, 16(3), Jan. 2006.
Postscript
PDF
arXiv entry
Slides (Postscript,
PDF)
- Thorsten Altenkirch,
Jonathan Grattage,
Juliana K. Vizzotto, and
Amr Sabry.
An Algebra of Pure Quantum Programming. In the Workshop on Quantum Programming
Languages, 2005.
Postscript
PDF
arXiv entry
Final version in the Electronic Notes in Theoretical Computer Science, vol. 170, pp. 23-47, 2007:
PDF
-
- Zena M. Ariola,
Hugo Herbelin, and
Amr Sabry.
A Proof-Theoretic Foundation of Abortive Continuations. Higher-Order and
Symbolic Computation, volume 20, number 4, pages 403-429, December 2007.
Postscript
PDF
Extended version:
Technical Report TR608, Computer Science Department, Indiana University, 2005.
(Postscript,
PDF)
- 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
-
Slides in
Active DVI format.
Slides in PDF (but missing special effects)
- Eugenio Moggi and
Amr Sabry.
An Abstract Monadic Semantics for Value Recursion. In
Theoretical Informatics and Applications, Volume 38, Number 4,
October-December 2004.
Postscript
PDF
-
-
PDF
(Brazilian Portuguese translation by Antônio Carlos da Rocha Costa)
Slides
- Eugenio Moggi and
Amr Sabry.
An Abstract Monadic Semantics for Value Recursion.
Proceeding of the 2003 Workshop on Fixed Points in Computer Science (FICS),
April 2003.
Postscript
PDF
- Daniel P. Friedman and
Amr Sabry.
CPS in Little Pieces: Composing Partial
Continuations. Final version appears as a Theoretical Pearl in
J. of Functional Programming volume 12, number 6, pages
617-622, November 2002. Copyright © 2002 Cambridge University
Press.
Postscript
-
- Eugenio Moggi and
Amr Sabry.
Monadic Encapsulation of Effects: A Revised Approach
(Extended Version). Final version appears in J. of Functional
Programming, volume 11, number 6, pages 591-627, November
2001. Copyright © 2001 Cambridge University Press.
Postscript
- 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
- Daniel P. Friedman and
Amr Sabry.
Recursion is a Computational Effect.
Tech. Rep. TR546, Computer Science Department, Indiana University, December
2000.
Postscript
PDF
- Amr Sabry (ed.).
Proceedings of the Third ACM SIGPLAN Workshop on Continuations.
Technical Report TR545, Computer Science Department, Indiana University, 2000.
Postscript
PDF
- Matthias Felleisen
and Amr Sabry.
Continuations in Programming Practice: Introduction and Survey.
Draft of August 26, 1999.
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 and
Stephen Fickas.
Java Access Modifiers in Parallel Universes. Tech. Rep. CIS-TR-98-03,
Dept. of Computer and Information Science, University of Oregon, 1998.
Version 1 (Postscript)
Version 1 (PDF)
Version 2 (Postscript)
- Amr Sabry.
A Programming Language Perspective to Compositional Software
Architectures. Position paper in the Workshop on Compositional
Software Architectures, 1998.
HTML
-
- Amr Sabry.
What is a Purely Functional Language? In J. Functional Programming,
8(1), 1-22, Jan. 1998. Copyright © 1998 Cambridge University
Press.
Postscript
- Amr Sabry and
Jan Sparud.
Debugging Reactive Systems in Haskell. In the ACM Haskell Workshop, 1997.
Postscript
-
-
-
TR Postscript
- Amr Sabry.
Note on Axiomatizing the Semantics of Control Operators.
Tech. Rep. CIS-TR-96-03, Dept. of Computer and Information
Science, University of Oregon, 1996.
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
-
TR 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
- Amr Sabry and
Matthias Felleisen.
Reasoning with Continuations III: A Complete Calculus of Control.
Personal Note, 1993.
Postscript
- Amr Sabry and
Matthias Felleisen.
Reasoning about Programs in Continuation-Passing Style.
In Lisp and Symbolic Computation, 6, 3/4, 289-360, 1993.
Postscript
-
TR Postscript
|
|
|