Uday Reddy

1 - 10 out of 14Page size: 10

Publications

  1. 2014
  2. Published

    The Essence of Reynolds

    Brookes, S., O'Hearn, P. W. & Uday Reddy, 1 May 2014, In : Formal Aspects of Computing. 26, 3, p. 435-439

    Research output: Contribution to journal › Article

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

    Hermida, C., Uday Reddy & Robinson, E. P., 28 Mar 2014, In : Electronic Notes in Theoretical Computer Science. 303, p. 149-180 32 p.

    Research output: Contribution to journal › Article

  4. Published

    The Essence of Reynolds

    Brookes, S., O'Hearn, P. W. & 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

  5. 2013
  6. 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

  7. 2012
  8. Published

    Syntactic Control of Interference for Separation Logic

    Uday Reddy & Reynolds, JC., 1 Jan 2012, p. 323-336. 14 p.

    Research output: Contribution to conference (unpublished) › Paper

  9. Published

    An Automata-Theoretic Model of Idealized Algol

    Uday Reddy & Dunphy, B. P., 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

  10. 2011
  11. Published

    An Automata-Theoretic Model of Objects

    Uday Reddy & Dunphy, BP., 23 Oct 2011. 15 p.

    Research output: Contribution to conference (unpublished) › Paper

  12. Published

    Fine-grained Concurrency with Separation Logic

    Kapoor, K., Lodaya, K. & Uday Reddy, 1 Oct 2011, In : Journal of Philosophical Logic. 40, 5, p. 583-632 50 p.

    Research output: Contribution to journal › Article

  13. 2004
  14. Published

    Correctness of data representations involving heap data structures

    Uday Reddy & Yang, H., 1 Jan 2004, In : Science of Computer Programming. 50, 1-3, p. 129-160 32 p.

    Research output: Contribution to journal › Article

  15. Published

    Parametric limits

    Dunphy, BP. & Uday Reddy, 1 Jan 2004, p. 242-253. 12 p.

    Research output: Contribution to conference (unpublished) › Paper

Previous 1 2 Next