BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Denmark
1 × Estonia
1 × Germany
1 × Hungary
1 × Japan
1 × Switzerland
3 × Italy
3 × USA
Collaborated with:
R.Jagadeesan M.Hennessy C.Pitcher G.Petri A.Jeffrey J.Prins B.Dongol A.Cirillo
Talks about:
consist (4) relax (4) distribut (3) memori (3) quiescent (2) calculus (2) program (2) process (2) eventu (2) access (2)

Person: James Riely

DBLP DBLP: Riely:James

Contributed to:

ICALP (2) 20152015
ICALP (2) 20142014
ESOP 20132013
FOSSACS 20122012
ESOP 20102010
ESOP 20082008
FoSSaCS 20062006
ICALP (2) 20062006
ECOOP 20032003
ICALP 20002000
SAS 20002000
POPL 19991999
POPL 19981998
ICALP 19971997
ESOP 20182018
POPL 20182018

Wrote 16 papers:

ICALP-v2-2015-JagadeesanR #consistency #specification
From Sequential Specifications to Eventual Consistency (RJ, JR), pp. 247–259.
ICALP-v2-2014-JagadeesanR #consistency
Between Linearizability and Quiescent Consistency — Quantitative Quiescent Consistency (RJ, JR), pp. 220–231.
ESOP-2013-JagadeesanPPR #composition #memory management #modelling #reasoning
Quarantining Weakness — Compositional Reasoning under Relaxed Memory Models (RJ, GP, CP, JR), pp. 492–511.
FoSSaCS-2012-JagadeesanPR #exclamation
Brookes Is Relaxed, Almost! (RJ, GP, JR), pp. 180–194.
ESOP-2010-JagadeesanPR #generative #memory management #modelling #semantics
Generative Operational Semantics for Relaxed Memory Models (RJ, CP, JR), pp. 307–326.
ESOP-2008-CirilloJPR #distributed #named #trust
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (AC, RJ, CP, JR), pp. 208–223.
FoSSaCS-2006-PitcherR #policy
Dynamic Policy Discovery with Remote Attestation (CP, JR), pp. 111–125.
ICALP-v2-2006-JagadeesanJPR #data access #named #programming
λ-RBAC: Programming with Role-Based Access Control (RJ, AJ, CP, JR), pp. 456–467.
ECOOP-2003-JagadeesanJR #aspect-oriented #calculus #source code
A Calculus of Untyped Aspect-Oriented Programs (RJ, AJ, JR), pp. 54–73.
ICALP-2000-HennessyR #data flow #resource management #π-calculus
Information Flow vs. Resource Access in the Asynchronous π-Calculus (MH, JR), pp. 415–427.
Flattening Is an Improvement (JR, JP), pp. 360–376.
POPL-1999-RielyH #mobile #trust #type system
Trust and Partial Typing in Open Systems of Mobile Agents (JR, MH), pp. 93–104.
POPL-1998-RielyH #distributed #mobile #process
A Typed Language for Distributed Mobile Processes (JR, MH), pp. 378–390.
ICALP-1997-RielyH #distributed #process
Distributed Processes and Location Failures (JR, MH), pp. 471–481.
ESOP-2018-JagadeesanR #consistency
Eventual Consistency for CRDTs (RJ, JR), pp. 968–995.
POPL-2018-DongolJR #architecture #memory management #transaction
Transactions in relaxed memory architectures (BD, RJ, JR), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.