default search action

combined dblp search
author search
venue search
publication search

ask others

James Riely

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/JeffreyRBCKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/JeffreyRBCKP22
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): 1-30 (2022)
2020
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/JagadeesanJR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/JagadeesanJR20
Radha Jagadeesan, Alan Jeffrey, James Riely:
Pomsets with preconditions: a simple model of relaxed memory. Proc. ACM Program. Lang. 4(OOPSLA): 194:1-194:30 (2020)
2019
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/JeffreyR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/JeffreyR19
Alan Jeffrey, James Riely:
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory. Log. Methods Comput. Sci. 15(1) (2019)
2018
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/DongolJR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/DongolJR18
Brijesh Dongol, Radha Jagadeesan, James Riely:
Transactions in relaxed memory architectures. Proc. ACM Program. Lang. 2(POPL): 18:1-18:29 (2018)
2016
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GotoJJPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GotoJJPR16
Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely:
An extensible approach to session polymorphism. Math. Struct. Comput. Sci. 26(3): 465-509 (2016)
2009
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/taosd/JagadeesanPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taosd/JagadeesanPR09
Radha Jagadeesan, Corin Pitcher, James Riely:
Open Bisimulation for Aspects. LNCS Trans. Aspect Oriented Softw. Dev. 5: 72-132 (2009)
2008
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/JagadeesanJPR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/JagadeesanJPR08
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely:
Lambda-RBAC: Programming with Role-Based Access Control. Log. Methods Comput. Sci. 4(1) (2008)
2006
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JagadeesanJR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JagadeesanJR06
Radha Jagadeesan, Alan Jeffrey, James Riely:
Typed parametric polymorphism for aspects. Sci. Comput. Program. 63(3): 267-296 (2006)
2003
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RielyH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RielyH03
James Riely, Matthew Hennessy:
Trust and Partial Typing in Open Systems of Mobile Agents. J. Autom. Reason. 31(3-4): 335-370 (2003)
2002
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HennessyR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HennessyR02
Matthew Hennessy, James Riely:
Resource Access Control in Systems of Mobile Agents. Inf. Comput. 173(1): 82-120 (2002)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/HennessyR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HennessyR02
Matthew Hennessy, James Riely:
Information flow vs. resource access in the asynchronous pi-calculus. ACM Trans. Program. Lang. Syst. 24(5): 566-591 (2002)
2001
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RielyH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RielyH01
James Riely, Matthew Hennessy:
Distributed processes and location failures. Theor. Comput. Sci. 266(1-2): 693-735 (2001)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/DongolJR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/DongolJR19
Brijesh Dongol, Radha Jagadeesan, James Riely:
Modular transactions: bounding mixed races in space and time. PPoPP 2019: 82-93
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/DisselkoenJJR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/DisselkoenJJR19
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: 1238-1255
2018
[c35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/JagadeesanR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JagadeesanR18
Radha Jagadeesan, James Riely:
Eventual Consistency for CRDTs. ESOP 2018: 968-995
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DongolJRA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DongolJRA18
Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong:
On abstraction and compositionality for weak-memory linearisability. VMCAI 2018: 183-204
2016
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/JeffreyR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/JeffreyR16
Alan Jeffrey, James Riely:
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory. LICS 2016: 759-767
2015
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/JagadeesanR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/JagadeesanR15
Radha Jagadeesan, James Riely:
From Sequential Specifications to Eventual Consistency. ICALP (2) 2015: 247-259
2014
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/JagadeesanLPRW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/JagadeesanLPRW14
Radha Jagadeesan, C. M. Lubinski, Corin Pitcher, James Riely, Charles Winebrinner:
Certificates for Verifiable Forensics. CSF 2014: 33-47
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/JagadeesanR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/JagadeesanR14
Radha Jagadeesan, James Riely:
Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency. ICALP (2) 2014: 220-231
2013
[c29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/JagadeesanPPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JagadeesanPPR13
Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely:
Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). ESOP 2013: 492-511
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icla/JagadeesanPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/JagadeesanPR13
Radha Jagadeesan, Corin Pitcher, James Riely:
Noninterference for Intuitionist Necessity. ICLA 2013: 185-196
2012
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/JagadeesanPR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/JagadeesanPR12
Radha Jagadeesan, Corin Pitcher, James Riely:
Succour to the Confused Deputy - Types for Capabilities. APLAS 2012: 66-81
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/JagadeesanPR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/JagadeesanPR12
Radha Jagadeesan, Gustavo Petri, James Riely:
Brookes Is Relaxed, Almost! FoSSaCS 2012: 180-194
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/GotoJPR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/GotoJPR12
Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely:
Types for relaxed memory models. TLDI 2012: 25-38
2011
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/JagadeesanPRR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/JagadeesanPRR11
Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely:
Local Memory via Layout Randomization. CSF 2011: 161-174
2010
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/JagadeesanPR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JagadeesanPR10
Radha Jagadeesan, Corin Pitcher, James Riely:
Generative Operational Semantics for Relaxed Memory Models. ESOP 2010: 307-326
2009
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/JagadeesanJPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/JagadeesanJPR09
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely:
Towards a Theory of Accountability and Audit. ESORICS 2009: 152-167
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/CirilloR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/CirilloR09
Andrew Cirillo, James Riely:
Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties. Formal Aspects in Security and Trust 2009: 51-65
2008
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/CirilloJPR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CirilloJPR08
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely:
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). ESOP 2008: 208-223
2007
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/JagadeesanPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/JagadeesanPR07
Radha Jagadeesan, Corin Pitcher, James Riely:
Open bisimulation for aspects. AOSD 2007: 107-120
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/CirilloJPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/CirilloJPR07
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely:
Do As I SaY! Programmatic Access Control with Explicit Identities. CSF 2007: 16-30
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/foal/HuiR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foal/HuiR06
Peter Hui, James Riely:
Typing for a minimal aspect language: preliminary report. FOAL 2007: 15-22
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/ZhangAJRP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/ZhangAJRP07
Bin Zhang, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher:
Specifications of a high-level conflict-free firewall policy language for multi-domain networks. SACMAT 2007: 185-194
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/CirilloR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/CirilloR07
Andrew Cirillo, James Riely:
Access Control Based on Code Identity for Open Distributed Systems. TGC 2007: 169-185
2006
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/PitcherR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/PitcherR06
Corin Pitcher, James Riely:
Dynamic Policy Discovery with Remote Attestation. FoSSaCS 2006: 111-125
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/JagadeesanJPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/JagadeesanJPR06
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely:
lambda-RBAC: Programming with Role-Based Access Control. ICALP (2) 2006: 456-467
2004
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BrunsJJR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BrunsJJR04
Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely:
µABC: A Minimal Aspect Calculus. CONCUR 2004: 209-224
2003
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/JagadeesanJR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/JagadeesanJR03
Radha Jagadeesan, Alan Jeffrey, James Riely:
A Calculus of Untyped Aspect-Oriented Programs. ECOOP 2003: 54-73
2000
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HennessyR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HennessyR00
Matthew Hennessy, James Riely:
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus. ICALP 2000: 415-427
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/RielyP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/RielyP00
James Riely, Jan F. Prins:
Flattening Is an Improvement. SAS 2000: 360-376
1999
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/HennessyR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/HennessyR99
Matthew Hennessy, James Riely:
Type-Safe Execution of Mobile Agents in Anonymous Networks. Secure Internet Programming 1999: 95-115
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/RielyH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/RielyH99
James Riely, Matthew Hennessy:
Trust and Partial Typing in Open Systems of Mobile Agents. POPL 1999: 93-104
1998
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/HennessyR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/HennessyR98
Matthew Hennessy, James Riely:
Type-Safe Execution of Mobile Agents in Anonymous Networks. ECOOP Workshops 1998: 304
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/RielyH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/RielyH98
James Riely, Matthew Hennessy:
A Typed Language for Distributed Mobile Processes (Extended Abstract). POPL 1998: 378-390
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HennessyR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HennessyR98
Matthew Hennessy, James Riely:
Resource Access Control in Systems of Mobile Agents. HLCL 1998: 174-188
1997
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/RielyH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/RielyH97
James Riely, Matthew Hennessy:
Distributed Processes and Location Failures (Extended Abstract). ICALP 1997: 471-481
1994
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CleavelandR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CleavelandR94
Rance Cleaveland, James Riely:
Testing-Based Abstractions for Value-Passing Systems. CONCUR 1994: 417-432
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/GoldbergMNPRR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/GoldbergMNPRR94
Allen Goldberg, Peter Mills, Lars S. Nyland, Jan F. Prins, John H. Reif, James Riely:
Specification and Development of Parallel Algorithms with the Proteus System. Specification of Parallel Algorithms 1994: 383-399

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2017
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/JeffreyR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JeffreyR17
Alan Jeffrey, James Riely:
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory. CoRR abs/1707.05881 (2017)
2014
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/JagadeesanR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JagadeesanR14
Radha Jagadeesan, James Riely:
Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency. CoRR abs/1402.4043 (2014)
2007
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0712-1205
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0712-1205
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely:
Lambda-RBAC: Programming with Role-Based Access Control. CoRR abs/0712.1205 (2007)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.