Uday Reddy

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 journalArticle

  3. Published
  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 proceedingConference 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 proceedingConference 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 journalArticle

  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 journalArticle

  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