Akinori Yonezawa

According to our database1, Akinori Yonezawa authored at least 139 papers between 1977 and 2014.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 1999, "Yonezawa is a pioneer of concurrent object-oriented programming systems, and he contributed to developing the area, publishing papers and serving to the community.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2014
Object-Oriented Concurrent Programming in ABCL/1.
Proceedings of the Concurrent Objects and Beyond, 2014

My Early Education and Concurrent Objects.
Proceedings of the Concurrent Objects and Beyond, 2014

Reflection in an Object-Oriented Concurrent Language.
Proceedings of the Concurrent Objects and Beyond, 2014

2013
Building Linked Open Data towards integration of biomedical scientific literature with DBpedia.
J. Biomedical Semantics, 2013

Away from the sequential paradigm tarpit: modelling and programming with actors, concurrent objects and agents.
Proceedings of the Second International Workshop on Combined Object-Oriented Modelling and Programming Languages, 2013

2012
The Genia Event and Protein Coreference tasks of the BioNLP Shared Task 2011.
BMC Bioinformatics, 2012

2011
Extended alias type system using separating implication.
Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

Building linked open data using approximate string matching methods and domain specific resources.
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, 2011

Advanced Institute for Computational Science (AICS): Japanese National High-Performance Computing Research Institute and its 10-petaflops supercomputer "K".
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Programming language support for routing in pervasive networks.
Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

Discriminative Optimization of String Similarity and Its Application to Biomedical Abbreviation Clustering.
Proceedings of the 10th International Conference on Machine Learning and Applications and Workshops, 2011

Overview of Genia Event Task in BioNLP Shared Task 2011.
Proceedings of BioNLP Shared Task 2011 Workshop, Portland, Oregon, USA, June 24, 2011, 2011

Discriminative Application of String Similarity Methods to Chemical and Non-chemical Names for Biomedical Abbreviation Clustering.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2011

2010
Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts.
Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Easy and instantaneous processing for data-intensive workflows.
Proceedings of the 3rd Workshop on Many-Task Computing on Grids and Supercomputers, 2010

Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

ParaTrac: a fine-grained profiler for data-intensive workflows.
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, 2010

Remote Process Execution and Remote File I/O for Heterogeneous Processors in Cluster Systems.
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

Fine-Grained Profiling for Data-Intensive Workflows.
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009
A Self-organized Clustering-based Overlay Network for Application Level Multicast.
JNW, 2009

Writing an OS Kernel in a Strictly and Statically Typed Language.
Proceedings of the Formal to Practical Security, 2009

GMount: An Ad Hoc and Locality-Aware Distributed File System by Using SSH and FUSE.
Proceedings of the 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, 2009

2008
Control of system calls from outside of virtual machines.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

GMount: Build your grid file system on the fly.
Proceedings of the 9th IEEE/ACM International Conference on Grid Computing (Grid 2008), Tsukuba, Japan, September 29, 2008

2007
Compiling C Programs into a Strongly Typed Assembly Language.
Proceedings of the Advances in Computer Science, 2007

2006
Protecting Web Servers from Octopus Attacks.
Proceedings of the 2006 International Symposium on Applications and the Internet (SAINT 2006), 2006

Combining type-based analysis and model checking for finding counterexamples against non-interference.
Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006

Formal Verification of the Heap Manager of an Operating System Using Separation Logic.
Proceedings of the Formal Methods and Software Engineering, 2006

leK, Dge-Interleaving Structuring Technique for Peer-Peer Overlay Network.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Early Concurrent/Mobile Objects.
Proceedings of the ECOOP 2006, 2006

Autonomic K-Interleaving Construction Scheme for P2P Overlay Networks.
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

A Fine-Grained Join Point Model for More Reusable Aspects.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

K-Interleaving Rendezvous Overlay Network Construction Scheme.
Proceedings of the 5th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2006) and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering, 2006

2005
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives.
Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Speculative Security Checks in Sandboxing Systems.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Aspectual Caml: an aspect-oriented functional language.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004
MobileScope: A Programming Language with Objective Mobility.
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

Routing and resource discovery in Phoenix Grid-enabled message passing library.
Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), 2004

High performance LU factorization for non-dedicated clusters.
Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), 2004

Region-Based Memory Management for a Dynamically-Typed Language.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
Implementing an applet system without fixing virtual-machine designs.
Systems and Computers in Japan, 2003

Secure Software Infrastructure in the Internet Age.
New Generation Comput., 2003

Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003

Fine-Grained Dynamic Adaptation of Distributed Components.
Proceedings of the Middleware 2003, 2003

The Interface Definition Language for Fail-Safe C.
Proceedings of the Software Security, 2003

