Uday Reddy

Publications

  1. 2014
  2. Published

    The Essence of Reynolds

    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

    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, 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, 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, 23 Oct 2011. 15 p.

    Research output: Contribution to conference (unpublished)Paper

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

  13. 2004
  14. 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 journalArticle

  15. Published

    Parametric limits

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

    Research output: Contribution to conference (unpublished)Paper

Previous 1 2 Next