Atsushi Ohori

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

Research Areas

 
 

Academic & Professional Experience

 
Apr 2005
 - 
Today
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
 

Education

 
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
 - 
Today
Asian Association for Foundations of Software  Executive Committee Co-Chair
 
Apr 2004
 - 
Today
日本ソフトウエア科学会  評議員
 
Oct 2002
 - 
Today
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]

Misc

 
大堀 淳
コンピュータソフトウェア   31(1) 30-42   2014
SML#:最先端の機能と高い実用性を実現する次世代多相型プログラミング言語
大堀 淳
情報処理   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   
SML#の実用的側面
プログラミングおよびプログラミング言語ワークショップ (PPL2007)   8 Mar 2007   
プログラミング言語SML#の開発とその基礎理論 —多相型言語の基礎研究はもはや時代遅れか?—(招待講演)
日本ソフトウェア科学会第23回大会   13 Sep 2006   

Research Grants & Projects

 
証明論に基づくコンパイラの系統的な構築法の研究
科学研究費助成事業 基盤研究(C)
Project Year: Apr 2010 - Mar 2013    Investigator(s): 3770000