Programming with sequences. - Uday S. Reddy (ACM Southeast Regional Conference, 1982)

Theory of Linear Equations Applied to Program Transformation. - Uday S. Reddy; Bharat Jayaraman (IJCAI, 1983)

Transformation of Logic Programs into Functional Programs. - Uday S. Reddy (SLP, 1984)

Declaration-Free Type Checking. - Prateek Mishra; Uday S. Reddy (POPL, 1985)

Narrowing as the Operational Semantics of Functional Languages. - Uday S. Reddy (SLP, 1985)

On the Relationship Between Logic and Functional Languages. - Uday S. Reddy (Logic Programming: Functions, Relations, and Equations, 1986)

Functional logic languages, Part I. - Uday S. Reddy (Graph Reduction, 1986)

Objects as Closures: Abstract Semantics of Object-Oriented Languages. - Uday S. Reddy (LISP and Functional Programming, 1988)

Transformational Derivation of Programs Using the Focus System. - Uday S. Reddy (Software Development Environments (SDE), 1988)

Rewriting Techniques for Program Synthesis. - Uday S. Reddy (RTA, 1989)

Inference of Polymorphic Types for Logic Programs. - Changwoo Pyo; Uday S. Reddy (NACLP, 1989)

Axiomatization of a Functional Logic Language. - François Bronsard; Uday S. Reddy (ALP, 1990)

Term Rewriting Induction. - Uday S. Reddy (CADE, 1990)

Formal methods in transformational derivation of programs. - Uday S. Reddy (Formal Methods in Software Development, 1990)

Types for Logic Programs. - Uday S. Reddy (NACLP, 1990)

A Logical View of Assignments. - Vipin Swarup; Uday S. Reddy (Constructivity in Computer Science, 1991)

Assignments for Applicative Languages. - Vipin Swarup; Uday S. Reddy; Evan Ireland (FPCA, 1991)

Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System. - T. L. Lakshman; Uday S. Reddy (ISLP, 1991)

Reduction Techniques for First-Order Reasoning. - François Bronsard; Uday S. Reddy (CTRS, 1992)

A Typed Foundation for Directional Logic Programming. - Uday S. Reddy (ELP, 1992)

A Framework of Directionality for Proving Termination of Logic Programs. - François Bronsard; T. K. Lakshman; Uday S. Reddy (JICSLP, 1992)

On the Power of Abstract Interpretation. - Uday S. Reddy; Samuel N. Kamin (Comput. Lang., 1993)

Deductive and Inductive Synthesis of Equational Programs. - Nachum Dershowitz; Uday S. Reddy (J. Symb. Comput., 1993)

Induction using Term Orderings. - François Bronsard; Uday S. Reddy; Robert W. Hasker (CADE, 1994)

Higher-order Aspects of Logic Programming. - Uday S. Reddy (ICLP, 1994)

Passivity and Independence - Uday S. Reddy (LICS, 1994)

Type Reconstruction for SCI. - Howard Huang; Uday S. Reddy (Functional Programming, 1995)

Bridging the gap between logic and functional programming (Panel Abstract). - Uday S. Reddy (ILPS, 1995)

ICC++-AC++ Dialect for High Performance Parallel Computing. - Andrew A. Chien; Uday S. Reddy; John Plevyak; Julian Dolby (ISOTAS, 1996)

Imperative Functional Programming. - Uday S. Reddy (ACM Comput. Surv., 1996)

Induction Using Term Orders. - François Bronsard; Uday S. Reddy; Robert W. Hasker (J. Autom. Reason., 1996)

Global State Considered Unnecessary: An Introduction to Object-Based Semantics. - Uday S. Reddy (LISP Symb. Comput., 1996)

Objects, Interference, and the Yoneda Embedding. - Peter W. O'Hearn; Uday S. Reddy (Theor. Comput. Sci., 1999)

On the Semantics of Refinement Calculi. - Hongseok Yang; Uday S. Reddy (FoSSaCS, 2000)

Objects and Classes in Algol-Like Languages. - Uday S. Reddy (Inf. Comput., 2002)

Linear Continuation-Passing. - Josh Berdine; Peter W. O'Hearn; Uday S. Reddy; Hayo Thielecke (High. Order Symb. Comput., 2002)

Parametric Limits. - Brian P. Dunphy; Uday S. Reddy (LICS, 2004)

Correctness of data representations involving heap data structures. - Uday S. Reddy; Hongseok Yang (Sci. Comput. Program., 2004)

Fine-grained Concurrency with Separation Logic. - Kalpesh Kapoor; Kamal Lodaya; Uday S. Reddy (J. Philos. Log., 2011)

An Automata-Theoretic Model of Idealized Algol - (Extended Abstract). - Uday S. Reddy; Brian P. Dunphy (ICALP (2), 2012)

Syntactic control of interference for separation logic. - Uday S. Reddy; John C. Reynolds (POPL, 2012)

Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages. - Claudio Hermida; Uday S. Reddy; Edmund P. Robinson (WACT, 2013)

Automata-Theoretic Semantics of Idealized Algol with Passive Expressions. - Uday S. Reddy (MFPS, 2013)

The Essence of Reynolds. - Stephen Brookes; Peter W. O'Hearn; Uday S. Reddy (Formal Aspects Comput., 2014)

Deriving Logical Relations from Interpretations of Predicate Logic. - Claudio Hermida; Uday S. Reddy; Edmund P. Robinson (MFPS, 2019)

Bisimulation as a logical relation. - Claudio Hermida; Uday S. Reddy; Edmund Robinson; Alessio Santamaria (Math. Struct. Comput. Sci., 2022)