Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: James Riely
@article{DBLP:journals/pacmpl/JeffreyRBCKP22,
author = {Alan Jeffrey and
James Riely and
Mark Batty and
Simon Cooksey and
Ilya Kaysin and
Anton Podkopaev},
title = {The leaky semicolon: compositional semantic dependencies for relaxed-memory
concurrency},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--30},
year = {2022},
url = {https://doi.org/10.1145/3498716},
doi = {10.1145/3498716},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/JeffreyRBCKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JagadeesanJR20,
author = {Radha Jagadeesan and
Alan Jeffrey and
James Riely},
title = {Pomsets with preconditions: a simple model of relaxed memory},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {194:1--194:30},
year = {2020},
url = {https://doi.org/10.1145/3428262},
doi = {10.1145/3428262},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/JagadeesanJR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/JeffreyR19,
author = {Alan Jeffrey and
James Riely},
title = {On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {1},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(1:33)2019},
doi = {10.23638/LMCS-15(1:33)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/JeffreyR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/DongolJR19,
author = {Brijesh Dongol and
Radha Jagadeesan and
James Riely},
editor = {Jeffrey K. Hollingsworth and
Idit Keidar},
title = {Modular transactions: bounding mixed races in space and time},
booktitle = {Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA,
February 16-20, 2019},
pages = {82--93},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293883.3295708},
doi = {10.1145/3293883.3295708},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/DongolJR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/DisselkoenJJR19,
author = {Craig Disselkoen and
Radha Jagadeesan and
Alan Jeffrey and
James Riely},
title = {The Code That Never Ran: Modeling Attacks on Speculative Evaluation},
booktitle = {2019 {IEEE} Symposium on Security and Privacy, {SP} 2019, San Francisco,
CA, USA, May 19-23, 2019},
pages = {1238--1255},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SP.2019.00047},
doi = {10.1109/SP.2019.00047},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/DisselkoenJJR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DongolJR18,
author = {Brijesh Dongol and
Radha Jagadeesan and
James Riely},
title = {Transactions in relaxed memory architectures},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {18:1--18:29},
year = {2018},
url = {https://doi.org/10.1145/3158106},
doi = {10.1145/3158106},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/DongolJR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JagadeesanR18,
author = {Radha Jagadeesan and
James Riely},
editor = {Amal Ahmed},
title = {Eventual Consistency for CRDTs},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {968--995},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_34},
doi = {10.1007/978-3-319-89884-1\_34},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/JagadeesanR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DongolJRA18,
author = {Brijesh Dongol and
Radha Jagadeesan and
James Riely and
Alasdair Armstrong},
editor = {Isil Dillig and
Jens Palsberg},
title = {On abstraction and compositionality for weak-memory linearisability},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
pages = {183--204},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_9},
doi = {10.1007/978-3-319-73721-8\_9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DongolJRA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JeffreyR17,
author = {Alan Jeffrey and
James Riely},
title = {On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory},
journal = {CoRR},
volume = {abs/1707.05881},
year = {2017},
url = {http://arxiv.org/abs/1707.05881},
eprinttype = {arXiv},
eprint = {1707.05881},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JeffreyR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GotoJJPR16,
author = {Matthew A. Goto and
Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
title = {An extensible approach to session polymorphism},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {465--509},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000231},
doi = {10.1017/S0960129514000231},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GotoJJPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JeffreyR16,
author = {Alan Jeffrey and
James Riely},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {On Thin Air Reads Towards an Event Structures Model of Relaxed Memory},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {759--767},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934536},
doi = {10.1145/2933575.2934536},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JeffreyR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JagadeesanR15,
author = {Radha Jagadeesan and
James Riely},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {From Sequential Specifications to Eventual Consistency},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {247--259},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_20},
doi = {10.1007/978-3-662-47666-6\_20},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/JagadeesanR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JagadeesanLPRW14,
author = {Radha Jagadeesan and
C. M. Lubinski and
Corin Pitcher and
James Riely and
Charles Winebrinner},
title = {Certificates for Verifiable Forensics},
booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
Austria, 19-22 July, 2014},
pages = {33--47},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSF.2014.11},
doi = {10.1109/CSF.2014.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/JagadeesanLPRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JagadeesanR14,
author = {Radha Jagadeesan and
James Riely},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Between Linearizability and Quiescent Consistency - Quantitative Quiescent
Consistency},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {220--231},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_19},
doi = {10.1007/978-3-662-43951-7\_19},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JagadeesanR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JagadeesanR14,
author = {Radha Jagadeesan and
James Riely},
title = {Between Linearizability and Quiescent Consistency: Quantitative Quiescent
Consistency},
journal = {CoRR},
volume = {abs/1402.4043},
year = {2014},
url = {http://arxiv.org/abs/1402.4043},
eprinttype = {arXiv},
eprint = {1402.4043},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JagadeesanR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JagadeesanPPR13,
author = {Radha Jagadeesan and
Gustavo Petri and
Corin Pitcher and
James Riely},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Quarantining Weakness - Compositional Reasoning under Relaxed Memory
Models (Extended Abstract)},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {492--511},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_27},
doi = {10.1007/978-3-642-37036-6\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/JagadeesanPPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/JagadeesanPR13,
author = {Radha Jagadeesan and
Corin Pitcher and
James Riely},
editor = {Kamal Lodaya},
title = {Noninterference for Intuitionist Necessity},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {185--196},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_17},
doi = {10.1007/978-3-642-36039-8\_17},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/JagadeesanPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/JagadeesanPR12,
author = {Radha Jagadeesan and
Corin Pitcher and
James Riely},
editor = {Ranjit Jhala and
Atsushi Igarashi},
title = {Succour to the Confused Deputy - Types for Capabilities},
booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7705},
pages = {66--81},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35182-2\_6},
doi = {10.1007/978-3-642-35182-2\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/JagadeesanPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JagadeesanPR12,
author = {Radha Jagadeesan and
Gustavo Petri and
James Riely},
editor = {Lars Birkedal},
title = {Brookes Is Relaxed, Almost!},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {180--194},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_12},
doi = {10.1007/978-3-642-28729-9\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JagadeesanPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/GotoJPR12,
author = {Matthew Goto and
Radha Jagadeesan and
Corin Pitcher and
James Riely},
editor = {Benjamin C. Pierce},
title = {Types for relaxed memory models},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
January 28, 2012},
pages = {25--38},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103786.2103791},
doi = {10.1145/2103786.2103791},
timestamp = {Thu, 11 May 2023 14:56:29 +0200},
biburl = {https://dblp.org/rec/conf/tldi/GotoJPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JagadeesanPRR11,
author = {Radha Jagadeesan and
Corin Pitcher and
Julian Rathke and
James Riely},
title = {Local Memory via Layout Randomization},
booktitle = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium,
{CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011},
pages = {161--174},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CSF.2011.18},
doi = {10.1109/CSF.2011.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/JagadeesanPRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JagadeesanPR10,
author = {Radha Jagadeesan and
Corin Pitcher and
James Riely},
editor = {Andrew D. Gordon},
title = {Generative Operational Semantics for Relaxed Memory Models},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {307--326},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_17},
doi = {10.1007/978-3-642-11957-6\_17},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/JagadeesanPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/JagadeesanPR09,
author = {Radha Jagadeesan and
Corin Pitcher and
James Riely},
title = {Open Bisimulation for Aspects},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {5},
pages = {72--132},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02059-9\_3},
doi = {10.1007/978-3-642-02059-9\_3},
timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/JagadeesanPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/JagadeesanJPR09,
author = {Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
editor = {Michael Backes and
Peng Ning},
title = {Towards a Theory of Accountability and Audit},
booktitle = {Computer Security - {ESORICS} 2009, 14th European Symposium on Research
in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5789},
pages = {152--167},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04444-1\_10},
doi = {10.1007/978-3-642-04444-1\_10},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/JagadeesanJPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/CirilloR09,
author = {Andrew Cirillo and
James Riely},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Reflections on Trust: Trust Assurance by Dynamic Discovery of Static
Properties},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {51--65},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_5},
doi = {10.1007/978-3-642-12459-4\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/CirilloR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/JagadeesanJPR08,
author = {Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
title = {Lambda-RBAC: Programming with Role-Based Access Control},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {1},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(1:2)2008},
doi = {10.2168/LMCS-4(1:2)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/JagadeesanJPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CirilloJPR08,
author = {Andrew Cirillo and
Radha Jagadeesan and
Corin Pitcher and
James Riely},
editor = {Sophia Drossopoulou},
title = {Tapido: Trust and Authorization Via Provenance and Integrity in Distributed
Objects (Extended Abstract)},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {208--223},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_17},
doi = {10.1007/978-3-540-78739-6\_17},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/CirilloJPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/JagadeesanPR07,
author = {Radha Jagadeesan and
Corin Pitcher and
James Riely},
editor = {Brian M. Barry and
Oege de Moor},
title = {Open bisimulation for aspects},
booktitle = {Proceedings of the 6th International Conference on Aspect-Oriented
Software Development, {AOSD} 2007, Vancouver, British Columbia, Canada,
March 12-16, 2007},
series = {{ACM} International Conference Proceeding Series},
volume = {208},
pages = {107--120},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1218563.1218577},
doi = {10.1145/1218563.1218577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/JagadeesanPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CirilloJPR07,
author = {Andrew Cirillo and
Radha Jagadeesan and
Corin Pitcher and
James Riely},
title = {Do As {I} SaY! Programmatic Access Control with Explicit Identities},
booktitle = {20th {IEEE} Computer Security Foundations Symposium, {CSF} 2007, 6-8
July 2007, Venice, Italy},
pages = {16--30},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/CSF.2007.19},
doi = {10.1109/CSF.2007.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/CirilloJPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/HuiR06,
author = {Peter Hui and
James Riely},
editor = {William Harrison},
title = {Typing for a minimal aspect language: preliminary report},
booktitle = {Proceedings of the 6th Workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2007, Vancouver, British Columbia, Canada, March
13, 2007},
series = {{ACM} International Conference Proceeding Series},
volume = {268},
pages = {15--22},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1233833.1233836},
doi = {10.1145/1233833.1233836},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foal/HuiR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/ZhangAJRP07,
author = {Bin Zhang and
Ehab Al{-}Shaer and
Radha Jagadeesan and
James Riely and
Corin Pitcher},
editor = {Volkmar Lotz and
Bhavani Thuraisingham},
title = {Specifications of a high-level conflict-free firewall policy language
for multi-domain networks},
booktitle = {12th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2007, Sophia Antipolis, France, June 20-22, 2007, Proceedings},
pages = {185--194},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1266840.1266871},
doi = {10.1145/1266840.1266871},
timestamp = {Wed, 29 Jun 2022 15:37:42 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/ZhangAJRP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/CirilloR07,
author = {Andrew Cirillo and
James Riely},
editor = {Gilles Barthe and
C{\'{e}}dric Fournet},
title = {Access Control Based on Code Identity for Open Distributed Systems},
booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
France, November 5-6, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4912},
pages = {169--185},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78663-4\_13},
doi = {10.1007/978-3-540-78663-4\_13},
timestamp = {Sat, 19 Oct 2019 20:09:31 +0200},
biburl = {https://dblp.org/rec/conf/tgc/CirilloR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-1205,
author = {Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
title = {Lambda-RBAC: Programming with Role-Based Access Control},
journal = {CoRR},
volume = {abs/0712.1205},
year = {2007},
url = {http://arxiv.org/abs/0712.1205},
eprinttype = {arXiv},
eprint = {0712.1205},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0712-1205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JagadeesanJR06,
author = {Radha Jagadeesan and
Alan Jeffrey and
James Riely},
title = {Typed parametric polymorphism for aspects},
journal = {Sci. Comput. Program.},
volume = {63},
number = {3},
pages = {267--296},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2006.02.008},
doi = {10.1016/J.SCICO.2006.02.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JagadeesanJR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PitcherR06,
author = {Corin Pitcher and
James Riely},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Dynamic Policy Discovery with Remote Attestation},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {111--125},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_8},
doi = {10.1007/11690634\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PitcherR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JagadeesanJPR06,
author = {Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {\emph{lambda}-RBAC: Programming with Role-Based Access Control},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {456--467},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_39},
doi = {10.1007/11787006\_39},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JagadeesanJPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrunsJJR04,
author = {Glenn Bruns and
Radha Jagadeesan and
Alan Jeffrey and
James Riely},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {{\(\mathrm{\mu}\)}ABC: {A} Minimal Aspect Calculus},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {209--224},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_14},
doi = {10.1007/978-3-540-28644-8\_14},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/BrunsJJR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RielyH03,
author = {James Riely and
Matthew Hennessy},
title = {Trust and Partial Typing in Open Systems of Mobile Agents},
journal = {J. Autom. Reason.},
volume = {31},
number = {3-4},
pages = {335--370},
year = {2003},
url = {https://doi.org/10.1023/B:JARS.0000021016.61054.3b},
doi = {10.1023/B:JARS.0000021016.61054.3B},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/RielyH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JagadeesanJR03,
author = {Radha Jagadeesan and
Alan Jeffrey and
James Riely},
editor = {Luca Cardelli},
title = {A Calculus of Untyped Aspect-Oriented Programs},
booktitle = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
Darmstadt, Germany, July 21-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2743},
pages = {54--73},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45070-2\_4},
doi = {10.1007/978-3-540-45070-2\_4},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/JagadeesanJR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HennessyR02,
author = {Matthew Hennessy and
James Riely},
title = {Resource Access Control in Systems of Mobile Agents},
journal = {Inf. Comput.},
volume = {173},
number = {1},
pages = {82--120},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.3089},
doi = {10.1006/INCO.2001.3089},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HennessyR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HennessyR02,
author = {Matthew Hennessy and
James Riely},
title = {Information flow vs. resource access in the asynchronous pi-calculus},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {24},
number = {5},
pages = {566--591},
year = {2002},
url = {https://doi.org/10.1145/570886.570890},
doi = {10.1145/570886.570890},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HennessyR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RielyH01,
author = {James Riely and
Matthew Hennessy},
title = {Distributed processes and location failures},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {693--735},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00326-1},
doi = {10.1016/S0304-3975(00)00326-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RielyH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HennessyR00,
author = {Matthew Hennessy and
James Riely},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Information Flow vs. Resource Access in the Asynchronous Pi-Calculus},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {415--427},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_35},
doi = {10.1007/3-540-45022-X\_35},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HennessyR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/RielyP00,
author = {James Riely and
Jan F. Prins},
editor = {Jens Palsberg},
title = {Flattening Is an Improvement},
booktitle = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
CA, USA, June 29 - July 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1824},
pages = {360--376},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-45099-3\_19},
doi = {10.1007/978-3-540-45099-3\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/RielyP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/HennessyR99,
author = {Matthew Hennessy and
James Riely},
editor = {Jan Vitek and
Christian Damsgaard Jensen},
title = {Type-Safe Execution of Mobile Agents in Anonymous Networks},
booktitle = {Secure Internet Programming, Security Issues for Mobile and Distributed
Objects},
series = {Lecture Notes in Computer Science},
volume = {1603},
pages = {95--115},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48749-2\_5},
doi = {10.1007/3-540-48749-2\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/HennessyR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RielyH99,
author = {James Riely and
Matthew Hennessy},
editor = {Andrew W. Appel and
Alex Aiken},
title = {Trust and Partial Typing in Open Systems of Mobile Agents},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {93--104},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292551},
doi = {10.1145/292540.292551},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RielyH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/HennessyR98,
author = {Matthew Hennessy and
James Riely},
editor = {Serge Demeyer and
Jan Bosch},
title = {Type-Safe Execution of Mobile Agents in Anonymous Networks},
booktitle = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops,
Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1543},
pages = {304},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49255-0\_81},
doi = {10.1007/3-540-49255-0\_81},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/HennessyR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RielyH98,
author = {James Riely and
Matthew Hennessy},
editor = {David B. MacQueen and
Luca Cardelli},
title = {A Typed Language for Distributed Mobile Processes (Extended Abstract)},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {378--390},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268978},
doi = {10.1145/268946.268978},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RielyH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennessyR98,
author = {Matthew Hennessy and
James Riely},
editor = {Uwe Nestmann and
Benjamin C. Pierce},
title = {Resource Access Control in Systems of Mobile Agents},
booktitle = {3rd International Workshop on High-Level Concurrent Languages, {HLCL}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
12, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {3},
pages = {174--188},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00141-0},
doi = {10.1016/S1571-0661(04)00141-0},
timestamp = {Fri, 11 Nov 2022 14:28:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennessyR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RielyH97,
author = {James Riely and
Matthew Hennessy},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Distributed Processes and Location Failures (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {471--481},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_203},
doi = {10.1007/3-540-63165-8\_203},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RielyH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CleavelandR94,
author = {Rance Cleaveland and
James Riely},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Testing-Based Abstractions for Value-Passing Systems},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {417--432},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_31},
doi = {10.1007/978-3-540-48654-1\_31},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/CleavelandR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/GoldbergMNPRR94,
author = {Allen Goldberg and
Peter Mills and
Lars S. Nyland and
Jan F. Prins and
John H. Reif and
James Riely},
editor = {Guy E. Blelloch and
K. Mani Chandy and
Suresh Jagannathan},
title = {Specification and Development of Parallel Algorithms with the Proteus
System},
booktitle = {Specification of Parallel Algorithms, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, May 9-11, 1994},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {18},
pages = {383--399},
publisher = {{DIMACS/AMS}},
year = {1994},
url = {https://doi.org/10.1090/dimacs/018/23},
doi = {10.1090/DIMACS/018/23},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/GoldbergMNPRR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-19 19:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
