Emanuele D'Osualdo

New ESOP paper: An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols

I am attending POPL’25. Our Bluebell paper is going to be presented on Thursday!

New POPL paper: Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning

I started a Tenure-Track Professorship at the University of Konstanz!

I will attend the Dagstuhl seminar on Next Generation Protocols for Heterogeneous Systems.

I will attend POPL’24 in London.

Giving a PoP seminar talk at CMU.

Giving a PLDG talk at Cornell.

Visiting Alexandra Silva at Cornell.

I am in the PC of POPL’24.

I am in the PC of the Erlang Workshop’23.

The DimSum paper won a distinguished paper award at POPL23!

New post: I will be at POPL'23!

New post: I'm at SPLASH'22!

New POPL paper: The Path to Durable Linearizability

New POPL paper: DimSum: A Decentralized Approach to Multi-language Semantics and Verification

New OOPSLA paper: A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency

New OOPSLA paper: Proving Hypersafety Compositionally

Giving a talk at the RSS Meetup on my security work.

Giving an SRM Seminar on my security work.

I will attend the Iris Workshop (in person!) and will give an invited talk on TaDA Live.

I will present TaDA Live at POPL22 (virtually)

New TOPLAS paper: TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs

I will present a paper at CONCUR20 (held virtually)

New CONCUR paper: Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

I joined Derek Dreyer’s group as Postdoc, at MPI-SWS Saarbrücken!

I will participate to the Iris Workshop at the University of Aarhus.

I will give a talk on TaDA Live at the Surrey Concurrency Workshop (S-REPLS) at the University of Surrey.

I am local organiser for CALCO/MFPS 2019 at UCL, London.

I will give a talk at the Effective Verification workshop at the Lorentz Center in Leiden.

I will give a talk at Open Problems in Concurrency Theory at POPL’19 in Lisbon.

New post: Announcement: Marie-Curie Fellowship

I am giving a seminar at 3pm at University of Kent.

New post: Magritte, and the scientist's condition

I am attending POPL’18 in LA.

I am giving a seminar at 1pm at Queen Mary’s Theory group.

New post: Stargazer: understanding the π-calculus, visually

I am attending the FMATS workshop in Cambridge.

I am giving a short talk at HIGHLIGHTS at Queen Mary.

I am attending the Computer Security Foundations conference in Santa Barbara, California to present this paper.

New CSF paper: Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-bounded Processes

I will be at the Aarhus Concurrency Workshop.

I moved to Imperial College London as a Research Associate in Philippa Gardner’s group!

New post: Why Computer Science is a Science

New post: The art of the misspelling

This winter semester I am teaching Concurrency Theory.

My PhD thesis won the CPHC/BCS Distinguished Dissertation award!

Talk on the Hierarchical π-calculus // 2pm, NTU (N4-B2C-06)

Talk on the Hierarchical π-calculus at CPDS // 11:50, IMS Auditorium

I will be at Automata Logics and Games hosted by NUS in Singapore

I will be attending LICS’16 in NYC.

New LICS paper: First-order logic with reachability for infinite-state systems

This semester I am teaching Advanced Automata Theory, follow the link for more information.

New ESOP paper: On Hierarchical Communication Topologies in the π-calculus

New PhD Thesis paper: Verification of Message Passing Concurrent Systems

New CoRR paper: A Type System for proving Depth Boundedness in the π-calculus

New SAS paper: Automatic Verification of Erlang-Style Concurrency

New AGERE paper: Soter: An Automatic Safety Verifier for Erlang