Atsushi Ohori

J-GLOBAL         Last updated: Sep 17, 2019 at 07:13
Atsushi Ohori
Tohoku University
Research Institute of Electrical Communication Systems & Software Division Software Construction Software Construction
Job title
Ph.D(University of Pennsylvania)

Research Areas


Academic & Professional Experience

Apr 2005
Professor, 電気通信研究所, Tohoku University
Apr 2000
Mar 2005
Professor, School of Information Science, Japan Advanced Institute of Science and Technology
Aug 1993
Mar 2000
Associate Professor, Research Institute for Mathematical Sciences, Kyoto University
Apr 1981
Aug 1993
ソフトウウェア技術者を経て特別研究室長, システム本部を経て関西総合研究所, Oki Electric Industry Co. Ltd.
Oct 1989
Sep 1990
会社派遣研究員, University of Glasgow, Ryoyal Society Post-doctoral Researcher
Sep 1984
Jul 1989
Graduate Student, Scoll of Engineering and Applied Scince Department of Computer and Information Science, University of Pennsylvania


Sep 1984
Jul 1989
Department of Computer and Information Science, School of Engineering and Applied Science, University of Pennsylvania
Apr 1976
Mar 1981
Faculty of Literature, The University of Tokyo

Committee Memberships

Dec 2007
Asian Association for Foundations of Software  Executive Committee Co-Chair
Apr 2004
日本ソフトウエア科学会  評議員
Oct 2002
Higher-Order and Symbolic Computation  Advisary Board Member
Oct 2011
Sep 2017
日本学術会議  連携会員
Jan 2009
Jan 2010
The 37th ACM Symposium on Principles of Programming Languages (POPL 2010)  Program Committee Member

Published Papers

Finitary Polymorphism for Optimizing Type-Directed Compilation
Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima
Proceedings of the ACM on Programming Languages   Volume 2, Issue ICFP(Article No. 81) 81:1-81:28   Sep 2018   [Refereed]
A fully concurrent garbage collector for functional programs on multicore processors
Katsuhiro Ueno, Atsushi Ohori
Proceedings of the ACM International Conference on Functional Programming (ICFP)   421-433   Sep 2016   [Refereed]
A foreign language interface from ML to shell
Katsuhiro Ueno, Atsushi Ohori
New Generation Computing   34(3) 239-256   Aug 2016   [Refereed]
Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi
Proceedings of the 30th European Concerence on Object Oriented Programming (ECOOP 2016), Leibniz International Proceedings in Informatics (LIPIcs)   56(18) 1-25   Jul 2016   [Refereed]
Katsuhiro Ueno, Atsushi Ohori
Journal of Information Processing   24(1) 141-151   Jan 2016   [Refereed]


大堀 淳
コンピュータソフトウェア   31(1) 30-42   2014
大堀 淳
情報処理   49(11) 1246-1250   Nov 2008

Books etc

ライブラリ 情報学 コア・テキスト 5 計算機システム概論 -基礎から学ぶコンピュータの原理とOSの構造-
Atsushi Ohori
サイエンス社   Apr 2010   ISBN:978-4-7819-1250-9
Programming Languages and Systems - APLAS 2003 Lecture Notes in Commuter Science vol. 2895
Atsushi Ohori (Part:Editor)
Springer   Nov 2003   
プログラミング言語Standard ML入門
大堀 淳
共立出版   Sep 2001   
大堀 淳,ジャック・ガリグ,西村 進 (Part:Joint Work)
岩波書店   1999   
Advances in Computing Sciences - Asian 98. Lecture Notes in Computer Science vol.1538
Jieh Hsiang and Atsushi Ohori (Part:Joint Editor)
Springer   Dec 1998   

Conference Activities & Talks

関数型言語SML#の開発 – 我が国のソフトウェア産業新生へのささやかな貢献を目指して
日本ソフトウェア科学会第30回大会   10 Sep 2013   
Development of SML#—making ML an ordinary practical language
ACM International Conference on Functional Programming   19 Sep 2011   
Development of SML#—making ML an ordinary practical language
ACM SIGPLAN Workshop on ML   18 Sep 2011   
プログラミングおよびプログラミング言語ワークショップ (PPL2007)   8 Mar 2007   
プログラミング言語SML#の開発とその基礎理論 —多相型言語の基礎研究はもはや時代遅れか?—(招待講演)
日本ソフトウェア科学会第23回大会   13 Sep 2006   

Research Grants & Projects

科学研究費助成事業 基盤研究(C)
Project Year: Apr 2010 - Mar 2013    Investigator(s): 3770000