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 journalArticlepeer-review

  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)Paperpeer-review

  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 journalArticlepeer-review

  15. Published

    Parametric limits

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

    Research output: Contribution to conference (unpublished)Paperpeer-review

Previous 1 2 Next