Publications

Papers and manuscripts. Mechanized artifacts are linked where they are public.

Accepted

1. 
   Aosen Xiong, Yudi Bai, Haifeng Shi, Lian Sun, Mier Ta, and Werner Dietl. Transitive, Abstract, and Class Polymorphic Immutability. Proc. ACM Program. Lang. 10, OOPSLA2, Article 359 (October 2026), 28 pages. Distinguished Paper Award Details Paper
2. 
   Aosen Xiong and Werner Dietl. Generic Abstract Immutability Types. Accepted at IWACO 2026. Details Paper

In Preparation

• Reusable qualifier framework in Lean 4 — manuscript and artifact in preparation.
• Semantic immutability for racy derived caches — manuscript in preparation.

Project background and technical detail for each of these lines of work is on the research page.