Recent publications
Article
Hermida, C, Reddy, US & Robinson, EP 2014, 'Logical relations and parametricity - A Reynolds Programme for category theory and programming languages dedicated to the memory of John C. Reynolds, 1935-2013: in Proceedings of the Workshop on Algebra, Coalgebra and Topology (WACT 2013)', Electronic Notes in Theoretical Computer Science, vol. 303, pp. 149-180. https://doi.org/10.1016/j.entcs.2014.02.008
Brookes, S, O'Hearn, PW & Reddy, U 2014, 'The Essence of Reynolds', Formal Aspects of Computing, vol. 26, no. 3, pp. 435-439. https://doi.org/10.1007/s00165-014-0295-x
Kapoor, K, Lodaya, K & Reddy, U 2011, 'Fine-grained Concurrency with Separation Logic', Journal of Philosophical Logic, vol. 40, no. 5, pp. 583-632. https://doi.org/10.1007/s10992-011-9195-1
Reddy, U & Yang, H 2004, 'Correctness of data representations involving heap data structures', Science of Computer Programming, vol. 50, no. 1-3, pp. 129-160. https://doi.org/10.1016/j.scico.2004.01.007
Berdine, J, O'Hearn, PW, Reddy, U & Thielecke, H 2002, 'Linear continuation passing', Higher-Order and Symbolic Computation, vol. 15, no. 2/3, pp. 181-208. https://doi.org/10.1023/A:1020891112409
Reddy, U 2002, 'Objects and Classes in Algol-like Languages', Information and Computation, vol. 172, no. 1, pp. 63-97. https://doi.org/10.1006/inco.2001.2927
Conference contribution
Brookes, S, O'Hearn, PW & Reddy, U 2014, The Essence of Reynolds. in Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery , pp. 251-255, 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United States, 22/01/14. https://doi.org/10.1145/2535838.2537851
Reddy, U & Dunphy, BP 2012, An Automata-Theoretic Model of Idealized Algol. in A Czumaj, K Mehlhorn, A Pitts & R Wattenhofer (eds), Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Lecture Notes in Computer Science, vol. 7392, Springer, pp. 337-350. https://doi.org/10.1007/978-3-642-31585-5_32
Paper
Reddy, U 2013, 'Automata-Theoretic Semantics of Idealized Algol with Passive Expressions', Paper presented at 29th Conference on Mathematical Foundations of Programming Semantics (MFPS XXIX), New Orelans, United States, 23/06/13 - 25/06/13 pp. 325-348. https://doi.org/10.1016/j.entcs.2013.09.020
Reddy, U & Reynolds, JC 2012, 'Syntactic Control of Interference for Separation Logic', Paper presented at POPL '12 -The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Philadelphia, United States, 25/01/12 - 27/01/12 pp. 323-336. https://doi.org/10.1145/2103621.2103695
Reddy, U & Dunphy, BP 2011, 'An Automata-Theoretic Model of Objects', Paper presented at 2011 International Workshop on Foundations of Object-Oriented Languages, 23/10/11. <http://www.disi.unige.it/person/ZuccaE/FOOL2011/paper6.pdf>
Dunphy, BP & Reddy, U 2004, 'Parametric limits', Paper presented at Nineteenth Annual IEEE Symposium on Logic in Computer Science, 1/01/04 pp. 242-253. https://doi.org/10.1109/LICS.2004.1319618
Reddy, U & Yang, H 2003, 'Correctness of Data Representations Involving Heap Data Structures', Paper presented at Programming Languages and Systems: 12th European Symposium on Programming, 1/01/03 pp. 223-237.
Working paper
Reddy, U, Thielecke, H, Berdine, J, O'Hearn, PW & Sabry, A 2001 'Proceedings of the 3rd ACM Sigplan Workshop on Continuations: Linearly used continuations'.
View all publications in research portal