cs-conference-ranking.org Search 971 venues

John C. Reynolds

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

8

Active years

1974–2012

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

Year	Venue	Title	Authors
2012	POPL	Syntactic control of interference for separation logic.	Uday S. Reddy, John C. Reynolds
2011	TASE	Making Program Logics Intelligible.	John C. Reynolds
2009	ESOP	Using Category Theory to Design Programming Languages.	John C. Reynolds
2004	POPL	Local reasoning about a copying garbage collector.	Lars Birkedal, Noah Torp-Smith, John C. Reynolds
2004	POPL	Separation and information hiding.	Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
2002	LICS	Separation Logic: A Logic for Shared Mutable Data Structures.	John C. Reynolds
2001	CSL	Local Reasoning about Programs that Alter Data Structures.	Peter W. O'Hearn, John C. Reynolds, Hongseok Yang
2000	ICALP	An Intrinsic Semantics of Intersection Types.	John C. Reynolds
1995	POPL	Using Functor Categories to Generate Intermediate Code.	John C. Reynolds
1993	POPL	An Introduction to Logical Relations and Parametric Polymorphism - Tutorial.	John C. Reynolds
1991	MFPS	Types, Abstractions, and Parametric Polymorphism, Part 2.	QingMing Ma, John C. Reynolds
1989	ICALP	Syntactic Control of Inference, Part 2.	John C. Reynolds
1987	LICS	Conjunctive Types and Algol-like Languages	John C. Reynolds
1980	CC	Using category theory to design implicit conversions and generic operators.	John C. Reynolds
1978	POPL	Syntactic Control of Interference.	John C. Reynolds
1974	ICALP	On the Relation between Direct and Continuation Semantics.	John C. Reynolds