FSP: Federation of Service Providers on the Internet.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

Kernel Mode Linux: Toward an Operating System Protected by a Type Theory.
Proceedings of the Advances in Computing Science, 2003

2002
Regular Expression Types for Strings in a Text Processing Language.
Electr. Notes Theor. Comput. Sci., 2002

Supporting objects in run-time bytecode specialization.
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report.
Proceedings of the Software Security -- Theories and Systems, 2002

Virtual Private Grid: A Command Shell for Utilizing Hundreds of Machines Efficiently.
Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

2001
A Portable Approach to Dynamic Optimization in Run-time Specialization.
New Generation Comput., 2001

A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation.
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Run-Time Bytecode Specialization.
Proceedings of the Programs as Data Objects, Second Symposium, 2001

Fusion of Concurrent Invocations of Exclusive Methods.
Proceedings of the Parallel Computing Technologies, 2001

Predicting Scalability of Parallel Garbage Collectors on Shared Memory Multiprocessors.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

2000
Extending Java virtual machine with integer-reference conversion.
Concurrency - Practice and Experience, 2000

Bytecode Transformation for Portable Thread Migration in Java.
Proceedings of the Agent Systems, 2000

Performance Evaluation of OpenMP Applications with Nested Parallelism.
Proceedings of the Languages, 2000

Online Computation of Critical Paths for Multithreaded Languages.
Proceedings of the Parallel and Distributed Processing, 2000

Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling.
Proceedings of the Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), 2000

MobileML: A Programming Language for Mobile Computation.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999
Distributed Concurrent Linear Logic Programming.
Theor. Comput. Sci., 1999

StackThreads/MP: Integrating Futures into Calling Standards.
Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999

Distributed and concurrent objects based on linear logic (Invited Talk).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998
Garbage Collection via Dynamic Type Inference - A Fomal Treatment.
Proceedings of the Types in Compilation, Second International Workshop, 1998

Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers.
Proceedings of the Languages, 1998

Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language.
Proceedings of the ECOOP'98, 1998

1997
A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory Machines.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1997

An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines.
Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

Fine-grain Multithreading with Minimal Compiler Support - A Cost Effective Approach to Implementing Efficient Multithreading Languages.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

A Compile-Time Meta-Level Architecture Supporting Class Specific Optimization.
Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997

A Methodology for Specifying Data Distribution Using Only Standard Object-Oriented Features.
Proceedings of the 11th international conference on Supercomputing, 1997

An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996
Obituary: Professor Nobuo Yoneda (28 March 1930-22 April 1996).
Sci. Comput. Program., 1996

Duplication and Partial Evaluation For a Better Understanding of Reflective Languages.
Lisp and Symbolic Computation, 1996

Visualization of RNA secondary structures using highly parallel computers.
Computer Applications in the Biosciences, 1996

Hierarchical Collections: An Efficient Scheme to Build an Obeject-Oriented Distributed Class Library for Massively Parallel Computation.
Proceedings of the Object Technologies for Advanced Software, 1996

Partial Evaluation Scheme for Concurrent Languages and Its Correctness.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Generalized Local Propagation: A Framework for Solving Constraint Hierarchies.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995
Towards Foundations of Concurrent Object-Oriented Programming-Types and Language Design.
TAPOS, 1995

RNA secondary structure prediction using highly parallel computers.
Computer Applications in the Biosciences, 1995

Static Analysis of Communication for Asynchronous Concurrent Programming Languages
Proceedings of the Static Analysis, 1995

A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information - Replay and Race Detection.
Proceedings of the Parallel Symbolic Languages and Systems, 1995

Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation.
Proceedings of the OOPSLA'95, 1995

Schematic: A Concurrent Object-Oriented Extension to Scheme.
Proceedings of the Object-Based Parallel and Distributed Computation, 1995

1994
A Framework for Constructing Animations via Declarative Mapping Rules.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Interactive Generation of Graphical User Interfaces by Multiple Visual Examples.
Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology, 1994

StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs.
Proceedings of the Theory and Practice of Parallel Programming, 1994

Higher-Order Concurrent Linear Logic Programming.
Proceedings of the Theory and Practice of Parallel Programming, 1994

An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers.
Proceedings of the Theory and Practice of Parallel Programming, 1994

Theory and Practice of Concurrent Object-Oriented Computing.
Proceedings of the Theoretical Aspects of Computer Software, 1994

A Complete Type Inference System for Subtyped Recursive Types.
Proceedings of the Theoretical Aspects of Computer Software, 1994

Efficient parallel global garbage collection on massively parallel computers.
Proceedings of the Proceedings Supercomputing '94, 1994

