Atsushi Ohori

According to our database1, Atsushi Ohori authored at least 60 papers between 1986 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Finitary polymorphism for optimizing type-directed compilation.
PACMPL, 2018

2016
A Foreign Language Interface from ML to Shell.
New Generation Comput., 2016

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

A fully concurrent garbage collector for functional programs on multicore processors.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2014
SML# in industry: a practical ERP system development.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Dynamic Programming via Thinning and Incrementalization.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

The Essence of Ruby.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013
Record Polymorphism: Its Development and Applications.
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.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Making standard ML a practical database programming language.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2007
A proof theory for machine code.
ACM Trans. Program. Lang. Syst., 2007

A static type system for JVM access control.
ACM Trans. Program. Lang. Syst., 2007

Lightweight fusion by fixed point promotion.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006
Compiling ML polymorphism with explicit layout bitmap.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

A type system equivalent to static single assignment.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

2004
Register allocation by proof transformation.
Sci. Comput. Program., 2004

A Type Theory for Krivine-Style Evaluation and Compilation.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
A static type system for JVM access control.
SIGPLAN Notices, 2003

A static type system for JVM access control.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Register Allocation by Proof Transformation.
Proceedings of the Programming Languages and Systems, 2003

2002
Java bytecode as a typed term calculus.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

An interoperable calculus for external object access.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

An Interoperable Calculus for External Object Access.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001
A typed context calculus.
Theor. Comput. Sci., 2001

Comparing Type-Based and Proof-Directed Decompilation.
Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Proof-Directed De-compilation of Low-Level Code.
Proceedings of the Programming Languages and Systems, 2001

Proof-Directed Compilation for Inter-operable Languages.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000
Logical Analysis of Assembly Language.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion.
J. Funct. Program., 1999

Type-Directed Specialization of Polymorphism.
Inf. Comput., 1999

A Curry-Howard Isomorphism for Compilation and Program Execution.
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.
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.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1997
An Unboxed Operational Semantics for ML Polymorphism.
Lisp and Symbolic Computation, 1997

Type System for Specializing Polymorphism.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996
Polymorphism and Type Inference in Database Programming.
ACM Trans. Database Syst., 1996

An Equational Object-Oriented Data Model and its Data-Parallel Query Language.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

1995
A Polymorphic Record Calculus and Its Compilation.
ACM Trans. Program. Lang. Syst., 1995

1994
A Calculus for Exploiting Data Parallelism on Recursively Defined Data.
Proceedings of the Theory and Practice of Parallel Programming, 1994

A Polymorphic Calculus for Views and Object Sharing.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

1993
Semantics for Communication Primitives in an Polymorphic Language.
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.
Proceedings of the Persistent Object Systems, 1992

A Compilation Method for ML-Style Polymorphic Record Calculi.
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.
Theor. Comput. Sci., 1991

Data Structures and Data Types for Object-Oriented Databases.
IEEE Data Eng. Bull., 1991

A Type System that Reconsiles Classes and Extents.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990
Semantics of Types for Database Objects.
Theor. Comput. Sci., 1990

Persistence and Type Abstraction Revisited.
Proceedings of the Implementing Persistent Object Bases, 1990

Representing Object Identity in a Pure Functional Language.
Proceedings of the ICDT'90, 1990

Typing Schemes for Objects with Locality.
East/West Database Workshop, 1990

1989
Static Type-checking in Object-Oriented Databases.
IEEE Data Eng. Bull., 1989

Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.
Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Static Type Inference for Parametric Classes.
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

A Simple Semantics for ML Polymorphism.
Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

Can Object-Oriented Databases be Statically Typed?
Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988
Type Inference in a Database Programming Language.
LISP and Functional Programming, 1988

Semantics of Types for Database Objects.
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987
Orderings and Types in Databases.
Proceedings of the Advances in Database Programming Languages, 1987

1986
A Domain Theoretic Approach to Higher-Order Relations.
Proceedings of the ICDT'86, 1986


  Loading...