Uday S. Reddy - RankMe

52 papers A* 6A 4B 5Journal 13Unranked 23

Year	Rank	Type	Title / 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