Fusing Session-Typed Concurrent Programming into Functional Programming [PDF | doi] Chuta Sano, Deepak Garg, Ryan Kavanagh, Brigitte Pientka, and Bernardo Toninho. ICFP'2025
Fusing Session-typed Concurrent Programming into Functional Programming - Implementation (Software artifact) [doi] Chuta Sano, Deepak Garg, Ryan Kavanagh, Brigitte Pientka, and Bernardo Toninho. 2025
Split Decisions: Explicit Contexts for Substructural Languages [PDF | doi] Daniel Zackon, Chuta Sano, Alberto Momigliano, and Brigitte Pientka. CPP'2025
Split Decisions: Explicit Contexts for Substructural Languages (artifact) (Software artifact) [doi] Daniel Zackon, Chuta Sano, Alberto Momigliano, and Brigitte Pientka. 2024
Deconstructed Proto-Quipper: A Rational Reconstruction (Technical report) Ryan Kavanagh, Chuta Sano, and Brigitte Pientka. 2025
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity [PDF | doi] Chuta Sano, Ryan Kavanagh, and Brigitte Pientka. OOPSLA'2023
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity (Technical report) [PDF] Chuta Sano, Ryan Kavanagh, and Brigitte Pientka. 2023
Mechanizing Session-Types using a Structural View (Software artifact) [doi] Chuta Sano, Ryan Kavanagh, and Brigitte Pientka. 2023
Manifestly Phased Communication via Shared Session Types [PDF | doi] Chuta Sano, Stephanie Balzer, and Frank Pfenning. COORDINATION'2021
Manifestly Phased Communication via Shared Session Types (Technical report) [PDF] Chuta Sano, Stephanie Balzer, and Frank Pfenning. 2021
On Session Typed Contracts for Imperative Languages (Technical Report) [PDF] Chuta Sano. 2019
Turning Legacy IR Devices into Smart IoT Devices [PDF | doi] Chuta Sano, Chao Gao, Zupei Li, Zhen Ling, and Xinwen Fu. WASA'2018