- This Page
- Home
- テンプレート01
- テンプレート01
- テンプレート01
Main Contents
Papers and slides of Naoki Kobayashi [Arrow01 + h2-01]
Electronic copies of most of the papers listed below are available: Send email to
[通常使用する文字]
[通常使用する文字 + 文字を斜めに]
Notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
[通常使用する文字 + 太字強調]
H2タイトルのみ(本文無し) [Arrow01 + h2-01ex]
H3タイトルのみ(本文無し) [Arrow04 + h3-01ex]
2008 [Arrow04 + h3-01]
Journal Papers [h4-01]
- Koichi Kodama, Kohei Suenaga, and Naoki Kobayashi, "Translation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Type," To appear in Journal of Functional Programming. A preliminary summary appeared in Proceedings of 2nd Asian Symposium on Programming Language and Systems (APLAS 2004), Springer LNCS 3302, pp.41-56, 2004. ( abstract ) (paper)
- リスト リンクArrow03 リンクArrow05 リンクPDF リンクGZ リンクPS01 リンクPS02
Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01]
- リスト1段目
- リスト2段目
- リスト2段目
- リスト2段目
- リスト2段目
Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01] Dummy [TXT-01]
Conference Papers
- Daisuke Kikuchi and Naoki Kobayashi, "Type-Based Verification of Correspondence Assertions for Communication Protocols," Proceedings of APLAS 2007, Springer LNCS, to appear. [ abstract ] [paper© Springer-Verlag]
- Naoki Kobayashi and Takashi Suto, "Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the Pi-Calculus," Proceedings of ICALP 2007, Springer LNCS 4596, pp.740-751, 2007. [ abstract ] [short version© Springer-Verlag] [full version] [ Undecidability of BPP Equivalences Revisited (a supplementary note on the flaws of Hans Huttel's proof of undecidability of BPP equivalences and a corrected proof)]
- Davide Sangiorgi, Naoki Kobayashi, and Eijiro Sumii, "Environmental Bisimulations for Higher-Order Languages," LICS 2007, pp.303-312, 2007. [ abstract ] [short version©2007 IEEE]
- Kohei Suenaga and Naoki Kobayashi, "Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts", Proceedings of ESOP 2007, Springer LNCS 4421, pp.490-504, 2007. [short version© Springer-Verlag]
- Naoki Kobayashi, "A New Type System for Deadlock-Free Processes," Proceedings of CONCUR 2006, Springer LNCS 4137, pp.233-247, 2006. ( abstract ) (short version© Springer-Verlag) (full version)
- Hiroshi Unno, Naoki Kobayashi, and Akinori Yonezawa, "Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference," Proceedings of ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2006), pp.17-26, 2006. (abstract) (paper©2006 ACM)
- Futoshi Iwama, Atsushi Igarashi and Naoki Kobayashi, "Resource Usage Analysis for a Functional Language with Exceptions," Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM 2006), pp.38-47, 2006. ( abstract ) (shorter version©2006 ACM)
- Kohei Suenaga, Naoki Kobayashi, and Akinori Yonezawa, "Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives," Proceedings of LOPSTR 2005, 2005. ( abstract ) (short version© Springer-Verlag)
- Akihito Nagata, Naoki Kobayashi, and Akinori Yonezawa, "Region-Based Memory Management for a Dynamically-Typed Language," Proceedings of 2nd Asian Symposium on Programming Language and Systems (APLAS 2004), Springer LNCS 3302, pp.229-245, 2004. ( abstract ) (short version© Springer-Verlag)
- Naoki Kobayashi, "Useless-Code Elimination and Program Slicing for the Pi-Calculus", Proceedings of the First Asian Symposium on Programming Languages and Systems (APLAS'03), Springer LNCS 2895, pp.55-72. ( abstract ) (short version© Springer-Verlag) (full version)
- "Time Regions and Effects for Resource Usage Analysis" ( abstract ) (Summary ©2003 ACM) (full paper )
- Naoki Kobayashi
- The summary appeared in Proceedings of ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (TLDI'03), pp.50-61, 2003.
- "Type Systems for Concurrent Programs" ( abstract ) (paper© Springer-Verlag) (extended version)
- Naoki Kobayashi
- Proceedings of UNU/IIST 10th Anniversary Colloquium, LNCS 2757, pp.439-453.
- "An Implicitly-Typed Deadlock-Free Process Calculus" ( abstract ) (Summary ©2000 Springer) ( Full Paper )
- Naoki Kobayashi, Shin Saito, and Eijiro Sumii
- A summary will be presented at CONCUR2000. A preliminary version of the full paper has been published as Technical Report TR00-01, Department of Information Science, University of Tokyo, January 2000.
- "Quasi-Linear Types" (abstract) (summary in POPL'99) (full version)
- Naoki Kobayashi
- A revised version of the paper published as a technical report TR98-02, Department of Information Science, University of Tokyo, September 1998. A summary appeared in the Proceedings of ACM POPL'99, pp.29-42.
- "A Generalized Deadlock-Free Process Calculus" ( abstract )(full version is available from here )
- Eijiro Sumii and Naoki Kobayashi
- Summary will appear in Proceedings of Workshop on High-Level Concurrent Language (HLCL'98), ENTCS, Vol.16, No.3. Full version will appear as a technical report from Department of Information Science, University of Tokyo
- "Static Analysis of Communication for Asynchronous Concurrent Programming Languages" (abstract) (postscript file)
- Naoki Kobayashi, Motoki Nakade, and Akinori Yonezawa
- Second International Static Analysis Symposium (SAS'95), LNCS 983, pp.225-242, 1995.
- "Higher-Order Concurrent Linear Logic Programming" (abstract)
- Naoki Kobayashi and Akinori Yonezawa
- Theory and Practice of Parallel Programming, LNCS 907, pp.137-166, Springer Verlag, 1995.
- "PARCS: An MPP-Oriented CLP language"
- K. Konno, M. Nagatsuka, N. Kobayashi, S. Matsuoka, and A. Yonezawa
- Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94), pp.254-263, World Scientific, September 1994.
- "ACL - A Concurrent Linear Logic Programming Paradigm"
- Naoki Kobayashi and Akinori Yonezawa
- Logic Programming: Proceedings of the 1993 International Symposium, pp.279-294, MIT Press, 1993.
Slides
- "Substructural Type Systems for Program Analysis" (Slides)
- Naoki Kobayashi
- Invited Talk at FLOPS 2008, April 14-16, Ise, Japan.
- "Type Systems for Concurrent Programs" (Slides)
- Naoki Kobayashi
- UNU/IIST 10th Anniversary Colloquium, March 2002, Lisbon, Portugal.
- "Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness" (Slides)
- Naoki Kobayashi
- Invited talk at IFIP TCS2000, August 2000, Sendai.
- "Distributed and Concurrent Objects Based on Linear Logic" (slides)
- Naoki Kobayashi and Akinori Yonezawa
- Invited Talk at FMOODS'99, Florence, Italy.
- "Type-Based Analysis of Concurrent Programs" ( slides : It is recommended to view this file with a PS previewer, rather than to print it on papers, because animation effect is achieved by using multiple pages.)
- Naoki Kobayashi
- Invited Talk at Second International Workshop on Types in Compilation (TIC'98)