Kohei Suenaga

Twitter | CV | DBLP | Google Scholar | Microsoft Academic Search | Photo | Japanese version

He was born in 1979. He received his B.S., M.S., and Ph.D from University of Tokyo in 2003, 2005 and 2008 respectively. He is an assistant professor at Hakubi Center for Advanced Research, Kyoto University. His current research interest includes (semi-)automated verification of software and hybrid systems based on formal methods.

Recent publications

• Hiroyoshi Sekine, Kohei Suenaga and Ichiro Hasuo. Simulink Blocks as Stream Processing --- An Approach from Nonstandard Analysis (Preliminary Report). Submitted.
• Kohei Suenaga, Ryota Fukuda and Atsushi Igarashi. Type-Based Safe Resource Deallocation for Shared-Memory Concurrency. Submitted.
• Ichiro Hasuo and Kohei Sueanga. Exercises in Nonstandard Static Analysis. To appear in CAV 2012.
• 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.

Current projects

• Formal verification of hybrid systems with infinitesimal programming
• FreeSafeTy: Verifier for safe memory deallocation of C programs

Past projects

• Type-based deadlock-freedom analysis for concurrent programs
• Resource usage analysis for pi-calculus
• X-P: Program transformation for improving memory usage of XML processing programs

Past events

• Shonan Meeting "Hybrid Systems -- Theory and Practice, Seriously". Apr. 22--26, 2012, Shonan Village Center, Japan.
• PEPM 2012 PC member

List of publications