Locally Simultaneous Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 1994

Type-Theoretic Foundations for Concurrent Object-Oriented Programming.
Proceedings of the OOPSLA'94, 1994

Comprehensive operating system for highly parallel machine.
Proceedings of the International Symposium on Parallel Architectures, 1994

The Plan-Du Style Compilation Technique for Eager Data Transfer in Thread-Based Execution.
Proceedings of the Parallel Architectures and Compilation Techniques, 1994

ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language- Its Design and Implementation.
Proceedings of the Specification of Parallel Algorithms, 1994

1993
Implementing concurrent object-oriented languages on multicomputers.
IEEE P&DT, 1993

ACL - A Concurrent Linear Logic Programming Paradigm.
Proceedings of the Logic Programming, 1993

An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers.
Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993

Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages.
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Eighth Annual Conference, Washington, DC, USA, September 26, 1993

Abstracting Object Interactions Using Composition Filters.
Proceedings of the Object-Based Distributed Programming, 1993

1992
A General Framework for Bidirectional Translation between Abstract and Pictorial Data.
ACM Trans. Inf. Syst., 1992

Declarative Programming of Graphical Interfaces by Visual Examples.
Proceedings of the Fifth ACM Symposium on User Interface Software and Technology, 1992

An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers.
Proceedings of the Parallel Symbolic Computing: Languages, 1992

Asynchronous Communication Model Based on Linear Logic.
Proceedings of the Parallel Symbolic Computing: Languages, 1992

Applications for Parallel Symbolic Computation (panel).
Proceedings of the Parallel Symbolic Computing: Languages, 1992

Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently.
Proceedings of the Conference on Object-Oriented Programming Systems, 1992

ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended dataflow supercomputer.
Proceedings of the 6th international conference on Supercomputing, 1992

1991
OOPSLA panel on object-based concurrent programming.
OOPS Messenger, 1991

A general framework for Bi-directional translation between abstract and pictorial data.
Proceedings of the 4th Annual ACM Symposium on User Interface Software and Technology, 1991

Linguistic supports for development of distributed organizational information systems in object-oriented concurrent computation frameworks.
Proceedings of the Conference on Organizational Computing Systems, 1991

Object-Oriented Concurrent Reflective Architectures.
Proceedings of the Object-Based Concurrent Computing, 1991

What Is An Object?
Proceedings of the Object-Based Concurrent Computing, 1991

Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming.
Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

1990
Parallel Processing Description in the Concurrent Object-Oriented Language ABCL/1.
Systems and Computers in Japan, 1990

An Actor-Based Metalevel Architecture for Group-Wide Reflection.
Proceedings of the Foundations of Object-Oriented Languages, 1990

Foundations of Concurrent Object-Oriented Programming (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

1989
An introduction to object-based reflective concurrent computation.
SIGPLAN Notices, 1989

A Reflective Object Oriented Concurrent Language ABCL/R.
Proceedings of the Parallel Lisp: Languages and Systems, 1989

Optimistic and Pessimistic Synchronization in Distributed Computing.
Proceedings of the Parallel Lisp: Languages and Systems, 1989

Exception Handling and Real Time Features in an Object-Oriented Concurrent Language.
Proceedings of the Concurrency: Theory, 1989

1988
Reflection in an Object-Oriented Concurrent Language.
Proceedings of the Conference on Object-Oriented Programming Systems, 1988

Debugging Concurrent Systems Based on Object Groups.
Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988

Object-oriented parallel parsing for context-free grammars.
Proceedings of the 12th International Conference on Computational Linguistics, 1988

Parallel processing in computational linguistics.
Proceedings of the 12th International Conference on Computational Linguistics, 1988

1987
Inheritance and Synchronization in Concurrent OOP.
Proceedings of the ECOOP'87 European Conference on Object-Oriented Programming, 1987

1986
Object-Oriented Concurrent Programming in ABCL/1.
Proceedings of the Conference on Object-Oriented Programming Systems, 1986

AI and Programming Languages - Response.
Proceedings of the Information Processing 86, 1986

1985
The Rendezvous Concept - a Programming Tool for Parallel Processing.
Elektronische Informationsverarbeitung und Kybernetik, 1985

Object Oriented Concurrent Programming and Industrial Software Production.
Proceedings of the Mathematical Foundations of Software Development, 1985

1984
A Prolog-Based Natural Language Front-End System.
New Generation Comput., 1984

1983
Modularization and Abstraction in Logic Programming.
New Generation Comput., 1983

1978
A formal specification technique for abstract data types with parallelism.
Proceedings of the Mathematical Studies of Information Processing, 1978

1977
Modelling Distributed Systems.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977


  Loading...