Uday S. Reddy

Publication Activity (10 Years)

Years Active: 1982-2022
Publications (10 Years): 3

Top Topics

Predicate Logic

Programming Language

Top Venues

Math. Struct. Comput. Sci.

Formal Aspects Comput.

Publications

Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria
Bisimulation as a logical relation. Math. Struct. Comput. Sci. 32 (4) (2022)
Claudio Hermida, Uday S. Reddy, Edmund P. Robinson, Alessio Santamaria
Bisimulation as a Logical Relation. CoRR (2020)
Claudio Hermida, Uday S. Reddy, Edmund P. Robinson
Deriving Logical Relations from Interpretations of Predicate Logic. MFPS (2019)
Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy
The essence of Reynolds. POPL (2014)
Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy
The Essence of Reynolds. Formal Aspects Comput. 26 (3) (2014)
Claudio Hermida, Uday S. Reddy, Edmund P. Robinson
Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages. Electron. Notes Theor. Comput. Sci. 303 (2014)
Uday S. Reddy
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions. MFPS (2013)
Uday S. Reddy, John C. Reynolds
Syntactic control of interference for separation logic. POPL (2012)
Uday S. Reddy, Brian P. Dunphy
An Automata-Theoretic Model of Idealized Algol - (Extended Abstract). ICALP (2) (2012)
Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy
Fine-grained Concurrency with Separation Logic. J. Philos. Log. 40 (5) (2011)
Uday S. Reddy, Hongseok Yang
Correctness of data representations involving heap data structures. Sci. Comput. Program. 50 (1-3) (2004)
Brian P. Dunphy, Uday S. Reddy
Parametric Limits. LICS (2004)
Uday S. Reddy, Hongseok Yang
Correctness of Data Representations Involving Heap Data Structures. ESOP (2003)
Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke
Linear Continuation-Passing. High. Order Symb. Comput. 15 (2-3) (2002)
Uday S. Reddy
Objects and Classes in Algol-Like Languages. Inf. Comput. 172 (1) (2002)
Hongseok Yang, Uday S. Reddy
On the Semantics of Refinement Calculi. FoSSaCS (2000)
Peter W. O'Hearn, Uday S. Reddy
Objects, Interference, and the Yoneda Embedding. Theor. Comput. Sci. 228 (1-2) (1999)
Andrew A. Chien, Uday S. Reddy, John Plevyak, Julian Dolby
ICC++-AC++ Dialect for High Performance Parallel Computing. ISOTAS (1996)
Uday S. Reddy
Imperative Functional Programming. ACM Comput. Surv. 28 (2) (1996)
François Bronsard, Uday S. Reddy, Robert W. Hasker
Induction Using Term Orders. J. Autom. Reason. 16 (1-2) (1996)
Uday S. Reddy
Global State Considered Unnecessary: An Introduction to Object-Based Semantics. LISP Symb. Comput. 9 (1) (1996)
Uday S. Reddy
Bridging the gap between logic and functional programming (Panel Abstract). ILPS (1995)
Peter W. O'Hearn, Uday S. Reddy
Objects, interference and the Yoneda embedding. MFPS (1995)
Howard Huang, Uday S. Reddy
Type Reconstruction for SCI. Functional Programming (1995)
Uday S. Reddy
Passivity and Independence LICS (1994)
Uday S. Reddy
Higher-order Aspects of Logic Programming. ICLP (1994)
François Bronsard, Uday S. Reddy, Robert W. Hasker
Induction using Term Orderings. CADE (1994)
Uday S. Reddy
Higher-order Aspects of Logic Programming. ELP (1993)
Uday S. Reddy, Samuel N. Kamin
On the Power of Abstract Interpretation. Comput. Lang. 19 (2) (1993)
Nachum Dershowitz, Uday S. Reddy
Deductive and Inductive Synthesis of Equational Programs. J. Symb. Comput. 15 (5/6) (1993)
Uday S. Reddy, Samuel N. Kamin
On the power of abstract interpretation. ICCL (1992)
François Bronsard, Uday S. Reddy
Reduction Techniques for First-Order Reasoning. CTRS (1992)
François Bronsard, T. K. Lakshman, Uday S. Reddy
A Framework of Directionality for Proving Termination of Logic Programs. JICSLP (1992)
Uday S. Reddy
A Typed Foundation for Directional Logic Programming. ELP (1992)
Vipin Swarup, Uday S. Reddy
A Logical View of Assignments. Constructivity in Computer Science (1991)
Vipin Swarup, Uday S. Reddy, Evan Ireland
Assignments for Applicative Languages. FPCA (1991)
T. L. Lakshman, Uday S. Reddy
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System. ISLP (1991)
Uday S. Reddy
Types for Logic Programs. NACLP (1990)
Uday S. Reddy
Formal methods in transformational derivation of programs. Formal Methods in Software Development (1990)
Uday S. Reddy
Term Rewriting Induction. CADE (1990)
François Bronsard, Uday S. Reddy
Axiomatization of a Functional Logic Language. ALP (1990)
Changwoo Pyo, Uday S. Reddy
Inference of Polymorphic Types for Logic Programs. NACLP (1989)
Uday S. Reddy
Rewriting Techniques for Program Synthesis. RTA (1989)
Uday S. Reddy
Objects as Closures: Abstract Semantics of Object-Oriented Languages. LISP and Functional Programming (1988)
Uday S. Reddy
Transformational Derivation of Programs Using the Focus System. Software Development Environments (SDE) (1988)
Uday S. Reddy
Functional logic languages, Part I. Graph Reduction (1986)
Prateek Mishra, Uday S. Reddy
Declaration-Free Type Checking. POPL (1985)
Uday S. Reddy
Narrowing as the Operational Semantics of Functional Languages. SLP (1985)
Uday S. Reddy
Transformation of Logic Programs into Functional Programs. SLP (1984)
Uday S. Reddy, Bharat Jayaraman
Theory of Linear Equations Applied to Program Transformation. IJCAI (1983)
Uday S. Reddy
Programming with sequences. ACM Southeast Regional Conference (1982)