Rchr

J-GLOBAL ID：200901024115956064 Update date: Jan. 31, 2024

Ohori Atsushi

オオホリアツシ | Ohori Atsushi

Affiliation and department：
Job title： Professor

Research field (3)： Database science , Information theory , Software

Research keywords (5)：データベースプログラミング言語 , 型理論 , ML , コンパイラ , プログラミング言語

Research theme for competitive and other funds (19)：

2018 - 2022 超並列技術をML系高信頼言語SML#に統合した超並列関数型言語の実現と最適化
2014 - 2018 ML系多相型言語SML#の実用化技術に関する基礎研究
2012 - 2013 災害情報を迅速に伝達するための放送・通信連携基盤技術の研究開発
2010 - 2013 証明論に基づくコンパイラの系統的な構築法の研究
2007 - 2009 コード言語の最適化技術と検証技術を統合する証明システムの研究

Show all

Papers (71)：

Katsuhiro Ueno, Atsushi Ohori. Concurrent and parallel garbage collection for lightweight threads on multicore processors. Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management. 2022
Atsushi Ohori, Katsuhiro Ueno. A Compilation Method for Dynamic Typing in ML. Programming Languages and Systems. 2021. 140-159
大野一樹, 上野雄大, 大堀淳. 関数型言語SML#のためのネイティブコードレベルデバッグ環境の実現方式. 情報処理学会論文誌プログラミング(PRO). 2018. 11. 3. 1-13
Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima. Finitary Polymorphism for Optimizing Type-Directed Compilation. Proceedings of the ACM on Programming Languages. 2018. Volume 2, Issue ICFP. Article No. 81. 81:1-81:28
Mifuyu Osaka, Katsuhiro Ueno, Atsushi Ohori. Typed template engine based on partially dynamic records. Computer Software. 2018. 35. 3. 3_79-3_95

ｍore...

MISC (13)：

Approach to Writing an Intermediate Representation in a Language for Compiler Implementation. 2016. 9. 4. 28-28
Automatic Generation of Expressions Including Variables of Nested Function and Tuple Types. 2016. 9. 4. 27-27
An implementation method of type inference algorithm including natural join constraints. 2016. 33. 389-393
Towards Implementation of A More Seamless Foreign Function Interface in SML#. 2016. 33. 471-474
Prototyping Typed Template Engine with Partially Dynamic Record. 2016. 33. 151-156

ｍore...

Books (9)：

ライブラリ情報学コア・テキスト 5 計算機システム概論 -基礎から学ぶコンピュータの原理とOSの構造-
サイエンス社 2010 ISBN:9784781912509
Programming Languages and Systems - APLAS 2003 Lecture Notes in Commuter Science vol. 2895
Springer 2003
プログラミング言語Standard ML入門
共立出版 2001
コンピュータサイエンス入門,アルゴリズムとプログラミング言語.
岩波書店 1999
Advances in Computing Sciences - Asian 98. Lecture Notes in Computer Science vol.1538
Springer 1998

ｍore...

Lectures and oral presentations (12)：

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

ｍore...

Works (1)：

次世代高信頼プログラミング言SML#コンパイラの開発とリリース
共同開発者, 大堀淳, 上野雄大, 開発協力者多数 2006 - 現在

Education (2)：

1984 - 1989 University of Pennsylvania School of Engineering and Applied Science Department of Computer and Information Science
1976 - 1981 The University of Tokyo Faculty of Literature

Professional career (1)：

Ph.D (University of Pennsylvania)

Work history (6)：

2005/04 - 現在 Tohoku University 電気通信研究所 Professor
2000/04 - 2005/03 Japan Advanced Institute of Science and Technology School of Information Science Professor
1993/08 - 2000/03 Kyoto University Research Institute for Mathematical Sciences Associate Professor
1981/04 - 1993/08 Oki Electric Industry Co. Ltd. システム本部を経て関西総合研究所ソフトウウェア技術者を経て特別研究室長
1989/10 - 1990/09 Ryoyal Society Post-doctoral Researcher University of Glasgow 会社派遣研究員

Show all

Committee career (57)：

2011/10 - 現在日本学術会議連携会員
2007/12 - 現在 Asian Association for Foundations of Software Executive Committee Co-Chair
2004/04 - 現在日本ソフトウエア科学会評議員
2004 - 現在日本ソフトウエア科学会評議員
2002/10 - 現在 Higher-Order and Symbolic Computation Advisary Board Member

2020 - 2020 ACM ICFP Conference A Program Committee Member

2016/12 - 2017/11 日本学術振興会科学研究費委員会専門委員

2011/10 - 2017/09 日本学術会議連携会員

2016/01 - 2016/11 日本学術振興会科学研究費委員会専門委員

2013/08 - 2015/07 日本学術振興会特別研究員等審査会専門委員および国際事業委員会書面審査員

