Naoki Kobayashi

J-GLOBAL         Last updated: Dec 14, 2019 at 20:50
 
Avatar
Name
Naoki Kobayashi
Affiliation
The University of Tokyo
Section
The Graduate School of Information Science and Technology
Research funding number
00262155

Research Areas

 
 

Committee Memberships

 
2019
 - 
Today
FSCD 2021 PC Chair
 
2018
 - 
Today
LICS 2020 PC Chair
 
2017
 - 
Today
LMCS (Logical Methods for Computer Science) Editor
 

Awards & Honors

 
2014
Unsafe Order-2 Tree Languages Are Context-Sensitive, ETAPS 2014 Best Paper Award (EATCS Best Paper Award)
Winner: Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada
 
2008
Tree Automata for Non-linear Arithmetic, RTA 2008 Best Paper Award
Winner: Naoki Kobayashi, Hitoshi Osaki
 

Published Papers

 
Temporal Verification of Programs via First-Order Fixpoint Logic
Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi and Hiroshi Unno
Proceedings of SAS 2019, Springer LNCS 11822      Oct 2019   [Refereed]
A Temporal Logic for Higher-Order Functional Programs
Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi
Proceedings of SAS 2019, Springer LNCS 11822      Oct 2019   [Refereed]
Naoki Kobayashi
Proceedings of PPDP 2019   2:1-2:2   Oct 2019   [Invited]
NaokiKobayashi, Ugo Dal Lago, Charles Grellois
Proceedings of LICS 2019   1-15   Jun 2019   [Refereed]
Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
Logical Methods in Computer Science   15(1)    Feb 2019   [Refereed]
Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, Naoki Kobayashi
Proceedings of PEPM 2019, ACM   22-34   Jan 2019   [Refereed]
Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi
Proceedings of PEPM 2019, ACM   47-53   Jan 2019   [Refereed]
Kazuyuki Asada, Naoki Kobayashi
Proceedings of FSTTCS 2018, LIPIcs 122   14:1-14:15   Dec 2018   [Refereed]
Shingo Eguchi, Naoki Kobayashi, Takeshi Tsukada
Procceedings of APLAS 2018, LNCS 11275   223-241   Dec 2018   [Refereed]
Adrien Champion, Naoki Kobayashi, Ryosuke Sato
Procceedings of APLAS 2018, LNCS 11275   146-156   Dec 2018   [Refereed]
Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe
Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April   711   2018   [Refereed]
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thes   365   2018   [Refereed]
Naoki Kobayashi, Cosimo Laneve
Inf. Comput.   252 48   2017   [Refereed]
Ryoma Sin'ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada
Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala,   53   2017   [Refereed]
Kazuyuki Asada, Naoki Kobayashi
44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland   97:1   2017   [Refereed]
Ryosuke Sato, Naoki Kobayashi
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29,   831   2017   [Refereed]
Naoki Kobayashi, {É}tienne Lozes, Florian Bruse
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017   246   2017   [Refereed]
Ryota Suzuki, Koichi Fujima, Naoki Kobayashi, Takeshi Tsukada
2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK   32:1   2017   [Refereed]
Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi
Sci. Comput. Program.   137 2   2017   [Refereed]
Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017   59   2017   [Refereed]
Kazuyuki Asada, Naoki Kobayashi
43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy   111:1   2016   [Refereed]
Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016   146   2016   [Refereed]
Taku Terao, Takeshi Tsukada, Naoki Kobayashi
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings   295   2016   [Refereed]
Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016   243   2016   [Refereed]
Xin Li, Naoki Kobayashi
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings   304   2016   [Refereed]
Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings   335   2016   [Refereed]
Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016   57   2016   [Refereed]
Yuma Matsumoto, Naoki Kobayashi, Hiroshi Unno
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings   295   2015   [Refereed]
Naoki Kobayashi, Xin Li
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015   713   2015   [Refereed]
Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi
JIP   23(6) 827   2015   [Refereed]
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi
Mathematical Structures in Computer Science   25(4) 841   2015   [Refereed]
Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II   287   2015   [Refereed]
Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings   313   2015   [Refereed]
Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015   61   2015   [Refereed]
Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi
Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13,   392   2014   [Refereed]
Taku Terao, Naoki Kobayashi
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings   354   2014   [Refereed]
Naoki Kobayashi
Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday   128   2014   [Refereed]
Kazuya Yaguchi, Naoki Kobayashi, Ayumi Shinohara
Data Compression Conference, DCC 2014, Snowbird, UT, USA, 26-28 March, 2014   434   2014   [Refereed]
Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada
Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble,   149   2014   [Refereed]
Elena Giachino, Naoki Kobayashi, Cosimo Laneve
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings   63   2014   [Refereed]
Takeshi Tsukada, Naoki Kobayashi
Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble,   180   2014   [Refereed]
Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings   312   2014   [Refereed]
Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013   75   2013   [Refereed]
Koichi Fujima, Sohei Ito, Naoki Kobayashi
Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings   17   2013   [Refereed]
Naoki Kobayashi
J. ACM   60(3) 20:1   2013   [Refereed]
Naoki Kobayashi
28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013   398   2013   [Refereed]
Christopher H. Broadbent, Naoki Kobayashi
Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy   129   2013   [Refereed]
Naoki Kobayashi, Atsushi Igarashi
Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 20   431   2013   [Refereed]
Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013   53   2013   [Refereed]

Conference Activities & Talks

 
10 Years of the Higher-Order Model Checking Project [Invited]
Naoki Kobayashi
21st International Symposium on Principles and Practice of Programming Languages (PPDP 2019)   9 Oct 2019   
On Two Kinds of Higher-Order Model Checking and Higher-Order Program Verification [Invited]
Naoki Kobayashi
HOR 2018   2018   
On Two Higher-Order Extensions of Model Checking [Invited]
Naoki Kobayashi
FTSCS 2016   2016   
Program Certification by Higher-Order Model Checking [Invited]
Naoki Kobayashi
CPP 2012   2012   
Towards a software model checker for ML [Invited]
Naoki Kobayashi
ML Workshop   2011   
Higher-Order Program Verification and Language-Based Security [Invited]
Naoki Kobayashi
ASIAN 2009   2009   
Types and Recursion Schemes for Higher-Order Program Verification [Invited]
Naoki Kobayashi
APLAS 2009   2009   
Substructural Type Systems for Program Analysis [Invited]
Naoki Kobayashi
FLOPS 2008   2008   
Higher-Order Model Checking: From Theory to Practice [Invited]
Naoki Kobayashi
LICS 2011   2011   
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness [Invited]
Naoki Kobayashi
IFIP TCS 2000   2000