Emanuele D'Osualdo

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 16

Top Venues

CoRR

Proc. ACM Program. Lang.

CSF

LICS

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan
Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning. CoRR (2024)
Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis
The Path to Durable Linearizability. Proc. ACM Program. Lang. 7 (POPL) (2023)
Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer
DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency. CoRR (2022)
Emanuele D'Osualdo, Azadeh Farzan, Derek Dreyer
Proving Hypersafety Compositionally. CoRR (2022)
Emanuele D'Osualdo, Azadeh Farzan, Derek Dreyer
Proving hypersafety compositionally. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis
The Path to Durable Linearizability. CoRR (2022)
Emanuele D'Osualdo, Julian Sutherland, Azadeh Farzan, Philippa Gardner
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs. ACM Trans. Program. Lang. Syst. 43 (4) (2021)
Emanuele D'Osualdo, Felix Stutz
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions. CONCUR (2020)
Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner, Julian Sutherland
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs. CoRR (2019)
Emanuele D'Osualdo, Felix Stutz
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions. CoRR (2019)
Emanuele D'Osualdo, Luke Ong, Alwen Tiu
Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes. CSF (2017)
Emanuele D'Osualdo, C.-H. Luke Ong
On Hierarchical Communication Topologies in the \pi -calculus. ESOP (2016)
Emanuele D'Osualdo, C.-H. Luke Ong
On Hierarchical Communication Topologies in the pi-calculus. CoRR (2016)
Emanuele D'Osualdo, Roland Meyer, Georg Zetzsche
First-order logic with reachability for infinite-state systems. LICS (2016)
Emanuele D'Osualdo, Luke Ong
A Type System for proving Depth Boundedness in the pi-calculus. CoRR (2015)
Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong
Automatic Verification of Erlang-Style Concurrency CoRR (2013)
Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong
Automatic Verification of Erlang-Style Concurrency. SAS (2013)
Emanuele D'Osualdo, Jonathan Kochems, Luke Ong
Soter: an automatic safety verifier for erlang. AGERE!@SPLASH (2012)

Emanuele D'Osualdo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Emanuele D'Osualdo