2002/10 - 2013 Higher-Order and Symbolic Computation (Journal) kluwer Academic Publishers Advisory Board Member

2011/12 - 2012/11 日本学術振興会科学研究費委員会専門委員

2007/12 - 2012 Asian Association for Foundations of Software (AAFS) Executive Committee Co-Chair

2010/12 - 2011/11 日本学術振興会科学研究費委員会専門委員

2010 - 2010 ACM POPL Symposium A Program Committee Member

2009/01 - 2010/01 The 37th ACM Symposium on Principles of Programming Languages (POPL 2010) Program Committee Member

2009/02 - 2009/12 科学技術振興機構研究領域の選定及び研究統括の指定に係る調査等に関する評価委員

2008/08 - 2009/09 The 14th ACM International Conference on Functional Programming (ICFP 2009) PProgram Committee Member

2008/08 - 2009/07 日本学術振興会特別研究員等審査会専門委員および国際事業委員会書面審査員

2009 - 2009 ACM ICFP Conference A Program Committee Member

2007/01 - 2008/04 International Symposium on Functional and Logic Programming (FLOPS), 2008 Program Committee Member

1993/12 - 2008/01 The Computer Journal Editorial Board Member

2006/04 - 2007/03 文部科学省科学技術政研究所研究科学技術動向研究センター専門調査員

1993 - 2007 The Computer Journal, (Oxford University Press) Editorial Board Member

2006/01 - 2006/12 日本学術振興会科学研究費委員会専門委員

2005/06 - 2006/03 科学技術動向研究センター専門調査員

2005 - 2005 Interntional Concerence on Typed Lambda Calculus and Its Applications A Program Committee Member

1999 - 2005 ACM TIC Workshop Organizing Committee Member

2004 - 2004 ECOOP Conference A Program Committee Member

2003/01 - 2003/12 The First Asian Symposium on Programming Languages and Systems Program Chair

1999/04 - 2003/03 日本ソフトウエア科学会理事

2003 - 2003 The First Asian Symposium on Programming Languages and Systems Program Chair

1999 - 2003 日本ソフトウエア科学会理事

1999/10 - 2002/09 ACM International Conference on Functional Programming Steering Committee Member

1999 - 2002 ACM ICFP Conference Steering Committee Member

1993/12 - 2002/01 Journal of Information Systems (Pregamon - Elsevier Science Press) Associate Editor

1993/12 - 2002/01 Journal of Information Systems Associate Editor

1993/10 - 2000/10 Journal of Theory and Practice of Object Systems Associate Editor

2000 - 2000 ACM ICFP Conference A Program Committee Member

1995 - 2000 Journal of Theory and Practice of Object Systems (Addison-Willy) Associate Editor

1998/01 - 1998/12 Asian Computer Science Conference Program Co-Chair

1998/01 - 1998/12 International Workshop on Types in Compilation Workshop Chair

1998 - 1998 ACM POPL Symposium A Program Committee Member

1998 - 1998 Asian Computer Science Conference Program Co-chair

1998 - 1998 International Workshop on Types in Compilation (in co-operation with ACM SIGPLAN) Workshop Chair

1997 - 1997 ECOOP Conference A Program Committee Member

1997 - 1997 ACM OOPSLA Conference. A Program Committee Member

1996/01 - 1996/12 Fuji International Workshop on Functional and Logic Programming Program Committee Co-chair

1996 - 1996 VLDB Conference A Program Committee Member

1996 - 1996 ACM OOPSLA Conference A Program Committee Member

1996 - 1996 ACM ICFP Conference A Program Committee Member

1996 - 1996 Fuji International Workshop on Functional and Logic Programming Program Co-chair

1995 - 1995 VLDB Conference A Program Committee Member

1994 - 1994 ECOOP Conference A Program Committee Member

1993/01 - 1993/12 The 4th International Workshop on Database Programming Languages Program Committee Co-chair

1993 - 1993 ACM SIGMOD Conference A Program Committee Member

1993 - 1993 The 4th International Workshop on Database Programming Languages Workshop Co-Chair

Show all

Awards (6)：

2017/10 - 日本学術振興会科学研究費助成事業審査委員表彰
2017/09 - 日本ソフトウェア科学会第6回解説論文賞 "LR構文解析の原理
2011/09 - 日本ソフトウェア科学会日本ソフトウェア科学会基礎研究賞型システムを用いたプログラミング言語実現に関する研究
2010/09/14 - 日本ソフトウェア科学会日本ソフトウェア科学会フェロー
2009/06/11 - 日本ソフトウェア科学会日本ソフトウェア科学会第13回論文賞コンピュータソフトウェア第24巻第2号「表示的意味論に基づくパターンマッチングコンパイル方式の構築と実装」

Show all

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page