Atsushi Ohori

According to our database, Atsushi Ohori authored at least 57 papers between 1986 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Concurrent and parallel garbage collection for lightweight threads on multicore processors.

Katsuhiro Ueno, Atsushi Ohori

Proceedings of the ISMM '22: ACM SIGPLAN International Symposium on Memory Management, 2022

2021

A Compilation Method for Dynamic Typing in ML.

Atsushi Ohori, Katsuhiro Ueno

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2018

Finitary polymorphism for optimizing type-directed compilation.

Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima

Proc. ACM Program. Lang., 2018

2016

A Foreign Language Interface from ML to Shell.

Katsuhiro Ueno, Atsushi Ohori

New Gener. Comput., 2016

A Type Safe Access to Key-value Stores from Functional Languages.

Katsuhiro Ueno, Atsushi Ohori

J. Inf. Process., 2016

A fully concurrent garbage collector for functional programs on multicore processors.

Katsuhiro Ueno, Atsushi Ohori

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects.

Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2014

SML# in industry: a practical ERP system development.

Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Dynamic Programming via Thinning and Incrementalization.

Akimasa Morihata, Masato Koishi, Atsushi Ohori

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

The Essence of Ruby.

Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Record Polymorphism: Its Development and Applications.

Atsushi Ohori

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2011

An efficient non-moving garbage collector for functional languages.

Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Making standard ML a practical database programming language.

Atsushi Ohori, Katsuhiro Ueno

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2007

A proof theory for machine code.

Atsushi Ohori

ACM Trans. Program. Lang. Syst., 2007

A static type system for JVM access control.

Tomoyuki Higuchi, Atsushi Ohori

ACM Trans. Program. Lang. Syst., 2007

Lightweight fusion by fixed point promotion.

Atsushi Ohori, Isao Sasano

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Compiling ML polymorphism with explicit layout bitmap.

Huu-Duc Nguyen, Atsushi Ohori

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

A type system equivalent to static single assignment.

Yutaka Matsuno, Atsushi Ohori

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

2004

Register allocation by proof transformation.

Atsushi Ohori

Sci. Comput. Program., 2004

A Type Theory for Krivine-Style Evaluation and Compilation.

Kwanghoon Choi, Atsushi Ohori

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2002

Java bytecode as a typed term calculus.

Tomoyuki Higuchi, Atsushi Ohori

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

An Interoperable Calculus for External Object Access.

Atsushi Ohori, Kiyoshi Yamatodani

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

A typed context calculus.

Masatomo Hashimoto, Atsushi Ohori

Theor. Comput. Sci., 2001

Comparing Type-Based and Proof-Directed Decompilation.

Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Proof-Directed De-compilation of Low-Level Code.

Shin-ya Katsumata, Atsushi Ohori

Proceedings of the Programming Languages and Systems, 2001

Proof-Directed Compilation for Inter-operable Languages.

Atsushi Ohori

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Logical Analysis of Assembly Language.

Atsushi Ohori

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion.

Susumu Nishimura, Atsushi Ohori

J. Funct. Program., 1999

Type-Directed Specialization of Polymorphism.

Atsushi Ohori

Inf. Comput., 1999

A Curry-Howard Isomorphism for Compilation and Program Execution.

Atsushi Ohori

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.

Atsushi Ohori, Nobuaki Yoshida

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code.

Atsushi Ohori

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1997

An Unboxed Operational Semantics for ML Polymorphism.

Atsushi Ohori, Tomonobu Takamizawa

LISP Symb. Comput., 1997

Type System for Specializing Polymorphism.

Atsushi Ohori

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

Polymorphism and Type Inference in Database Programming.

Peter Buneman, Atsushi Ohori

ACM Trans. Database Syst., 1996

An Equational Object-Oriented Data Model and its Data-Parallel Query Language.

Susumu Nishimura, Atsushi Ohori, Keishi Tajima

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

1995

A Polymorphic Record Calculus and Its Compilation.

Atsushi Ohori

ACM Trans. Program. Lang. Syst., 1995

1994

A Calculus for Exploiting Data Parallelism on Recursively Defined Data.

Susumu Nishimura, Atsushi Ohori

Proceedings of the Theory and Practice of Parallel Programming, 1994

A Polymorphic Calculus for Views and Object Sharing.

Atsushi Ohori, Keishi Tajima

Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

1993

Semantics for Communication Primitives in an Polymorphic Language.

Atsushi Ohori, Kazuhiko Kato

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1992

Keynote Discussion Session on Persistent Type Systems.

Richard C. H. Connor, Malcolm P. Atkinson, Giorgio Ghelli, Atsushi Ohori

Proceedings of the Persistent Object Systems, 1992

A Compilation Method for ML-Style Polymorphic Record Calculi.

Atsushi Ohori

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1991

Using Powerdomains to Generalize Relational Databases.

Peter Buneman, Achim Jung, Atsushi Ohori

Theor. Comput. Sci., 1991

Data Structures and Data Types for Object-Oriented Databases.

Val Tannen, Peter Buneman, Atsushi Ohori

IEEE Data Eng. Bull., 1991

A Type System that Reconsiles Classes and Extents.

Peter Buneman, Atsushi Ohori

Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990

Semantics of Types for Database Objects.

Atsushi Ohori

Theor. Comput. Sci., 1990

Persistence and Type Abstraction Revisited.

Atsushi Ohori, Ivan Tabkha, Richard C. H. Connor, Paul Philbrow

Proceedings of the Implementing Persistent Object Bases, 1990

Representing Object Identity in a Pure Functional Language.

Atsushi Ohori

Proceedings of the ICDT'90, 1990

Typing Schemes for Objects with Locality.

Florian Matthes, Atsushi Ohori, Joachim W. Schmidt

Proceedings of the Next Generation Information System Technology, 1990

1989

Static Type-checking in Object-Oriented Databases.

Val Tannen, Peter Buneman, Atsushi Ohori

IEEE Data Eng. Bull., 1989

Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.

Atsushi Ohori, Peter Buneman, Val Tannen

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Static Type Inference for Parametric Classes.

Atsushi Ohori, Peter Buneman

Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

A Simple Semantics for ML Polymorphism.

Atsushi Ohori

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

Can Object-Oriented Databases be Statically Typed?

Val Tannen, Peter Buneman, Atsushi Ohori

Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988

Type Inference in a Database Programming Language.

Atsushi Ohori, Peter Buneman

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

Orderings and Types in Databases.

Atsushi Ohori

Proceedings of the Advances in Database Programming Languages, 1987

1986

A Domain Theoretic Approach to Higher-Order Relations.

Peter Buneman, Atsushi Ohori

Proceedings of the ICDT'86, 1986