Uday S. Reddy

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