| 2021 | APLAS | A Compilation Method for Dynamic Typing in ML. | Atsushi Ohori, Katsuhiro Ueno |
| 2016 | ECOOP | A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. | Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi |
| 2016 | ICFP | A fully concurrent garbage collector for functional programs on multicore processors. | Katsuhiro Ueno, Atsushi Ohori |
| 2014 | APLAS | The Essence of Ruby. | Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori |
| 2014 | FLOPS | Dynamic Programming via Thinning and Incrementalization. | Akimasa Morihata, Masato Koishi, Atsushi Ohori |
| 2014 | ICFP | SML# in industry: a practical ERP system development. | Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito |
| 2011 | ICFP | Making standard ML a practical database programming language. | Atsushi Ohori, Katsuhiro Ueno |
| 2011 | ICFP | An efficient non-moving garbage collector for functional languages. | Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo |
| 2007 | POPL | Lightweight fusion by fixed point promotion. | Atsushi Ohori, Isao Sasano |
| 2006 | PPDP | A type system equivalent to static single assignment. | Yutaka Matsuno, Atsushi Ohori |
| 2006 | PPDP | Compiling ML polymorphism with explicit layout bitmap. | Huu-Duc Nguyen, Atsushi Ohori |
| 2004 | APLAS | A Type Theory for Krivine-Style Evaluation and Compilation. | Kwanghoon Choi, Atsushi Ohori |
| 2003 | ESOP | Register Allocation by Proof Transformation. | Atsushi Ohori |
| 2003 | ICFP | A static type system for JVM access control. | Tomoyuki Higuchi, Atsushi Ohori |
| 2002 | APLAS | An Interoperable Calculus for External Object Access. | Atsushi Ohori, Kiyoshi Yamatodani |
| 2002 | ICFP | An interoperable calculus for external object access. | Atsushi Ohori, Kiyoshi Yamatodani |
| 2002 | PPDP | Java bytecode as a typed term calculus. | Tomoyuki Higuchi, Atsushi Ohori |
| 2001 | APLAS | Proof-Directed Compilation for Inter-operable Languages. | Atsushi Ohori |
| 2001 | ESOP | Proof-Directed De-compilation of Low-Level Code. | Shin-ya Katsumata, Atsushi Ohori |
| 2000 | APLAS | Logical Analysis of Assembly Language. | Atsushi Ohori |
| 1999 | FLOPS | The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code. | Atsushi Ohori |
| 1999 | ICFP | Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. | Atsushi Ohori, Nobuaki Yoshida |
| 1996 | OOPSLA | An Equational Object-Oriented Data Model and its Data-Parallel Query Language. | Susumu Nishimura, Atsushi Ohori, Keishi Tajima |
| 1994 | PODS | A Polymorphic Calculus for Views and Object Sharing. | Atsushi Ohori, Keishi Tajima |
| 1993 | POPL | Semantics for Communication Primitives in an Polymorphic Language. | Atsushi Ohori, Kazuhiko Kato |
| 1992 | POPL | A Compilation Method for ML-Style Polymorphic Record Calculi. | Atsushi Ohori |
| 1990 | ICDT | Representing Object Identity in a Pure Functional Language. | Atsushi Ohori |
| 1989 | OOPSLA | Static Type Inference for Parametric Classes. | Atsushi Ohori, Peter Buneman |
| 1989 | SIGMOD | Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. | Atsushi Ohori, Peter Buneman, Val Tannen |
| 1988 | ICDT | Semantics of Types for Database Objects. | Atsushi Ohori |
| 1986 | ICDT | A Domain Theoretic Approach to Higher-Order Relations. | Peter Buneman, Atsushi Ohori |