| 2014 | POPL | The essence of Reynolds. | Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy |
| 2012 | ICALP | An Automata-Theoretic Model of Idealized Algol - (Extended Abstract). | Uday S. Reddy, Brian P. Dunphy |
| 2012 | POPL | Syntactic control of interference for separation logic. | Uday S. Reddy, John C. Reynolds |
| 2004 | LICS | Parametric Limits. | Brian P. Dunphy, Uday S. Reddy |
| 2003 | ESOP | Correctness of Data Representations Involving Heap Data Structures. | Uday S. Reddy, Hongseok Yang |
| 2000 | FOSSACS | On the Semantics of Refinement Calculi. | Hongseok Yang, Uday S. Reddy |
| 1994 | CADE | Induction using Term Orderings. | Franois Bronsard, Uday S. Reddy, Robert W. Hasker |
| 1994 | ICLP | Higher-order Aspects of Logic Programming. | Uday S. Reddy |
| 1994 | LICS | Passivity and Independence | Uday S. Reddy |
| 1992 | ICLP | A Framework of Directionality for Proving Termination of Logic Programs. | Franois Bronsard, T. K. Lakshman, Uday S. Reddy |
| 1990 | CADE | Term Rewriting Induction. | Uday S. Reddy |
| 1985 | POPL | Declaration-Free Type Checking. | Prateek Mishra, Uday S. Reddy |
| 1983 | IJCAI | Theory of Linear Equations Applied to Program Transformation. | Uday S. Reddy, Bharat Jayaraman |