Uday Reddy

Accepting PhD Students

PhD projects

Uday Reddy’s research interests include:

Functional programming
Logic programming
Object-oriented programming, especially programming with state
Type systems, semantics and reasoning methods
Constructive logic and type theory, especially linear logic
Automated deduction, program transformation and synthesis

Research activity per year

6 Article
5 Paper
2 Conference contribution
1 Working paper

5 results

Filter

2013
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
Reddy, U., 4 Nov 2013, p. 325-348. 24 p.
Research output: Contribution to conference (unpublished) › Paper › peer-review
2012
Syntactic Control of Interference for Separation Logic
Reddy, U. & Reynolds, JC., 1 Jan 2012, p. 323-336. 14 p.
Research output: Contribution to conference (unpublished) › Paper
2 Citations (Scopus)
2011

An Automata-Theoretic Model of Objects
Reddy, U. & Dunphy, BP., 23 Oct 2011. 15 p.
Research output: Contribution to conference (unpublished) › Paper

Open Access
File

108 Downloads (Pure)
2004
Parametric limits
Dunphy, BP. & Reddy, U., 1 Jan 2004, p. 242-253. 12 p.
Research output: Contribution to conference (unpublished) › Paper › peer-review

Open Access
File
16 Citations (Scopus)

193 Downloads (Pure)
2003

Correctness of Data Representations Involving Heap Data Structures
Reddy, U. & Yang, H., 1 Jan 2003, p. 223-237. 15 p.
Research output: Contribution to conference (unpublished) › Paper

6 Citations (Scopus)

Uday Reddy

Research output

Search results

Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

Syntactic Control of Interference for Separation Logic

An Automata-Theoretic Model of Objects

Parametric limits

Correctness of Data Representations Involving Heap Data Structures