James Riely

Proc. ACM Program. Lang., 2020

2019

On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

The Code That Never Ran: Modeling Attacks on Speculative Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Modular transactions: bounding mixed races in space and time.

[BibT_eX]

[DOI]

Brijesh Dongol

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

2018

Transactions in relaxed memory architectures.

[BibT_eX]

[DOI]

Brijesh Dongol

Proc. ACM Program. Lang., 2018

On abstraction and compositionality for weak-memory linearisability.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Eventual Consistency for CRDTs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2018

2016

An extensible approach to session polymorphism.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2016

2015

From Sequential Specifications to Eventual Consistency.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014

Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Certificates for Verifiable Forensics.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Noninterference for Intuitionist Necessity.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2013

2012

Types for relaxed memory models.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Brookes Is Relaxed, Almost!

[BibT_eX]

[DOI]

Gustavo Petri

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Succour to the Confused Deputy - Types for Capabilities.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Local Memory via Layout Randomization.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

Generative Operational Semantics for Relaxed Memory Models.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2010

2009

Open Bisimulation for Aspects.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2009

Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties.

[BibT_eX]

[DOI]

Andrew Cirillo

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

Towards a Theory of Accountability and Audit.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2009

2008

Lambda-RBAC: Programming with Role-Based Access Control.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2008

2007

Access Control Based on Code Identity for Open Distributed Systems.

[BibT_eX]

[DOI]

Andrew Cirillo

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Specifications of a high-level conflict-free firewall policy language for multi-domain networks.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Typing for a minimal aspect language: preliminary report.

[BibT_eX]

[DOI]

Peter Hui

Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

Do As I SaY! Programmatic Access Control with Explicit Identities.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Typed parametric polymorphism for aspects.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

<i>lambda</i>-RBAC: Programming with Role-Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Dynamic Policy Discovery with Remote Attestation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2004

µABC: A Minimal Aspect Calculus.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Trust and Partial Typing in Open Systems of Mobile Agents.

[BibT_eX]

[DOI]

J. Autom. Reason., 2003

A Calculus of Untyped Aspect-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2003, 2003

2002

Information flow vs. resource access in the asynchronous pi-calculus.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2002

2001

Distributed processes and location failures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

2000

Flattening Is an Improvement.

[BibT_eX]

[DOI]

Jan F. Prins

Proceedings of the Static Analysis, 7th International Symposium, 2000

1999

Type-Safe Execution of Mobile Agents in Anonymous Networks.

[BibT_eX]

[DOI]

Proceedings of the Secure Internet Programming, 1999

1998

Resource Access Control in Systems of Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

A Typed Language for Distributed Mobile Processes (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the POPL '98, 1998

1997

Distributed Processes and Location Failures (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1994

Specification and Development of Parallel Algorithms with the Proteus System.

[BibT_eX]

[DOI]

Proceedings of the Specification of Parallel Algorithms, 1994

Testing-Based Abstractions for Value-Passing Systems.

[BibT_eX]

[DOI]

Rance Cleaveland