Atsushi Ohori

67 papers A* 4A 15B 7C 4Misc 1Journal 17Unranked 15
YearRankTypeTitle / Venue / Authors
2022 C conf
Concurrent and parallel garbage collection for lightweight threads on multicore processors.
ISMM
Katsuhiro Ueno, Atsushi Ohori
2021 B conf
A Compilation Method for Dynamic Typing in ML.
APLAS
Atsushi Ohori, Katsuhiro Ueno
2018 J jnl
Finitary polymorphism for optimizing type-directed compilation.
Proc. ACM Program. Lang.
Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima
2016 A conf
A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects.
ECOOP
Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi
2016 J jnl
A Foreign Language Interface from ML to Shell.
New Gener. Comput.
Katsuhiro Ueno, Atsushi Ohori
2016 J jnl
A Type Safe Access to Key-value Stores from Functional Languages.
J. Inf. Process.
Katsuhiro Ueno, Atsushi Ohori
2016 A conf
A fully concurrent garbage collector for functional programs on multicore processors.
ICFP
Katsuhiro Ueno, Atsushi Ohori
2014 Misc conf
Dynamic Programming via Thinning and Incrementalization.
FLOPS
Akimasa Morihata, Masato Koishi, Atsushi Ohori
2014 A conf
SML# in industry: a practical ERP system development.
ICFP
Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito
2014 B conf
The Essence of Ruby.
APLAS
Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
2013 — conf
Record Polymorphism: Its Development and Applications.
In Search of Elegance in the Theory and Practice of Computation
Atsushi Ohori
2011 A conf
An efficient non-moving garbage collector for functional languages.
ICFP
Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo
2011 A conf
Making standard ML a practical database programming language.
ICFP
Atsushi Ohori, Katsuhiro Ueno
2010 J jnl
A Flattening Strategy for SML Module Compilation and Its Implementation.
Inf. Media Technol.
Bochao Liu, Atsushi Ohori
2007 J jnl
A proof theory for machine code.
ACM Trans. Program. Lang. Syst.
Atsushi Ohori
2007 J jnl
A static type system for JVM access control.
ACM Trans. Program. Lang. Syst.
Tomoyuki Higuchi, Atsushi Ohori
2007 A* conf
Lightweight fusion by fixed point promotion.
POPL
Atsushi Ohori, Isao Sasano
2006 C conf
A type system equivalent to static single assignment.
PPDP
Yutaka Matsuno, Atsushi Ohori
2006 C conf
Compiling ML polymorphism with explicit layout bitmap.
PPDP
Huu-Duc Nguyen, Atsushi Ohori
2004 B conf
A Type Theory for Krivine-Style Evaluation and Compilation.
APLAS
Kwanghoon Choi, Atsushi Ohori
2004 J jnl
Register allocation by proof transformation.
Sci. Comput. Program.
Atsushi Ohori
2003 A conf
A static type system for JVM access control.
ICFP
Tomoyuki Higuchi, Atsushi Ohori
2003 B ed.
Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings
APLAS
Atsushi Ohori
2003 A conf
Register Allocation by Proof Transformation.
ESOP
Atsushi Ohori
2002 B conf
An Interoperable Calculus for External Object Access.
APLAS
Atsushi Ohori, Kiyoshi Yamatodani
2002 A conf
An interoperable calculus for external object access.
ICFP
Atsushi Ohori, Kiyoshi Yamatodani
2002 C conf
Java bytecode as a typed term calculus.
PPDP
Tomoyuki Higuchi, Atsushi Ohori
2001 J jnl
A typed context calculus.
Theor. Comput. Sci.
Masatomo Hashimoto, Atsushi Ohori
2001 — conf
Comparing Type-Based and Proof-Directed Decompilation.
WCRE
Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata
2001 B conf
Proof-Directed Compilation for Inter-operable Languages.
APLAS
Atsushi Ohori
2001 A conf
Proof-Directed De-compilation of Low-Level Code.
ESOP
Shin-ya Katsumata, Atsushi Ohori
2000 B conf
Logical Analysis of Assembly Language.
APLAS
Atsushi Ohori
1999 — conf
A Curry-Howard Isomorphism for Compilation and Program Execution.
TLCA
Atsushi Ohori
1999 J jnl
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion.
J. Funct. Program.
Susumu Nishimura, Atsushi Ohori
1999 — conf
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code.
Fuji International Symposium on Functional and Logic Programming
Atsushi Ohori
1999 A conf
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.
ICFP
Atsushi Ohori, Nobuaki Yoshida
1999 J jnl
Type-Directed Specialization of Polymorphism.
Inf. Comput.
Atsushi Ohori
1998 — ed.
Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings
ASIAN
Jieh Hsiang, Atsushi Ohori
1998 — ed.
Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings
TIC
Xavier Leroy, Atsushi Ohori
1997 J jnl
An Unboxed Operational Semantics for ML Polymorphism.
LISP Symb. Comput.
Atsushi Ohori, Tomonobu Takamizawa
1997 — ed.
Functional and Logic Programming, Proceedings of the Second Fuji International Workshop, Shonan Village Center, Japan, 1-4 November 1996.
FLOPS
Tetsuo Ida, Atsushi Ohori, Masato Takeichi
1997 — conf
Type System for Specializing Polymorphism.
TACS
Atsushi Ohori
1996 A conf
An Equational Object-Oriented Data Model and its Data-Parallel Query Language.
OOPSLA
Susumu Nishimura, Atsushi Ohori, Keishi Tajima
1996 J jnl
Polymorphism and Type Inference in Database Programming.
ACM Trans. Database Syst.
Peter Buneman, Atsushi Ohori
1995 J jnl
A Polymorphic Record Calculus and Its Compilation.
ACM Trans. Program. Lang. Syst.
Atsushi Ohori
1994 — conf
A Calculus for Exploiting Data Parallelism on Recursively Defined Data.
Theory and Practice of Parallel Programming
Susumu Nishimura, Atsushi Ohori
1994 A* conf
A Polymorphic Calculus for Views and Object Sharing.
PODS
Atsushi Ohori, Keishi Tajima
1994 — ed.
Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993
DBPL
Catriel Beeri, Atsushi Ohori, Dennis E. Shasha
1993 A* conf
Semantics for Communication Primitives in an Polymorphic Language.
POPL
Atsushi Ohori, Kazuhiko Kato
1992 A* conf
A Compilation Method for ML-Style Polymorphic Record Calculi.
POPL
Atsushi Ohori
1992 — conf
Keynote Discussion Session on Persistent Type Systems.
POS
Richard C. H. Connor, Malcolm P. Atkinson, Giorgio Ghelli, Atsushi Ohori
1991 — conf
A Type System that Reconsiles Classes and Extents.
DBPL
Peter Buneman, Atsushi Ohori
1991 J jnl
Data Structures and Data Types for Object-Oriented Databases.
IEEE Data Eng. Bull.
Val Tannen, Peter Buneman, Atsushi Ohori
1991 J jnl
Using Powerdomains to Generalize Relational Databases.
Theor. Comput. Sci.
Peter Buneman, Achim Jung, Atsushi Ohori
1990 — conf
Persistence and Type Abstraction Revisited.
POS
Atsushi Ohori, Ivan Tabkha, Richard C. H. Connor, Paul Philbrow
1990 A conf
Representing Object Identity in a Pure Functional Language.
ICDT
Atsushi Ohori
1990 J jnl
Semantics of Types for Database Objects.
Theor. Comput. Sci.
Atsushi Ohori
1990 — conf
Typing Schemes for Objects with Locality.
East/West Database Workshop
Florian Matthes, Atsushi Ohori, Joachim W. Schmidt
1989 — conf
A Simple Semantics for ML Polymorphism.
FPCA
Atsushi Ohori
1989 — conf
Can Object-Oriented Databases be Statically Typed?
DBPL
Val Tannen, Peter Buneman, Atsushi Ohori
1989 — conf
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.
SIGMOD Conference
Atsushi Ohori, Peter Buneman, Val Tannen
1989 A conf
Static Type Inference for Parametric Classes.
OOPSLA
Atsushi Ohori, Peter Buneman
1989 J jnl
Static Type-checking in Object-Oriented Databases.
IEEE Data Eng. Bull.
Val Tannen, Peter Buneman, Atsushi Ohori
1988 A conf
Semantics of Types for Database Objects.
ICDT
Atsushi Ohori
1988 — conf
Type Inference in a Database Programming Language.
LISP and Functional Programming
Atsushi Ohori, Peter Buneman
1987 — conf
Orderings and Types in Databases.
DBPL
Atsushi Ohori
1986 A conf
A Domain Theoretic Approach to Higher-Order Relations.
ICDT
Peter Buneman, Atsushi Ohori