Kohei Suenaga

J-GLOBAL         Last updated: Dec 12, 2017 at 14:21
 
Avatar
Name
Kohei Suenaga
Alternative names
KS737006
Nickname
ksuenaga
Affiliation
Kyoto University
Research funding number
70633692
Twitter ID
ksuenaga

Profile

He received Ph.D. in Information Science and Technology from the University of Tokyo in 2008. He was a JSPS research fellow, a researcher in IBM Research Tokyo, a postdoctoral researcher at Lisbon University, an assistant professor in Hakubi Center for Advanced Research in Kyoto University. He joined Graduate School of Informatics, Kyoto University in 2013 as an associate professor. He is interested in formal verification of software and hybrid systems.

I love to bring an idea in a research field to a different field. I love to see an interaction between formal verification research and the other research field.

Published Papers

 
末永 幸平
コンピュータソフトウェア = Computer software   34(1) 58-61   Feb 2017
Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga and Atsushi Igarashi
APLAS 2017   514-533   2017   [Refereed]
Masaki Waga,Ichiro Hasuo,Kohei Suenaga
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings   224-243   2017   [Refereed]
Taro Sekiyama,Akifumi Imanishi,Kohei Suenaga
CoRR   abs/1706.06462    2017   [Refereed]
Masaki Waga,Ichiro Hasuo,Kohei Suenaga
CoRR   abs/1706.09174    2017   [Refereed]
Takamasa Okudono,Yuki Nishida,Kensuke Kojima,Kohei Suenaga,Kengo Kido,Ichiro Hasuo
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings   491-513   2017   [Refereed]
Kensuke Kojima,Minoru Kinoshita,Kohei Suenaga
Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings   278-299   2016   [Refereed]
Kensuke Kojima,Minoru Kinoshita,Kohei Suenaga
CoRR   abs/1604.07201    2016   [Refereed]
Tatsuya Sonobe, Kohei Suenaga, and Atsushi Igarashi
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings, LNCS   8858 58-77   Nov 2014   [Refereed]
Takumi Akazaki, Ichiro Hasuo, and Kohei Suenaga
Proc. of the 4th Workshop on Hybrid Autonomous Systems (HAS 2014)   22-39   2014   [Refereed]
K. Suenaga; H. Sekine; I. Hasuo
Conference Record of the Annual ACM Symposium on Principles of Programming Languages   417-430   2013   [Refereed]
K. Suenaga; R. Fukuda; A. Igarashi
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA   1-20   2012   [Refereed]
I. Hasuo; K. Suenaga
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   7358 LNCS 462-478   2012   [Refereed]
Ryosuke Sato,Kohei Suenaga,Naoki Kobayashi 0001
JIP   19 74-87   2011   [Refereed]
K. Suenaga; I. Hasuo
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   6756 LNCS(PART 2) 392-403   2011   [Refereed]
Sato Ryosuke, Suenaga Kohei, Kobayashi Naoki
情報科学技術フォーラム講演論文集   8(1) 65-72   Aug 2009
Suenaga et al. have developed a type-based framework for automatically translating tree-processing programs into stream-processing ones. The key ingredient of the framework was the use of ordered linear types to guarantee that a tree-processing pr...
K. Suenaga; N. Kobayashi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   5904 LNCS 128-143   2009   [Refereed]
飯村 枝里, 小林 直樹, 末永 幸平
情報処理学会論文誌プログラミング(PRO)   1(2) 71-84   Sep 2008
並行プログラムは,実行の非決定性などのために,バグが混入しやすく,またそのバグの発見が難しい.そこで,並行プログラムを静的かつ網羅的に検証するための手法として,型システムを用いた手法が近年注目されている.小林らはπ計算を対象としてデッドロックの検証を行う型システムを提案し,それに基づく自動検証器を実装している.しかしながら,型システムとそれに基づく検証アルゴリズムの複雑さのため,検証に失敗した場合に具体的にプログラムのどの部分に誤りがあるのかをユーザが判断するのは困難であった.本研究では,...
K. Kodama; K. Suenaga; N. Kobayashi
Journal of Functional Programming   18(3) 333-371   2008   [Refereed]
Kohei Suenaga,Naoki Kobayashi 0001
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings   490-504   2007   [Refereed]
Naoki Kobayashi 0001,Kohei Suenaga,Lucian Wischik
Logical Methods in Computer Science   2(3)    2006   [Refereed]
Naoki Kobayashi 0001,Kohei Suenaga,Lucian Wischik
Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings   298-312   2006   [Refereed]
Naoki Kobayashi 0001,Kohei Suenaga,Lucian Wischik
CoRR   abs/cs/0608035    2006   [Refereed]
Kohei Suenaga,Naoki Kobayashi 0001,Akinori Yonezawa
Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers   98-114   2005   [Refereed]
Koichi Kodama,Kohei Suenaga,Naoki Kobayashi 0001
Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings   41-56   2004   [Refereed]
Kohei Suenaga,Yutaka Oiwa,Eijiro Sumii,Akinori Yonezawa
Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers   192-208   2003   [Refereed]
A Guess-and-Assume Approach to Loop Fusion for Program Verification
Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi
PEPM 2018      [Refereed]

