- Akinori Yonezawa:
Early Concurrent/Mobile Objects. ECOOP 2006: 198-202 - Khaled Ragab, Akinori Yonezawa:
leK, Dge-Interleaving Structuring Technique for Peer-Peer Overlay Network. IAT Workshops 2006: 443-446 - Nicolas Marti, Reynald Affeldt, Akinori Yonezawa:
Formal Verification of the Heap Manager of an Operating System Using Separation Logic. ICFEM 2006: 400-419 - Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa:
Combining type-based analysis and model checking for finding counterexamples against non-interference. PLAS 2006: 17-26 - Yoshinori Kobayashi, Eric Y. Chen, Yoshihiro Oyama, Akinori Yonezawa:
Protecting Web Servers from Octopus Attacks. SAINT 2006: 82-85 - 2005
- Eric Y. Chen, Akinori Yonezawa:
Practical techniques for defending against DDoS attacks. AICCSA 2005: 72 - Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa:
Aspectual Caml: an aspect-oriented functional language. ICFP 2005: 320-330 - Yoshihiro Oyama, Koichi Onoue, Akinori Yonezawa:
Speculative Security Checks in Sandboxing Systems. IPDPS 2005 - Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa:
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. LOPSTR 2005: 98-114 - 2004
- Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa:
Region-Based Memory Management for a Dynamically-Typed Language. APLAS 2004: 229-245 - Toshio Endo, Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa:
High performance LU factorization for non-dedicated clusters. CCGRID 2004: 678-685 - Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa:
Routing and resource discovery in Phoenix Grid-enabled message passing library. CCGRID 2004: 670-677 - Takashi Masuyama, Frédéric Peschanski, Yoshihiro Oyama, Akinori Yonezawa:
MobileScope: A Programming Language with Objective Mobility. ICDCS Workshops 2004: 542-547 - 2003
- Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa:
Virtual private grid: a command shell for utilizing hundreds of machines efficiently. Future Gener. Comput. Syst. 19(4): 563-573 (2003) - Etsuya Shibayama, Akinori Yonezawa:
Secure Software Infrastructure in the Internet Age. New Gener. Comput. 21(2): 87-106 (2003) - Kazumasa Itabashi, Katsuya Matsubara, Yutaka Moriyama, Yuuichi Someya, Kazuhiko Kato, Tatsurou Sekiguchi, Akinori Yonezawa:
Implementing an applet system without fixing virtual-machine designs. Syst. Comput. Jpn. 34(2): 32-42 (2003) - Toshiyuki Maeda, Akinori Yonezawa:
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory. ASIAN 2003: 3-17 - Eric Y. Chen, Akinori Yonezawa:
FSP: Federation of Service Providers on the Internet. ISCC 2003: 1213-1218 - Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa:
The Interface Definition Language for Fail-Safe C. ISSS 2003: 192-208 - Frédéric Peschanski, Jean-Pierre Briot, Akinori Yonezawa:
Fine-Grained Dynamic Adaptation of Distributed Components. Middleware 2003: 123-142 - Kenjiro Taura, Kenji Kaneda, Toshio Endo, Akinori Yonezawa:
Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources. PPoPP 2003: 216-229 - Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa:
Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers. Lecture Notes in Computer Science 2609, Springer 2003, ISBN 3-540-00708-3 [contents] - 2002
- Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa:
Virtual Private Grid: A Command Shell for Utilizing Hundreds of Machines Efficiently. CCGRID 2002: 212-219 - Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa:
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. ISSS 2002: 133-153 - Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa:
Supporting objects in run-time bytecode specialization. ASIA-PEPM 2002: 50-60 - Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa:
Regular Expression Types for Strings in a Text Processing Language. TIP@MPC 2002: 95-113 - 2001
- Hidehiko Masuhara, Akinori Yonezawa:
A Portable Approach to Dynamic Optimization in Run-time Specialization. New Gener. Comput. 20(1): 101-124 (2001) - Toshio Endo, Kenjiro Taura, Akinori Yonezawa:
Predicting Scalability of Parallel Garbage Collectors on Shared Memory Multiprocessors. IPDPS 2001: 43 - Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa:
Fusion of Concurrent Invocations of Exclusive Methods. PaCT 2001: 293-307 - Hidehiko Masuhara, Akinori Yonezawa:
Run-Time Bytecode Specialization. PADO 2001: 138-154