| 2024 | PPDP | On the Preciseness of Subtyping in Session Types: 10 Years Later. | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2018 | ESOP | A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. | Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek |
| 2018 | IFM | Stateful Behavioral Types for Active Objects. | Eduard Kamburjan, Tzu-Chun Chen |
| 2018 | SEFM | Program Verification for Exception Handling on Active Objects Using Futures. | Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen |
| 2016 | FORTE | A Type Theory for Robust Failure Handling in Distributed Systems. | Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster |
| 2016 | ICFEM | Session-Based Compositional Analysis for Actor-Based Languages Using Futures. | Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen |
| 2015 | Coordination | Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. | Luca Padovani, Tzu-Chun Chen, Andrea Tosatto |
| 2014 | PPDP | On the Preciseness of Subtyping in Session Types. | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2013 | FORTE | Monitoring Networks through Multiparty Session Types. | Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida |
| 2012 | CONCUR | Specifying Stateful Asynchronous Properties for Distributed Programs. | Tzu-Chun Chen, Kohei Honda |
| 2011 | ICDCIT | Scribbling Interactions with a Formal Foundation. | Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida |