Recent publications
Article
Hermida, C, Reddy, US & Robinson, EP 2014, '', Electronic Notes in Theoretical Computer Science, vol. 303, pp. 149-180.
Brookes, S, O'Hearn, PW & Reddy, U 2014, '', Formal Aspects of Computing, vol. 26, no. 3, pp. 435-439.
Kapoor, K, Lodaya, K & Reddy, U 2011, '', Journal of Philosophical Logic, vol. 40, no. 5, pp. 583-632.
Reddy, U & Yang, H 2004, '', Science of Computer Programming, vol. 50, no. 1-3, pp. 129-160.
Berdine, J, O'Hearn, PW, Reddy, U & Thielecke, H 2002, '', Higher-Order and Symbolic Computation, vol. 15, no. 2/3, pp. 181-208.
Reddy, U 2002, '', Information and Computation, vol. 172, no. 1, pp. 63-97.
Conference contribution
Brookes, S, O'Hearn, PW & Reddy, U 2014, . 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.
Reddy, U & Dunphy, BP 2012, . 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.
Paper
Reddy, U 2013, '', 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.
Reddy, U & Reynolds, JC 2012, '', 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.
Reddy, U & Dunphy, BP 2011, '', Paper presented at 2011 International Workshop on Foundations of Object-Oriented Languages, 23/10/11. <>
Dunphy, BP & Reddy, U 2004, '', Paper presented at Nineteenth Annual IEEE Symposium on Logic in Computer Science, 1/01/04 pp. 242-253.
Reddy, U & Yang, H 2003, '', 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 ''.