Yoshida, Nobuko
- Featherweight Go
2020/05/24 by Robert Griesemer, Raymond Hu, Griesemer, Robert +13 · 5 voices
Computer Science · Social Sciences · #Artificial Intelligence in Games #Digital Games and Media #Logic, programming, and type systems #cs.LO #cs.PL
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
2013/04/06 by Pierre-Malo Deniélou, Deniélou, Pierre-Malo, Nobuko Yoshida +1 · 4 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Distributed systems and fault tolerance
- Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
2016/10/27 by Lange, Julien, Ng, Nicholas, Toninho, Bernardo +1 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Precise Subtyping for Asynchronous Multiparty Sessions
2020/10/26 by Ghilezan, Silvia, Pantović, Jovanka, Prokić, Ivan +2 · 3 citations
#F.3.2 #F.3.3 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Zooid: a DSL for Certified Multiparty Computation
2021/03/18 by Castro-Perez, David, Ferreira, Francisco, Gheri, Lorenzo +1 · 3 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Deadlock-free asynchronous message reordering in Rust with multiparty session types
2021/12/23 by Zak Cutner, Cutner, Zak, Nobuko Yoshida +3 · 3 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software System Performance and Reliability
- Verifying Asynchronous Interactions via Communicating Session Automata
2019/01/28 by Julien Lange, Lange, Julien, Nobuko Yoshida +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- Less is More Revisited: Association with Global Protocols and Multiparty Sessions
2024/02/26 by Yoshida, Nobuko, Hou, Ping, Kuhn, Iona · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)
- Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
2024/05/13 by Peters, Kirstin, Yoshida, Nobuko · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
2022/07/05 by Barwell, Adam D., Scalas, Alceste, Yoshida, Nobuko +1 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
2024/11/12 by Udomsrirungruang, Thien, Yoshida, Nobuko · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs
2024/03/05 by He, Mengting, Xia, Shihao, Qin, Boqin +4 · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
2022/04/28 by Lagaillardie, Nicolas, Neykova, Rumyana, Yoshida, Nobuko · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
2023/05/10 by Barwell, Adam D., Hou, Ping, Yoshida, Nobuko +1 · 1 citation
#Distributed #FOS: Computer and information sciences #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)