Nobuko Yoshida
Imperial College London
H-index: 64
Europe-United Kingdom
Top articles of Nobuko Yoshida
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs | arXiv preprint arXiv:2403.02661 | Mengting He Shihao Xia Boqin Qin Nobuko Yoshida Tingting Yu | 2024/3/5 |
Less is More Revisit | arXiv preprint arXiv:2402.16741 | Nobuko Yoshida Ping Hou | 2024/2/26 |
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses | arXiv preprint arXiv:2402.06988 | Thien Udomsrirungruang Nobuko Yoshida | 2024/2/10 |
Programming Language Implementations with Multiparty Session Types | Nobuko Yoshida | 2024/1/29 | |
Mixed choice in session types | Information and Computation | Kirstin Peters Nobuko Yoshida | 2024/6/1 |
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software | arXiv preprint arXiv:2404.03712 | Diana Costa Raymond Hu | 2024/4/4 |
Hybrid Multiparty Session Types--Full Version | arXiv preprint arXiv:2302.01979 | Lorenzo Gheri Nobuko Yoshida | 2023/2/3 |
Multicompatibility for multiparty-session composition | Franco Barbanera Mariangiola Dezani-Ciancaglini Lorenzo Gheri Nobuko Yoshida | 2023/10/22 | |
Dynamically Updatable Multiparty Session Protocols (Artifact) | David Castro-Perez Nobuko Yoshida | 2023 | |
Rollback recovery in session-based programming | Claudio Antares Mezzina Francesco Tiezzi Nobuko Yoshida | 2023/6/15 | |
Causal computational complexity of distributed processes | Information and Computation | Romain Demangeon Nobuko Yoshida | 2023/1/1 |
Designing asynchronous multiparty protocols with crash-stop failures | arXiv preprint arXiv:2305.06238 | Adam D Barwell Ping Hou Nobuko Yoshida Fangyi Zhou | 2023/5/10 |
Programming Languages and Systems | ACM Transactions on | M Vukasovic A Prokopec A Boruch-Gruszecki M Odersky E Lee | 2023 |
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection | Proceedings of the ACM on Programming Languages | Lorenzo Gheri Nobuko Yoshida | 2023/4/6 |
Checkpoint-based rollback recovery in session programming | arXiv preprint arXiv:2312.02851 | Claudio Antares Mezzina Francesco Tiezzi Nobuko Yoshida | 2023/12/3 |
Precise subtyping for asynchronous multiparty sessions | ACM Transactions on Computational Logic | Silvia Ghilezan Jovanka Pantović Ivan Prokić Alceste Scalas Nobuko Yoshida | 2023/4/3 |
Crash-Stop Failures in Asynchronous Multiparty Session Types | arXiv preprint arXiv:2311.11851 | Adam D Barwell Ping Hou Nobuko Yoshida Fangyi Zhou | 2023/11/20 |
Deadlock-free asynchronous message reordering in rust with multiparty session types | Zak Cutner Nobuko Yoshida Martin Vassor | 2022/4/2 | |
On the Expressiveness of Mixed Choice Sessions (Technical Report) | arXiv preprint arXiv:2208.07041 | Kirstin Peters Nobuko Yoshida | 2022/8/15 |
Generic go to go: dictionary-passing, monomorphisation, and hybrid | Proceedings of the ACM on Programming Languages | Stephen Ellis Shuofei Zhu Nobuko Yoshida Linhai Song | 2022/10/31 |