Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Emanuele D'Osualdo
@article{DBLP:journals/corr/abs-2402-18708,
author = {Jialu Bao and
Emanuele D'Osualdo and
Azadeh Farzan},
title = {Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic
Reasoning},
journal = {CoRR},
volume = {abs/2402.18708},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.18708},
doi = {10.48550/ARXIV.2402.18708},
eprinttype = {arXiv},
eprint = {2402.18708},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-18708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DOsualdoRV23,
author = {Emanuele D'Osualdo and
Azalea Raad and
Viktor Vafeiadis},
title = {The Path to Durable Linearizability},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {748--774},
year = {2023},
url = {https://doi.org/10.1145/3571219},
doi = {10.1145/3571219},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DOsualdoRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SammlerSSDKGD23,
author = {Michael Sammler and
Simon Spies and
Youngju Song and
Emanuele D'Osualdo and
Robbert Krebbers and
Deepak Garg and
Derek Dreyer},
title = {DimSum: {A} Decentralized Approach to Multi-language Semantics and
Verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {775--805},
year = {2023},
url = {https://doi.org/10.1145/3571220},
doi = {10.1145/3571220},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SammlerSSDKGD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DOsualdoFD22,
author = {Emanuele D'Osualdo and
Azadeh Farzan and
Derek Dreyer},
title = {Proving hypersafety compositionally},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {289--314},
year = {2022},
url = {https://doi.org/10.1145/3563298},
doi = {10.1145/3563298},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DOsualdoFD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FruminDHP22,
author = {Dan Frumin and
Emanuele D'Osualdo and
Bas van den Heuvel and
Jorge A. P{\'{e}}rez},
title = {A bunch of sessions: a propositions-as-sessions interpretation of
bunched implications in channel-based concurrency},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {841--869},
year = {2022},
url = {https://doi.org/10.1145/3563318},
doi = {10.1145/3563318},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FruminDHP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-05421,
author = {Dan Frumin and
Emanuele D'Osualdo and
Bas van den Heuvel and
Jorge A. P{\'{e}}rez},
title = {A Bunch of Sessions: {A} Propositions-as-Sessions Interpretation of
Bunched Implications in Channel-Based Concurrency},
journal = {CoRR},
volume = {abs/2209.05421},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.05421},
doi = {10.48550/ARXIV.2209.05421},
eprinttype = {arXiv},
eprint = {2209.05421},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-07448,
author = {Emanuele D'Osualdo and
Azadeh Farzan and
Derek Dreyer},
title = {Proving Hypersafety Compositionally},
journal = {CoRR},
volume = {abs/2209.07448},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.07448},
doi = {10.48550/ARXIV.2209.07448},
eprinttype = {arXiv},
eprint = {2209.07448},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-07448.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-07631,
author = {Emanuele D'Osualdo and
Azalea Raad and
Viktor Vafeiadis},
title = {The Path to Durable Linearizability},
journal = {CoRR},
volume = {abs/2211.07631},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.07631},
doi = {10.48550/ARXIV.2211.07631},
eprinttype = {arXiv},
eprint = {2211.07631},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-07631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DOsualdoSFG21,
author = {Emanuele D'Osualdo and
Julian Sutherland and
Azadeh Farzan and
Philippa Gardner},
title = {TaDA Live: Compositional Reasoning for Termination of Fine-grained
Concurrent Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {43},
number = {4},
pages = {16:1--16:134},
year = {2021},
url = {https://doi.org/10.1145/3477082},
doi = {10.1145/3477082},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DOsualdoSFG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DOsualdoS20,
author = {Emanuele D'Osualdo and
Felix Stutz},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Decidable Inductive Invariants for Verification of Cryptographic Protocols
with Unbounded Sessions},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {31:1--31:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.31},
doi = {10.4230/LIPICS.CONCUR.2020.31},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DOsualdoS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-05750,
author = {Emanuele D'Osualdo and
Azadeh Farzan and
Philippa Gardner and
Julian Sutherland},
title = {TaDA Live: Compositional Reasoning for Termination of Fine-grained
Concurrent Programs},
journal = {CoRR},
volume = {abs/1901.05750},
year = {2019},
url = {http://arxiv.org/abs/1901.05750},
eprinttype = {arXiv},
eprint = {1901.05750},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-05750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-05430,
author = {Emanuele D'Osualdo and
Felix Stutz},
title = {Decidable Inductive Invariants for Verification of Cryptographic Protocols
with Unbounded Sessions},
journal = {CoRR},
volume = {abs/1911.05430},
year = {2019},
url = {http://arxiv.org/abs/1911.05430},
eprinttype = {arXiv},
eprint = {1911.05430},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-05430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/DOsualdoOT17,
author = {Emanuele D'Osualdo and
Luke Ong and
Alwen Tiu},
title = {Deciding Secrecy of Security Protocols for an Unbounded Number of
Sessions: The Case of Depth-Bounded Processes},
booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
Barbara, CA, USA, August 21-25, 2017},
pages = {464--480},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CSF.2017.32},
doi = {10.1109/CSF.2017.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/DOsualdoOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DOsualdoO16,
author = {Emanuele D'Osualdo and
C.{-}H. Luke Ong},
editor = {Peter Thiemann},
title = {On Hierarchical Communication Topologies in the {\textbackslash}pi
-calculus},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9632},
pages = {149--175},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49498-1\_7},
doi = {10.1007/978-3-662-49498-1\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/DOsualdoO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DOsualdoMZ16,
author = {Emanuele D'Osualdo and
Roland Meyer and
Georg Zetzsche},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {First-order logic with reachability for infinite-state systems},
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 = {457--466},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934552},
doi = {10.1145/2933575.2934552},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DOsualdoMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DOsualdoO16,
author = {Emanuele D'Osualdo and
C.{-}H. Luke Ong},
title = {On Hierarchical Communication Topologies in the pi-calculus},
journal = {CoRR},
volume = {abs/1601.01725},
year = {2016},
url = {http://arxiv.org/abs/1601.01725},
eprinttype = {arXiv},
eprint = {1601.01725},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DOsualdoO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/DOsualdo15,
author = {Emanuele D'Osualdo},
title = {Verification of message passing concurrent systems},
school = {University of Oxford, {UK}},
year = {2015},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711956},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/DOsualdo15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DOsualdoO15,
author = {Emanuele D'Osualdo and
Luke Ong},
title = {A Type System for proving Depth Boundedness in the pi-calculus},
journal = {CoRR},
volume = {abs/1502.00944},
year = {2015},
url = {http://arxiv.org/abs/1502.00944},
eprinttype = {arXiv},
eprint = {1502.00944},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DOsualdoO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DOsualdoKO13,
author = {Emanuele D'Osualdo and
Jonathan Kochems and
C.{-}H. Luke Ong},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Automatic Verification of Erlang-Style Concurrency},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {454--476},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_24},
doi = {10.1007/978-3-642-38856-9\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/DOsualdoKO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-2201,
author = {Emanuele D'Osualdo and
Jonathan Kochems and
C.{-}H. Luke Ong},
title = {Automatic Verification of Erlang-Style Concurrency},
journal = {CoRR},
volume = {abs/1303.2201},
year = {2013},
url = {http://arxiv.org/abs/1303.2201},
eprinttype = {arXiv},
eprint = {1303.2201},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-2201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/DOsualdoKO12,
author = {Emanuele D'Osualdo and
Jonathan Kochems and
Luke Ong},
editor = {Gul A. Agha and
Rafael H. Bordini and
Assaf Marron and
Alessandro Ricci},
title = {Soter: an automatic safety verifier for erlang},
booktitle = {Proceedings of the 2nd edition on Programming systems, languages and
applications based on actors, agents, and decentralized control abstractions,
AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
pages = {137--140},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414639.2414658},
doi = {10.1145/2414639.2414658},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/agere/DOsualdoKO12.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-03-27 20:30 CET 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:
