Emanuele D'Osualdo

According to our database, Emanuele D'Osualdo authored at least 14 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning.

Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan

CoRR, 2024

2023

DimSum: A Decentralized Approach to Multi-language Semantics and Verification.

Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer

Proc. ACM Program. Lang., January, 2023

The Path to Durable Linearizability.

Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis

Proc. ACM Program. Lang., January, 2023

2022

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency.

Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez

Proc. ACM Program. Lang., 2022

Proving hypersafety compositionally.

Emanuele D'Osualdo, Azadeh Farzan, Derek Dreyer

Proc. ACM Program. Lang., 2022

2021

TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs.

Emanuele D'Osualdo, Julian Sutherland, Azadeh Farzan, Philippa Gardner

ACM Trans. Program. Lang. Syst., 2021

2020

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.

Emanuele D'Osualdo, Felix Stutz

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2017

Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes.

Emanuele D'Osualdo, Luke Ong, Alwen Tiu

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

First-order logic with reachability for infinite-state systems.

Emanuele D'Osualdo, Roland Meyer, Georg Zetzsche

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

On Hierarchical Communication Topologies in the \pi -calculus.

Emanuele D'Osualdo, C.-H. Luke Ong

Proceedings of the Programming Languages and Systems, 2016

2015

Verification of message passing concurrent systems.

Emanuele D'Osualdo

PhD thesis, 2015

A Type System for proving Depth Boundedness in the pi-calculus.

Emanuele D'Osualdo, Luke Ong

CoRR, 2015

2013

Automatic Verification of Erlang-Style Concurrency.

Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong

Proceedings of the Static Analysis - 20th International Symposium, 2013

2012

Soter: an automatic safety verifier for erlang.

Emanuele D'Osualdo, Jonathan Kochems, Luke Ong

Proceedings of the 2nd edition on Programming systems, 2012