Concurrent Objects and Beyond

NEWS: Festschrift from Springer
A Festschrift dedicated to Professor Akinori Yonezawa, 
including a collection of papers presented at the symposium, is published as an LNCS volume (LNCS 8665) from Springer.

Concurrent Objects and Beyond
From Theory to High-Performance Computing

A Symposium in Honor of Professor Akinori Yonezawa's 65th Birthday

May 28 and 29, 2012

Integrated Research Center of Kobe University, Kobe, Japan

In the past decades, Professor
Akinori Yonezawa has made significant achievements on concurrent objects and many related topics including object-oriented programming, concurrency theory, parallel programming, mobile computing, secure software, computational reflection, and high-performance computing.  To tribute those achievements, the symposium features talks by Aki(nori)'s friends, colleagues and students. The talks will be on recent results related to those results, or the reflections on those topics.

After the symposium, we compile a Festschrift consisting of peer-reviewed papers authored by the talk presenters.  The Festschrift will be published in the LNCS series from Springer (under negotiation).


Monday, May 28, 2012

10:00-10:20 Opening
  Session 1 (Chair: Toshio Endo, Tokyo Institute of Technology)
Suad Alagic (University of Southern Maine) Verifiable Object-oriented Transactions
Shigeru Chiba (University of Tokyo) Does modularity help high-performance computing?
  Session 2 (Chair: Masahiro Yasugi, Kyushu Institute of Technology)
Gul Agha (University of Illinois) Dynamic Analysis of Concurrent Systems
Bert Halstead (Curl Corporation) Past and Future Directions for Concurrent Task Scheduling
Kenjiro Taura (University of Tokyo) MassiveThreads: A Lightweight Thread Library for Massively Parallel Machines
  Session 3 (Chair: Kenjiro Taura, University of Tokyo)
Akinori Yonezawa (RIKEN AICS)
Working for High Performance Computing
Andrew Chien (University of Chicago) Concurrent Objects in High-Performance Computing and Architecture: A Fundamental Theme
Mitsuhisa Sato (University of Tsukuba) Researches on Programming Environment for the K Computer in AICS
  Session 4 (Chair: Eijiro Sumii, Tohoku University)
16:20-16:50 Kohei Honda (Queen Mary University of London) Structuring Communications with Session Types
Vijay Saraswat (IBM Watoson Research Lab) Building applications with X10
Atsushi Ohori (Tohoku University) Development of SML# and its Potential for Massively Parallel Computation
18:00-20:00 Reception

Tuesday, May 29, 2012

  Session 5 (Chair: Etsuya Shibayama, University of Tokyo)
10:00-10:30    Ole Madsen (Aarhus University) Concurrent object-oriented modeling and programming in BETA
Wolfgang de Meuter (Vrije Universiteit Brussel) Objects in Space
Satoshi Matsuoka (Tokyo Institute of Technology) Million Cores Now a Reality: Tsubame 2.0 and Beyond
  Session 6 (Chair: Jacques Garrigue, Nagoya University)
Jan Vitek (Purdue University) Thorn: Objects, Scripts and more...
Naoki Kobayashi (University of Tokyo) Towards Model Checking of Concurrent Objects
Atsushi Igarashi (Kyoto University) Gradual Typing for Java
  Session 7 (Chair: Takuo Watanabe, Tokyo Institute of Techonology)
Mehmet Aksit (University of Twente) From Object-Oriented to Event-Driven Programming
Pierre Cointe (École des Mines de Nantes) Designing Programming Languages: an Historical Perspective
Hidehiko Masuhara (University of Tokyo) Reflection on the Power of Pointcuts
a tour of the K supercomputer


Integrated Research Center of Kobe University (Adjacent to K computer, RIKEN AICS)

  • Stations near the workshop venue and your hotel
    • The workshop venue is near "Kei Computer Mae" station of the Port Liner (ポートライナー).  It is a monorail service.
    • Three hotels we recommend below are all near "Shiminhiroba (市民広場)" station of the Port Liner.
  • From airports to the workshop venue or your hotel
    • Kansai International Airport (KIX) is the most convenient Airport to arrive at.  From KIX, use Bay Shuttle (Ferry) to Kobe Airport (神戸空港) in Japanese.  May be written KobeKuko), and then use Port Liner to the workshop venue or your hotel.  Note that googlemap recommends a slightly different route, apparently not knowing Bay Shuttle exists.  30 minutes on the ferry and < 15 minutes in Port Liner. 
    • Osaka International Airport, a.k.a. Itami Airport (ITM) is another choice.  The best route from ITM seems to use Osaka Aiport Limousine to Sannomiya (三宮) station and then use Port Liner.  40 minutes in the limousine and < 15 minutes in Port Liner.  Ask Google from ITM to the workshop venue.
    • If you ever arrive at Kobe Airport (UKB), the workshop venue is right next to it; just use Port LinerAsk Google from UKB to the workshop venue. However, you are unlikely to find a good flight to UKB, so you are likely to end up with using KIX.
    • If you arrive at Narita International Airport (NRT), use Narita Express or another railway to Tokyo (東京), Shinkansen (新幹線) to Shin Kobe (新神戸), Subway Seishin-Yamate Line (西神・山手線) to Sannomiya (三宮), and finally Port Liner.  It's a looooong way (approximately, 1 hour in the train to Tokyo, 3 hours in Shinkansen, 10 minutes in subway, and 15 minutes in Port Liner). Ask Google from NRT to the workshop venue. Note that it may suggest different  routes depending on train schedule.
    • If you arrive at Haneda International Airport (HND), use a train (Keikyu or Tokyo Monorail) to Hamamatsu-cho (浜松町), JR Yamanote Line (山手線) to Shinagawa (品川), Shinkansen (新幹線) to Shin Kobe (新神戸), Subway Seishin-Yamate Line (西神・山手線) to Sannomiya (三宮), and then Port Liner. It's a looooooooong way (approximately, 40 minutes to Shinagawa, 3 hours to Shin Kobe, 10 minutes to Sannomiya, and 15 minutes to the final destination). Ask Google from HND to the workshop venue. Note that it may suggest different routes depending on train schedule.


We recommend the following hotels with convenient access to the symposium site. Request "special rate for Riken AICS" in order to book with the indicated room rates.  They are all close to "Shiminhiroba (市民広場)" station and "Minatojima (みなとじま)" station of the Port Liner.

  room type
rate for
1 guest
rate for
2 guests
(per person)
Quality Hotel Kobe double high class
  standard twin
  twin high class
Portpia Hotel standard single
 8,500    2,000
  standard twin
Hotel Pearl City Kobe
(All prices are in JPY, including tax.)

Symposium organizers and Festschrift editors

Contact information

  • aki65thbd _AT_