Alan Jeffrey - RankMe

74 papers A* 10A 6B 12C 1Misc 1Journal 27Unranked 15

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Privacy-Respecting Type Error Telemetry at Scale. CoRR Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah
2024	J	`jnl`	Privacy-Respecting Type Error Telemetry at Scale. Art Sci. Eng. Program. Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah
2022	J	`jnl`	The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency. Proc. ACM Program. Lang. Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev
2021	J	`jnl`	Position Paper: Goals of the Luau Type System. CoRR Lily Brown, Andy Friesen, Alan Jeffrey
2020	J	`jnl`	Pomsets with preconditions: a simple model of relaxed memory. Proc. ACM Program. Lang. Radha Jagadeesan, Alan Jeffrey, James Riely
2019	J	`jnl`	Lightweight Record-and-Replay for Intermittent Tests Failures. CoRR Omar S. Navarro Leija, Alan Jeffrey
2019	J	`jnl`	On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory. Log. Methods Comput. Sci. Alan Jeffrey, James Riely
2019	A*	`conf`	The Code That Never Ran: Modeling Attacks on Speculative Evaluation. IEEE Symposium on Security and Privacy Craig Disselkoen, Radha Jagadeesan, Alan Jeffrey, James Riely
2018	J	`jnl`	Josephine: Using JavaScript to safely manage the lifetimes of Rust data. CoRR Alan Jeffrey
2017	J	`jnl`	On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory. CoRR Alan Jeffrey, James Riely
2016	J	`jnl`	A Model of Navigation History. CoRR Connor G. Brewster, Alan Jeffrey
2016	J	`jnl`	An extensible approach to session polymorphism. Math. Struct. Comput. Sci. Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2016	A*	`conf`	On Thin Air Reads Towards an Event Structures Model of Relaxed Memory. LICS Alan Jeffrey, James Riely
2014	—	`conf`	Functional reactive types. CSL-LICS Alan Jeffrey
2013	—	`conf`	Causality for free!: parametricity implies causality for functional reactive programs. PLPV Alan Jeffrey
2013	C	`conf`	Dependently Typed Web Client Applications - FRP in Agda in HTML5. PADL Alan Jeffrey
2013	A	`conf`	Functional reactive programming with liveness guarantees. ICFP Alan Jeffrey
2013	A	`conf`	Validation and Interactivity of Web API Documentation. ICWS Peter J. Danielsen, Alan Jeffrey
2012	—	`conf`	LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs. PLPV Alan Jeffrey
2011	—	`conf`	Integrity Constraints for Linked Data. Description Logics Alan Jeffrey, Peter F. Patel-Schneider
2011	A*	`conf`	Robin Milner 1934--2010: verification, languages, and concurrency. POPL Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell
2011	B	`conf`	The Lax Braided Structure of Streaming I/O. CSL Alan Jeffrey, Julian Rathke
2009	—	`conf`	Model Checking Firewall Policy Configurations. POLICY Alan Jeffrey, Taghrid Samak
2009	A	`conf`	Towards a Theory of Accountability and Audit. ESORICS Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2008	J	`jnl`	Full abstraction for polymorphic pi-calculus. Theor. Comput. Sci. Alan Jeffrey, Julian Rathke
2008	J	`jnl`	Lambda-RBAC: Programming with Role-Based Access Control. Log. Methods Comput. Sci. Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2008	—	`conf`	Stream firewalling of xml constraints. SIGMOD Conference Michael Benedikt, Alan Jeffrey, Ruy Ley-Wild
2007	—	`conf`	Efficient and Expressive Tree Filters. FSTTCS Michael Benedikt, Alan Jeffrey
2007	J	`jnl`	Lambda-RBAC: Programming with Role-Based Access Control CoRR Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2006	J	`jnl`	Pattern-matching spi-calculus. Inf. Comput. Christian Haack, Alan Jeffrey
2006	J	`jnl`	Typed parametric polymorphism for aspects. Sci. Comput. Program. Radha Jagadeesan, Alan Jeffrey, James Riely
2005	J	`jnl`	A fully abstract may testing semantics for concurrent objects. Theor. Comput. Sci. Alan Jeffrey, Julian Rathke
2005	J	`jnl`	Contextual equivalence for higher-order pi-calculus revisited CoRR Alan Jeffrey, Julian Rathke
2005	J	`jnl`	Contextual equivalence for higher-order pi-calculus revisited. Log. Methods Comput. Sci. Alan Jeffrey, Julian Rathke
2005	B	`conf`	Full Abstraction for Polymorphic Pi-Calculus. FoSSaCS Alan Jeffrey, Julian Rathke
2005	A	`conf`	Java Jr: Fully Abstract Trace Semantics for a Core Java Language. ESOP Alan Jeffrey, Julian Rathke
2005	B	`conf`	Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. CONCUR Andrew D. Gordon, Alan Jeffrey
2005	B	`conf`	Timed Spi-Calculus with Types for Secrecy and Authenticity. CONCUR Christian Haack, Alan Jeffrey
2004	J	`jnl`	A theory of bisimulation for a fragment of concurrent ML with local names. Theor. Comput. Sci. Alan Jeffrey, Julian Rathke
2004	—	`conf`	Pattern-Matching Spi-Calculus. Formal Aspects in Security and Trust Christian Haack, Alan Jeffrey
2004	J	`jnl`	Types and effects for asymmetric cryptographic protocols. J. Comput. Secur. Andrew D. Gordon, Alan Jeffrey
2004	B	`conf`	µABC: A Minimal Aspect Calculus. CONCUR Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely
2003	A	`conf`	A Calculus of Untyped Aspect-Oriented Programs. ECOOP Radha Jagadeesan, Alan Jeffrey, James Riely
2003	J	`jnl`	Authenticity by Typing for Security Protocols. J. Comput. Secur. Andrew D. Gordon, Alan Jeffrey
2003	B	`conf`	Contextual Equivalence for Higher-Order π-Calculus Revisited. MFPS Alan Jeffrey, Julian Rathke
2003	J	`jnl`	Typing correspondence assertions for communication protocols. Theor. Comput. Sci. Andrew D. Gordon, Alan Jeffrey
2002	A*	`conf`	A Fully Abstract May Testing Semantics for Concurrent Objects. LICS Alan Jeffrey, Julian Rathke
2002	—	`conf`	Types and Effects for Asymmetric Cryptographic Protocols. CSFW Andrew D. Gordon, Alan Jeffrey
2002	—	`conf`	Typing One-to-One and One-to-Many Correspondences in Security Protocols. ISSS Andrew D. Gordon, Alan Jeffrey
2001	A*	`conf`	A Symbolic Labelled Transition System for Coinductive Subtyping of LICS Alan Jeffrey
2001	B	`conf`	A Type and Effect Analysis of Security Protocols. SAS Andrew D. Gordon, Alan Jeffrey
2001	—	`conf`	Authenticity by Typing for Security Protocols. CSFW Andrew D. Gordon, Alan Jeffrey
2001	J	`jnl`	SafetyNet: A language-based approach to programmable networks. Comput. Networks Ian Wakeman, Alan Jeffrey, Tim Owen, Damyan Pepper
2001	B	`conf`	Typing Correspondence Assertions for Communication Protocols. MFPS Andrew D. Gordon, Alan Jeffrey
2000	—	`ed.`	4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000 HOOTS Alan Jeffrey
2000	A*	`conf`	A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names. LICS Alan Jeffrey, Julian Rathke
2000	—	`conf`	Combining the typed lambda-calculus with CCS. Proof, Language, and Interaction William Ferreira, Matthew Hennessy, Alan Jeffrey
2000	—	`conf`	Preface. HOOTS Alan Jeffrey
1999	B	`conf`	A Categorical and Graphical Treatment of Closure Conversion. MFPS Ralf Schweimeier, Alan Jeffrey
1999	J	`jnl`	A Fully Abstract Semantics for a Higher-Order Functional Language with Nondeterministic Computation. Theor. Comput. Sci. Alan Jeffrey
1999	A*	`conf`	Towards a Theory of Bisimulation for Local Names. LICS Alan Jeffrey, Julian Rathke
1998	J	`jnl`	A Theory of Weak Bisimulation for Core CML. J. Funct. Program. William Ferreira, Matthew Hennessy, Alan Jeffrey
1997	—	`conf`	Premonoidal categories and flow graphs. HOOTS Alan Jeffrey
1996	A	`conf`	A Theory of Weak Bisimulation for Core CML. ICFP William Ferreira, Matthew Hennessy, Alan Jeffrey
1995	J	`jnl`	A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. Theor. Comput. Sci. Luca Aceto, Alan Jeffrey
1995	A*	`conf`	A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types LICS Alan Jeffrey
1995	B	`conf`	A fully abstract semantics for a nondeterministic functional language with monadic types. MFPS Alan Jeffrey
1995	—	`book`	Handbook of mathematical formulas and integrals. Alan Jeffrey
1994	A*	`conf`	A Fully Abstract Semantics for Concurrent Graph Reduction LICS Alan Jeffrey
1994	Misc	`conf`	Allegories of Circuits. LFCS Carolyn Brown, Alan Jeffrey
1993	B	`conf`	A Chemical Abstract Machine for Graph Reduction. MFPS Alan Jeffrey
1992	—	`conf`	Translating Timed Process Algebra into Prioritized Process Algebra. FTRTFT Alan Jeffrey
1991	A*	`conf`	A Linear Time Process Algebra. CAV Alan Jeffrey
1991	B	`conf`	Abstract Timed Observation and Process Algebra. CONCUR Alan Jeffrey