Publications

Lecture slides

  • ACM ML2011 Workshop / ACM ICFP Invted lecture (Ohori, September 2011) Please note the following.
    • A few changes have been made for clarification.
    • The term "hacker" is used to denote those who enjoy created programming.
    • The slide contains a picture of Masakada-zuka, the resting place of the head of Tairano Masakado, the first Samurai of Japanese history. On the previous day of the invited lecture, we visited the Masakada-zuka and worshiped this venerated spirit with our sincere respect, before taking this picture. The picture is there to explain the absurdness of object-moving GC and also to introduce Japanese awe and respect of our ancestor's spirit.
  • If you read Japanese, visit the Japanese pages to find more lecture slides in Japanese.

Recent papers

  • Concurrent garbage collection
    • Article : A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors. Katsuhiro Ueno, Atsushi Ohori. To appear in Proc. ICFP, 2016.
    • Note : Copyright 2016 ACM. This is the author's preprint version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version will be published in Proceedings of the ICFP'16 conference, September 18--22, 2016, Nara, Japan.
  • SML# JSON support
    • Article: A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi. To appear in Proc. ECOOP Conference, 2016.
    • Note: This is the author's version of the work; the definitive version will be published in the proceeding of the ECOOP conference, Rome, Italy, July 20--22, 2016. It is made available for your personal use, not for redistribution, until the open-access proceeding of ECOOP 2016 will be available.
  • SML# in Industry
    • Article: SML# in Industry: A Practical ERP System Developmentn, Atsushi Ohori, Katsuhiro Ueno (Tohoku University),Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito (NEC Solution Innovators, Ltd.) To appear in Proc. ACM ICFP Conference, 2014.
    • Note: This is the author's version (Accepted Version) of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record, which is a refined and extended version of this Accepted Version, will be published in ACM ICFP~'14, September 1--6, 2014, Copyrigh©2014 ACM 978-1-4503-2873-9 /14/09 http://dx.doi.org/10.1145/2628136.2628164
  • non-moving GC
    • Article: An efficient non-moving garbage collector for functional languages, K. Ueno, A. Ohori, T. Otomo, In Proc. ACM ICFP Conference, pp:196-208, 2011.
    • Note: Copyright ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ICFP'11: Proceedings of the International Conference on Functional Programming, September 19-21, 2011, Tokyo, Japan. http://doi.acm.org/10.1145/2034773.2034802
  • Seamless integration of SQL
    • Article: Making Standard ML a practical database programming languages, A. Ohori, K. Ueno, In roc. ACM ICFP Conference, pp:307-319, 2011. 
    • Note: Copyright ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ICFP'11: Proceedings of the International Conference on Functional Programming, September 19-21, 2011, Tokyo, Japan. http://doi.acm.org/10.1145/2034773.2034815
Last modified:2016/07/01 22:49:13
Keyword(s):
References:[SML# Project] [SideMenu]