Professor Uday Reddy

School of Computer Science
Professor of Computer Science

Contact details

School of Computer Science
University of Birmingham
B15 2TT

Uday Reddy is a Professor of Computer Science and a member of the Theory of Computation group, at the University of Birmingham.

For more information please see Uday's homepage.


Recent publications


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.

Brookes, S, O'Hearn, PW & Reddy, U 2014, 'The Essence of Reynolds', Formal Aspects of Computing, vol. 26, no. 3, pp. 435-439.

Kapoor, K, Lodaya, K & Reddy, U 2011, 'Fine-grained Concurrency with Separation Logic', Journal of Philosophical Logic, vol. 40, no. 5, pp. 583-632.

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.

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.

Reddy, U 2002, 'Objects and Classes in Algol-like Languages', Information and Computation, vol. 172, no. 1, pp. 63-97.

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.

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.


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.

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.

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. <>

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.

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