Uday Reddy
Publications
- 2014
- Published
The Essence of Reynolds
Uday Reddy, 1 May 2014, In: Formal Aspects of Computing. 26, 3, p. 435-439Research output: Contribution to journal › Article › peer-review
- Published
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)
Uday Reddy, 28 Mar 2014, In: Electronic Notes in Theoretical Computer Science. 303, p. 149-180 32 p.Research output: Contribution to journal › Article › peer-review
- Published
The Essence of Reynolds
Uday Reddy, 11 Jan 2014, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery , p. 251-255 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- 2013
- Published
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
Uday Reddy, 4 Nov 2013, p. 325-348. 24 p.Research output: Contribution to conference (unpublished) › Paper › peer-review
- 2012
- Published
Syntactic Control of Interference for Separation Logic
Uday Reddy, 1 Jan 2012, p. 323-336. 14 p.Research output: Contribution to conference (unpublished) › Paper
- Published
An Automata-Theoretic Model of Idealized Algol
Uday Reddy, 2012, Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Czumaj, A., Mehlhorn, K., Pitts, A. & Wattenhofer, R. (eds.). Springer, p. 337-350 (Lecture Notes in Computer Science; vol. 7392).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- 2011
- Published
An Automata-Theoretic Model of Objects
Uday Reddy, 23 Oct 2011. 15 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Fine-grained Concurrency with Separation Logic
Uday Reddy, 1 Oct 2011, In: Journal of Philosophical Logic. 40, 5, p. 583-632 50 p.Research output: Contribution to journal › Article
- 2004
- Published
Correctness of data representations involving heap data structures
Uday Reddy, 1 Jan 2004, In: Science of Computer Programming. 50, 1-3, p. 129-160 32 p.Research output: Contribution to journal › Article › peer-review
- Published
Parametric limits
Uday Reddy, 1 Jan 2004, p. 242-253. 12 p.Research output: Contribution to conference (unpublished) › Paper › peer-review