Concurrent Objects and Beyond

1. Front Matter

   PDF

2. My Early Education and Concurrent Objects

   • Akinori Yonezawa

   Pages 1-17

3. Object-Oriented Concurrent Programming in ABCL/1

   • Akinori Yonezawa, Jean-Pierre Briot, Etsuya Shibayama

   Pages 18-43

4. Reflection in an Object-Oriented Concurrent Language

   • Takuo Watanabe, Akinori Yonezawa

   Pages 44-65

5. Building Safe Concurrency Abstractions

   • Ole Lehrmann Madsen

   Pages 66-104

6. Structuring Communication with Session Types

   • Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou et al.

   Pages 105-127

7. From Linear Types to Behavioural Types and Model Checking

   • Naoki Kobayashi

   Pages 128-143

8. SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency

   • Travis Desell, Carlos A. Varela

   Pages 144-166

9. Past and Future Directions for Concurrent Task Scheduling

   • Robert H. Halstead

   Pages 167-195

10. Controlling Concurrency and Expressing Synchronization in Charm++ Programs

    • Laxmikant V. Kale, Jonathan Lifflander

    Pages 196-221

11. MassiveThreads: A Thread Library for High Productivity Languages

    • Jun Nakashima, Kenjiro Taura

    Pages 222-238

12. On Efficient Load Balancing for Irregular Applications

    • Masahiro Yasugi

    Pages 239-250

13. Verifiable Object-Oriented Transactions

    • Suad Alagić, Adnan Fazeli

    Pages 251-275

14. Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks

    • YoungMin Kwon, Kirill Mechitov, Gul Agha

    Pages 276-316

15. Objects in Space

    • Wolfgang De Meuter, Andoni Lombide Carreton, Kevin Pinte, Stijn Mostinckx, Tom Van Cutsem

    Pages 317-340

16. Towards a Substrate Framework of Computation

    • Kazunori Ueda

    Pages 341-366

17. Event-Based Modularization of Reactive Systems

    • Somayeh Malakuti, Mehmet Aksit

    Pages 367-407

18. From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL

    • Alessandro Ricci, Andrea Santi

    Pages 408-445

19. Back Matter

    PDF

This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.

• HPC
• agent-oriented programming
• computing methodologies
• concurrency
• concurrent computing
• concurrent objects
• concurrent programming languages
• high-performance computing
• model checking
• models of computation
• object-oriented languages
• operating systems
• parallel computing
• process management
• scheduling
• software engineering
• software notation and tools

• Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA

  Gul Agha

• Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University, Kyoto, Japan

  Atsushi Igarashi

• Department of Computer Science, The University of Tokyo, Tokyo, Japan

  Naoki Kobayashi

• Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, Tokyo, Japan

  Hidehiko Masuhara

• Global Scientific Information and Computing Center, Tokyo Institute of Technology, Tokyo, Japan

  Satoshi Matsuoka

• Information Technology Center, The University of Tokyo, Tokyo, Japan

  Etsuya Shibayama

• Graduate School of Information Science and Technology, Department of Information and Communication Engineering, The University of Tokyo, Tokyo, Japan

  Kenjiro Taura

Policies and ethics