Concurrency and Session Types

Papers on concurrency and session types from POPL, PLDI, OOPSLA, ECOOP, and ICFP.

---

2025

• Almost Fair Simulations — ICFP 2025
  Semantic equivalences for concurrent programs under fair scheduling.

• CRDT Emulation, Simulation, and Representation Independence — ICFP 2025
  Formal conditions for semantic equivalence of CRDT implementations.

• Fusing Session-Typed Concurrent Programming into Functional Programming — ICFP 2025
  Integrates session-typed concurrency directly into functional programming with type safety.

• Intersection Types for Session-Typed Concurrent Programs — ECOOP 2025
  Session types extended with intersection for multi-protocol process endpoints.

• Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs — ICFP 2025
  Separation logic for probabilistic error bounds in concurrent programs.

• Reasoning about Weak Isolation Levels in Separation Logic — ICFP 2025
  Compositional reasoning for database transactions under weak isolation.

• Relax! The Semilenient Core of Choreographic Programming — ICFP 2025
  Minimal core calculus for choreographic programming with clean denotational semantics.