| Parallel generational-copying garbage collection with a block-structured heap S Marlow, T Harris, RP James, S Peyton Jones Proceedings of the 7th international symposium on Memory management, 11-20, 2008 | 94 | 2008 |
| Information effects RP James, A Sabry ACM SIGPLAN Notices 47 (1), 73-84, 2012 | 77 | 2012 |
| Isomorphic Interpreters from Logically Reversible Abstract Machines RP James, A Sabry Reversible Computation, 2012 | 35 | 2012 |
| Dagger Traced Symmetric Monoidal Categories and Reversible Programming WJ Bowman, RP James, A Sabry Workshop on Reversible Computation, 2011 | 34 | 2011 |
| Theseus: A high level language for reversible computing RP James, A Sabry Work-in-progress report in the Conference on Reversible Computation, 2014 | 24 | 2014 |
| Yield: Mainstream Delimited Continuations RP James, A Sabry Workshop on the Theory and Practice of Delimited Continuations, TPDC, 2011 | 23 | 2011 |
| Theseus: A high level language for reversible computing, 2014. Work-in-progress report at RC 2014 RP James, A Sabry | 10 | |
| Quantum Computing over Finite Fields: Reversible Relational Programming with Exclusive Disjunctions RP James, G Ortiz, A Sabry | 9* | 2011 |
| Theseus: a high level language for reversible computing, work-in-progress report at RC (2014) RP James, A Sabry | 8 | 2014 |
| Theseus: a high-level language for reversible computation RP James, A Sabry Reversible Computation, 2014 | 8 | 2014 |
| Embracing the Laws of Physics: Three Reversible Models of Computation J Carette, RP James, A Sabry arXiv preprint arXiv:1811.03678, 2018 | 4 | 2018 |
| The Computational Content of Isomorphisms RP James Indiana University, 2013 | 3 | 2013 |
| The Two Dualities of Computation: Negative and Fractional Types RP James, A Sabry Submitted to ICFP 2012 (Unpublished), 2012 | 3 | 2012 |
| Fractional types RP James, Z Sparks, J Carette, A Sabry Submitted for publication, 2013 | 2 | 2013 |
| Embracing the Laws of Physics (Full Presentation) RP James, A Sabry Off the Beaten Track, 2012 | | 2012 |
| Programming with Isomorphisms RP James | | 2011 |
| Initial investigations into relating Logical and Computational Calculi R James | | 2006 |
| The Little Machines R James | | 2006 |
Amr SabryProfessor of Computer Science, Indiana UniversityAdresse e-mail validée de indiana.edu
