Akinori Yonezawa
Affiliations:- University of Tokyo, Japan
According to our database1,
Akinori Yonezawa
authored at least 142 papers
between 1977 and 2014.
Collaborative distances:
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 Dataset OtherLinks
Online presence:
-
on stair.center
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2014
Proceedings of the Concurrent Objects and Beyond, 2014
2013
Building Linked Open Data towards integration of biomedical scientific literature with DBpedia.
J. Biomed. Semant., 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
BMC Bioinform., 2012
2011
Performance Evaluation of a Distributed File System with Locality-Aware Metadata Lookups.
Inf. Media Technol., 2011
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
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
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
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
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
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010
2009
J. Networks, 2009
Proceedings of the Formal to Practical Security, 2009
Proceedings of the 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, 2009
2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the 9th IEEE/ACM International Conference on Grid Computing (Grid 2008), Tsukuba, Japan, September 29, 2008
2007
Proceedings of the Advances in Computer Science, 2007
2006
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
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006
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
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005
2004
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004
Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), 2004
Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), 2004
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004
2003
Syst. Comput. Jpn., 2003
Virtual private grid: a command shell for utilizing hundreds of machines efficiently.
Future Gener. Comput. Syst., 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
Proceedings of the Middleware 2003, 2003
Proceedings of the Software Security, 2003
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003
Proceedings of the Advances in Computing Science, 2003
2002
Proceedings of the International Workshop in Types in Programming, 2002
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002
Proceedings of the Software Security -- Theories and Systems, 2002
2001
New Gener. 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
Proceedings of the Programs as Data Objects, Second Symposium, 2001
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
Concurr. Pract. Exp., 2000
Proceedings of the Agent Systems, 2000
Proceedings of the Languages, 2000
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
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
1999
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
Proceedings of the Types in Compilation, Second International Workshop, 1998
Proceedings of the Languages, 1998
Proceedings of the ECOOP'98, 1998
1997
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
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997
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
Sci. Comput. Program., 1996
Duplication and Partial Evaluation For a Better Understanding of Reflective Languages.
LISP Symb. Comput., 1996
Comput. Appl. Biosci., 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
Proceedings of the Euro-Par '96 Parallel Processing, 1996
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.
Theory Pract. Object Syst., 1995
Comput. Appl. Biosci., 1995
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 Tenth Annual Conference on Object-Oriented Programming Systems, 1995
Proceedings of the Object-Based Parallel and Distributed Computation, 1995
1994
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994
Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology, 1994
Proceedings of the Theory and Practice of Parallel Programming, 1994
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
Proceedings of the Theoretical Aspects of Computer Software, 1994
Proceedings of the Theoretical Aspects of Computer Software, 1994
Proceedings of the Proceedings Supercomputing '94, 1994
Proceedings of the Principles and Practice of Constraint Programming, 1994
PARCS: An MPP-Oriented CLP Language.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994
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
IEEE Parallel Distributed Technol. Syst. Appl., 1993
ACL - A Concurrent Linear Logic Programming Paradigm.
Proceedings of the Logic Programming, 1993
Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages.
Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993
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
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
Proceedings of the Parallel Symbolic Computing: Languages, 1992
Proceedings of the Seventh Annual 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
Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 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
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
Syst. Comput. Jpn., 1990
Proceedings of the Workshop on Object-based Concurrent Programming, 1990
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
Proceedings of the European Conference on Object-Oriented Programming Addendum: Systems, 1990
1989
Proceedings of the Parallel Lisp: Languages and Systems, 1989
Proceedings of the Parallel Lisp: Languages and Systems, 1989
Proceedings of the 5th International Workshop on Software Specification and Design, 1989
Proceedings of the Concurrency: Theory, 1989
1988
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988
Proceedings of the Conference on Object-Oriented Programming Systems, 1988
Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988
Proceedings of the 12th International Conference on Computational Linguistics, 1988
Proceedings of the 12th International Conference on Computational Linguistics, 1988
1987
Proceedings of the ECOOP'87 European Conference on Object-Oriented Programming, 1987
1986
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.
J. Inf. Process. Cybern., 1985
Proceedings of the Mathematical Foundations of Software Development, 1985
1984
1983
1978
Proceedings of the Mathematical Studies of Information Processing, 1978
1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977