Atsushi Ohori - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 62 from 62

2022

Concurrent and parallel garbage collection for lightweight threads on multicore processorsKatsuhiro Ueno, Atsushi Ohori. iwmm 2022: 29-42 [doi]

2021

A Compilation Method for Dynamic Typing in MLAtsushi Ohori, Katsuhiro Ueno. aplas 2021: 140-159 [doi]

2018

Finitary polymorphism for optimizing type-directed compilationAtsushi Ohori, Katsuhiro Ueno, Hisayuki Mima. PACMPL, 2(ICFP), 2018. [doi]

2016

2014

2013

Record Polymorphism: Its Development and ApplicationsAtsushi Ohori. BIRTHDAY 2013: 432-444 [doi]

2011

Making standard ML a practical database programming languageAtsushi Ohori, Katsuhiro Ueno. ICFP 2011: 307-319 [doi]

An efficient non-moving garbage collector for functional languagesKatsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo. ICFP 2011: 196-208 [doi]

2007

A static type system for JVM access controlTomoyuki Higuchi, Atsushi Ohori. TOPLAS, 29(1):4, 2007. [doi]

A proof theory for machine codeAtsushi Ohori. TOPLAS, 29(6):36, 2007. [doi]

Lightweight fusion by fixed point promotionAtsushi Ohori, Isao Sasano. POPL 2007: 143-154 [doi]

2006

A type system equivalent to static single assignmentYutaka Matsuno, Atsushi Ohori. ppdp 2006: 249-260 [doi]

Compiling ML polymorphism with explicit layout bitmapHuu-Duc Nguyen, Atsushi Ohori. ppdp 2006: 237-248 [doi]

2004

A Type Theory for Krivine-Style Evaluation and CompilationKwanghoon Choi, Atsushi Ohori. aplas 2004: 213-228 [doi]

Register allocation by proof transformationAtsushi Ohori. SCP, 50(1-3):161-187, 2004. [doi]

2003

A static type system for JVM access controlTomoyuki Higuchi, Atsushi Ohori. ICFP 2003: 227-237 [doi]

A static type system for JVM access controlTomoyuki Higuchi, Atsushi Ohori. SIGPLAN, 38(9):227-237, 2003. [doi]

Register Allocation by Proof TransformationAtsushi Ohori. ESOP 2003: 399-413 [doi]

2002

Java bytecode as a typed term calculusTomoyuki Higuchi, Atsushi Ohori. ppdp 2002: 201-211 [doi]

An Interoperable Calculus for External Object AccessAtsushi Ohori, Kiyoshi Yamatodani. aplas 2002: 127

An interoperable calculus for external object accessAtsushi Ohori, Kiyoshi Yamatodani. ICFP 2002: 60-71 [doi]

2001

A typed context calculusMasatomo Hashimoto, Atsushi Ohori. TCS, 266(1-2):249-272, 2001. [doi]

Proof-Directed De-compilation of Low-Level CodeShin-ya Katsumata, Atsushi Ohori. ESOP 2001: 352-366 [doi]

Comparing Type-Based and Proof-Directed DecompilationAlan Mycroft, Atsushi Ohori, Shin-ya Katsumata. WCRE 2001: 362-367 [doi]

Proof-Directed Compilation for Inter-operable LanguagesAtsushi Ohori. aplas 2001: 301-311

2000

Logical Analysis of Assembly LanguageAtsushi Ohori. aplas 2000: 179

1999

Parallel Functional Programming on Recursively Defined Data via Data-Parallel RecursionSusumu Nishimura, Atsushi Ohori. JFP, 9(4):427-462, 1999.

A Curry-Howard Isomorphism for Compilation and Program ExecutionAtsushi Ohori. tlca 1999: 280-294 [doi]

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine CodeAtsushi Ohori. FLOPS 1999: 300-318

Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of MLAtsushi Ohori, Nobuaki Yoshida. ICFP 1999: 160-171 [doi]

Type-Directed Specialization of PolymorphismAtsushi Ohori. iandc, 155(1-2):64-107, 1999.

1997

An Unboxed Operational Semantics for ML PolymorphismAtsushi Ohori, Tomonobu Takamizawa. lisp, 10(1):61-91, 1997.

Type System for Specializing PolymorphismAtsushi Ohori. tacs 1997: 107-137

1996

Polymorphism and Type Inference in Database ProgrammingPeter Buneman, Atsushi Ohori. TODS, 21(1):30-76, 1996. [doi]

An Equational Object-Oriented Data Model and its Data-Parallel Query LanguageSusumu Nishimura, Atsushi Ohori, Keishi Tajima. OOPSLA 1996: 1-17

1995

A Polymorphic Record Calculus and Its CompilationAtsushi Ohori. TOPLAS, 17(6):844-895, 1995. [doi]

1994

A Calculus for Exploiting Data Parallelism on Recursively Defined DataSusumu Nishimura, Atsushi Ohori. tppp 1995: 413-432

A Polymorphic Calculus for Views and Object SharingAtsushi Ohori, Keishi Tajima. PODS 1994: 255-266 [doi]

1993

Semantics for Communication Primitives in an Polymorphic LanguageAtsushi Ohori, Kazuhiko Kato. POPL 1993: 99-112

1992

Keynote Discussion Session on Persistent Type SystemsRichard C. H. Connor, Malcolm P. Atkinson, Giorgio Ghelli, Atsushi Ohori. pos 1992: 216-221 [doi]

A Compilation Method for ML-Style Polymorphic Record CalculiAtsushi Ohori. POPL 1992: 154-165

1991

A Type System that Reconsiles Classes and ExtentsPeter Buneman, Atsushi Ohori. DBPL 1991: 191-202 [doi]

Using Powerdomains to Generalize Relational DatabasesPeter Buneman, Achim Jung, Atsushi Ohori. TCS, 91(1):23-55, 1991.

Data Structures and Data Types for Object-Oriented DatabasesVal Tannen, Peter Buneman, Atsushi Ohori. DEBU, 14(2):23-27, 1991. [doi]

1990

Typing Schemes for Objects with LocalityFlorian Matthes, Atsushi Ohori, Joachim W. Schmidt. ewdw 1990: 106-123

Persistence and Type Abstraction RevisitedAtsushi Ohori, Ivan Tabkha, Richard C. H. Connor, Paul Philbrow. pos 1990: 141-153 [doi]

Representing Object Identity in a Pure Functional LanguageAtsushi Ohori. icdt 1990: 41-55 [doi]

Semantics of Types for Database ObjectsAtsushi Ohori. TCS, 76(1):53-91, 1990.

1989

1988

Semantics of Types for Database ObjectsAtsushi Ohori. icdt 1988: 239-251 [doi]

Type Inference in a Database Programming LanguageAtsushi Ohori, Peter Buneman. lfp 1988: 174-183 [doi]

1987

Orderings and Types in DatabasesAtsushi Ohori. DBPL 1990: 97-116 [doi]

1986

A Domain Theoretic Approach to Higher-Order RelationsPeter Buneman, Atsushi Ohori. icdt 1986: 91-104 [doi]

Sign in or sign up to see more results.

runs on WebDSL