Professor Uday Reddy

Professor Uday Reddy

School of Computer Science
Professor of Computer Science

Contact details

Address
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

Uday Reddy is a Professor of Computer Science and a member of the Theory group, at the University of Birmingham. For more information please see Uday's homepage.

Publications

Recent publications

Article

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

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

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

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

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

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

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