Write a Blog >>
SPLASH 2012
Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States
Kohei Suenaga

Registered user since Tue 30 Jun 2015

Name: Kohei Suenaga

Country: Japan

Affiliation: Graduate School of Informatics, Kyoto University

Personal website: http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

Research interests: Program verification, Hybrid systems

Contributions

SPLASH 2012Author of Type-based safe resource deallocation for shared-memory concurrency within the OOPSLA Research Papers-track
Show activities from other conferences

SPLASH 2012-profile
View general profile