Get started
Author

James Riely

Observed names: J.W. Riely, JAMES RIELY, James Wheelis Riely, Riely, James
Institution: DePaul University
ORCID: 0000-0002-8731-1463
Observed ORCID: 0000-0002-8731-1463
OpenAlex ID: A5089477252
Resource Access Control in Systems of Mobile Agents
2002 · Matthew Hennessy, James Riely · Information and Computation · 256
Information flow vs. resource access in the asynchronous pi-calculus
2002 · Matthew Hennessy, James Riely · ACM Transactions on Programming Languages and Systems · 135
PDF
Towards a Theory of Accountability and Audit
2009 · Radha Jagadeesan, Alan Jeffrey, et al. · Lecture notes in computer science · 102
A typed language for distributed mobile processes (extended abstract)
1998 · James Riely, Matthew Hennessy · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 93
Resource Access Control in Systems of Mobile Agents
1998 · Matthew Hennessy, James Riely · Electronic Notes in Theoretical Computer Science · 90
PDF
Trust and partial typing in open systems of mobile agents
1999 · James Riely, Matthew Hennessy · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 89
Specifications of a high-level conflict-free firewall policy language for multi-domain networks
2007 · Bin Zhang, Ehab Al-Shaer, et al. · ACM Symposium on Access Control Models and Technologies (SACMAT) · 79
Distributed processes and location failures
2001 · James Riely, Matthew Hennessy · Theoretical Computer Science · 79
A Calculus of Untyped Aspect-Oriented Programs
2003 · Radha Jagadeesan, Alan Jeffrey, et al. · Lecture notes in computer science · 78
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
2016 · Alan Jeffrey, James Riely · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 63
Generative Operational Semantics for Relaxed Memory Models
2010 · Radha Jagadeesan, Corin Pitcher, et al. · Lecture notes in computer science · 44
Local Memory via Layout Randomization
2011 · Radha Jagadeesan, Corin Pitcher, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 42
μABC: A Minimal Aspect Calculus
2004 · Glenn Bruns, Radha Jagadeesan, et al. · Lecture notes in computer science · 42
Pomsets with preconditions: a simple model of relaxed memory
2020 · Radha Jagadeesan, Alan Jeffrey, et al. · Proceedings of the ACM on Programming Languages · 37
Typed parametric polymorphism for aspects
2006 · Radha Jagadeesan, Alan Jeffrey, et al. · Science of Computer Programming · 37
PDF
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus (Extended Abstract)
2000 · Matthew Hennessy, James Riely · Lecture notes in computer science · 35
Type-Safe Execution of Mobile Agents in Anonymous Networks
1998 · Matthew Hennessy, James Riely · Lecture notes in computer science · 35
Testing-Based Abstractions for Value-Passing Systems
1994 · Rance Cleaveland, James Riely · Lecture notes in computer science · 32
The Code That Never Ran: Modeling Attacks on Speculative Evaluation
2019 · Craig Disselkoen, Radha Jagadeesan, et al. · IEEE Symposium on Security and Privacy (S&P) · 29
PDF
Type-Safe Execution of Mobile Agents in Anonymous Networks
1999 · Matthew Hennessy, James Riely · Lecture notes in computer science · 29
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency
2022 · Alan Jeffrey, James Riely, et al. · Proceedings of the ACM on Programming Languages · 28
PDF
Distributed processes and location failures
1997 · James Riely, Matthew Hennessy · Lecture notes in computer science · 26
Trust and Partial Typing in Open Systems of Mobile Agents
2003 · James Riely, Matthew Hennessy · Journal of Automated Reasoning · 24
An extensible approach to session polymorphism
2015 · MATTHEW GOTO, RADHA JAGADEESAN, et al. · Mathematical Structures in Computer Science · 22
On abstraction and compositionality for weak-memory linearisability
2017 · Brijesh Dongol, Radha Jagadeesan, et al. · Lecture notes in computer science · 21
PDF
Works count: 74
Citation count: 1,768
H-index: 23
I10-index: 33
Year
Topic
Type