Conference Activities & Talks

 
Towards Proof Synthesis by Neural Machine Translation
Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga
Off the Beaten Track 2018 (OBT 2018)   13 Jan 2018   
A Guess-and-Assume Approach to Loop Fusion for Program Verification
Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi
PEPM 2018   8 Jan 2018   
Sharper and Simpler Nonlinear Interpolants for Program Verification
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido and Ichiro Hasuo
APLAS 2017   27 Nov 2017   
A Nonstandard Functional Programming Language
Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga and Atsushi Igarashi.
APLAS 2017   27 Nov 2017   
Efficient Online Timed Pattern Matching by Automata-Based Skipping
Masaki Waga, Ichiro Hasuo and Kohei Suenaga
15th International Conference on Formal Modelling and Analysis of Timed Systems   5 Sep 2017   
Sharper and Simpler Nonlinear Interpolants for Program Verification
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido and Ichiro Hasuo
Workshop on Formal Approaches to Explainable VERification (FEVER 2017)   23 Jul 2017   
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis
Kohei Suenaga
SAS 2016   8 Sep 2016   
An Extended Behavioral Type System for Memory-Leak Freedom
Qi Tan, Kohei Suenaga, and Atsushi Igarashi
7 Sep 2016   
Formal verification of software, continuous, and hybrid systems -- Or: How do we verify our program is correct?
Kohei Suenaga
Machine Learning Summer School 2015   27 Aug 2015   
Nonstandard Analysis Meets Programming Language Theory [Invited]
Kohei Suenaga
Twelfth International Conference on Computability and Complexity in Analysis   13 Jul 2015   
Automatic Synthesis of Combiners in the MapReduce Framework
Minoru Kinoshita, Kohei Suenaga, and Atsushi Igarashi
24th International Symposium on Logic-Based Program Synthesis and Transformation   9 Sep 2014   
Simulink blocks as stream processing ─ An approach from nonstandard analysis (Preliminary Report)
Hiroyoshi Sekine, Kohei Suenaga, and Ichiro Hasuo
Fifth International Workshop on Numerical Software Verification (NSV 2012)   7 Jul 2012   

Awards & Honors

 
Jun 2012
Ordered types for stream processing of tree-structured data. Journal of Information Processing, Journal of Information Processing Outstanding Paper Award, IPSJ
Winner: Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
 

Research Grants & Projects

 
Formal methods for hybrid systems based on the theory of nonstandard programming languages
JST: PRESTO
Project Year: Oct 2015 - Mar 2018    Investigator(s): Kohei Suenaga

Patents

 
Hiroaki Nakamura, Hisashi Miyashita, and Kohei Suenaga
特許8766980 : Information management system, method and program
Hisashi Miyashita, Hiroaki Nakamura, Kohei Suenaga

Academic & Professional Experience

 
Jun 2017
 - 
Today
Scientific Advisor, Patentfield Inc.
 
Oct 2013
 - 
Today
Associate Professor, Graduate School of Informatics, Kyoto University
 
Apr 2012
 - 
Sep 2013
Assistant Professor, The Hakubi Center for Advanced Research, Kyoto University
 
Feb 2011
 - 
Mar 2011
Program-specific Researcher, Graduate School of Informatics, Kyoto University
 
Apr 2010
 - 
Jan 2011
Investigador pos-doutorado, Faculdade de Ciencia, Universidade de Lisboa
 

Association Memberships

 
 

Others

 
Apr 2014   Collaboration with a car company
I am collaborating with a car company on application of formal methods to car design.

Research Areas