List of publications

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.

Articles in Journals

• Ichiro Hasuo and Kohei Suenaga. "Formal Verification of CPS -- An Approach Based on Nonstandard Analysis" (in Japanese). Journal of the Society of Instrument and Congtrol Engineers, Vol. 53 (12), pp.1--6.
• Ryosuke Sato, Kohei Suenaga and Naoki Kobayashi. "Ordered Types for Stream Processing of Tree-Structured Data". Journal of Information Processing, Vol. 19, pp. 74--87, February 9, 2011. (Won Journal of InformationProcessing Outstanding Paper Award)
• Eri Iimura, Naoki Kobayashi and Kohei Suenaga. "Identifying Deadlock Errors by Type Error Slicing" (in Japanese). Transactions of Information Processing Society of Japan (Programming), Vol.1, No.2, pp.71--84. Septempber, 2008.
• Koichi Kodama, Kohei Suenaga and Naoki Kobayashi. "Translation of Tree-processing Programs into Stream-processing Programs Based on Ordered Linear Type". Journal of Functional Programming, 18(3), pp.333--371, Cambridge University Press, January 2008.
• Naoki Kobayashi, Kohei Suenaga and Lucian Wischik. Resouce Usage Analysis for the Pi-Calculus. Logical Methods in Computer Science, 2(3:4), 2006.

Submitted papers

Refereed Conference Papers

• Tatsuya Sonobe, Kohei Suenaga, and Atsushi Igarashi. Automatic memory management based on program transformation using ownerships. In Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS2014), Lecture Notes in Computer Science. Springer-Verlag, November 2014.
• Takumi Akazaki, Ichiro Hasuo, and Kohei Suenaga. Input Synthesis for Sampled Data Systems by Program Logic. To appear in Proc. HAS 2014.
• Kohei Suenaga, Hiroyoshi Sekine and Ichiro Hasuo. Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals. POPL 2013: pp.417--430.
• Kohei Suenaga, Ryota Fukuda and Atsushi Igarashi. Type-Based Safe Resource Deallocation for Shared-Memory Concurrency. OOPSLA 2012: pp.1-20.
• Ichiro Hasuo, Kohei Suenaga: Exercises in Nonstandard Static Analysis of Hybrid Systems. CAV 2012: 462-478.
• Kohei Suenaga and Ichiro Hasuo. Programming with Infinitesimals: A While-Language for Hybrid System Modeling. ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming, Vol II. pp. 392--403.
• Kohei Suenaga and Naoki Kobayashi. Fractional Ownerships for Safe Memory Deallocation. In Proceedings of the 7th ASIAN Symposium on Programming Languages and Systems (APLAS 2009), volume 5904 of Lecture Notes in Computer Science, pp. 128--143, Seoul, Korea, December 2009. (C) Springer-Verlag.
• Kohei Suenaga. "Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References." The 6th ASIAN Symposium on Programming Languages and Systems (APLAS 2008), Bangalore, India, December 2008. (PDF). Lecture Notes in Computer Science 5356, pp.155--170. (C) Springer-Verlag.
• Kohei Suenaga and Naoki Kobayashi. "Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts". 16th European Symposium on Programming (ESOP'07), Braga, Portugal, March 2007. (Short version | Full version | slides). Lecture Notes in Computer Science. (C) Springer-Verlag.
• Naoki Kobayashi, Kohei Suenaga and Lucian Wischik. Resource Usage Analysis for the Pi-Calculus. (slides) In proceedings of Seventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI2006), Charleston, SC, USA, January 2006. Lecture Notes in Computer Science 3855. (C) Springer-Verlag.
• Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa. "Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives". International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR2005), London, UK, September 2005. Lecture Notes in Computer Science 3901. (C) Springer-Verlag. (Preliminary version | Full version)
• Koichi Kodama, Kohei Suenaga and Naoki Kobayashi. "Translation of Tree-processing Programs into Stream-processing Programs Based on Ordered Linear Type". (Preliminary version) (Full version) (PPT file) In proceedings of The Second Asian Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan, November 2004. Lecture Notes in Computer Science 3302. (C) Springer-Verlag.
• Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii and Akinori Yonezawa. The Interface Definition Language for Fail-Safe C. (slides) In proceedings of International Symposium on Software Security (ISSS2003), Tokyo, Japan, November 2003. Lecture Notes in Computer Science 3855 (C) Springer-Verlag.

Other Refereed Papers (Workshops, etc.)

• Minoru Kinoshita, Kohei Suenaga, and Atsushi Igarashi. Automatic synthesis of combiners in the MapReduce framework: An approach with right inverse. In Informal Proceedings of the (LOPSTR2014), Cantabury, UK, September 2014.
• Hiroyoshi Sekine, Kohei Suenaga and Ichiro Hasuo. Simulink Blocks as Stream Processing --- An Approach from Nonstandard Analysis (Preliminary Report). NSV 2012.
• Ryosuke Sato, Kohei Suenaga and Naoki Kobayashi. Ordered Types for Stream Processing of Tree-Structured Data. FIT 2009.
• Ryosuke Sato, Kohei Suenaga and Naoki Kobayashi. Ordered Types for Stream Processing of Tree-Structured Data. Programming Language Techniques for XML (PLAN-X 2009), Savannah, GA, USA, January 2009.
• Eri Iimura, Naoki Kobayashi and Kohei Suenaga. Slicing for Type-Based Race Analysis and Presentation of the Result (in Japanese).The 9th Workshop on Programming and Programming Languages (PPL2007), Ishikawa, Japan. March, 2007.
• Koichi Kodama, Naoki Kobayashi and Kohei Suenaga. Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Types (in Japanese). The 6th Workshop on Programming and Programming Languages (PPL2004), Aichi, Japan. March, 2004.
• Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii and Akinori Yonezawa. The Interface Definition Language for Fail-Safe C (in Japanese). The 5th Workshop on Programming and Programming Languages (PPL2003), Shizuoka, Japan. March, 2003.

Theses

• Kohei Suenaga. Type Systems for Formal Verification of Concurrent Programs. (PDF) (PS) (DVI) A Dissertation.
• Kohei Suenaga. Translation of Tree-processing Programs to Stream-processing Programs based on Ordered Linear Type. (a master thesis).
• Kohei Suenaga. The Interface Definition Language for Fail-Safe C (a senior thesis).