Alan Jeffrey

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 13

Top Topics

Scale Invariant

Statistical Model

Theoretical Framework

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

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