Atsushi Ohori

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 7

Top Topics

Term Rewriting Systems

Foreign Language

Multicore Processors

Top Venues

Proc. ACM Program. Lang.

In Search of Elegance in the Theory and Practice of Computation

Publications

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