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 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).  Program
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 10:00-10:20 | Opening |
|
| Session 1 (Chair: Toshio Endo, Tokyo Institute of Technology) | ||
| 10:20-10:50 |
Suad Alagic (University of Southern Maine) | Verifiable Object-oriented Transactions |
| 10:50-11:10 |
Shigeru Chiba (University of Tokyo) | Does modularity help high-performance computing? |
| |
break |
|
| Session 2 (Chair: Masahiro Yasugi, Kyushu Institute of Technology) | ||
| 11:40-12:10 |
Gul Agha (University of Illinois) | Dynamic Analysis of Concurrent Systems |
| 12:10-12:40 |
Bert Halstead (Curl Corporation) | Past and Future Directions for Concurrent Task Scheduling |
| 12:40-13:00 |
Kenjiro Taura (University of Tokyo) | MassiveThreads: A Lightweight Thread Library for Massively Parallel Machines |
| lunch |
||
| Session 3 (Chair: Kenjiro Taura, University of Tokyo) | ||
| 14:30-15:00 |
Akinori Yonezawa (RIKEN AICS) |
Working for High Performance Computing |
| 15:00-15:30 |
Andrew Chien (University of Chicago) | Concurrent Objects in High-Performance Computing and Architecture: A Fundamental Theme |
| 15:30-15:50 |
Mitsuhisa Sato (University of Tsukuba) | Researches on Programming Environment for the K Computer in AICS |
| break | ||
| Session 4 (Chair: Eijiro Sumii, Tohoku University) | ||
| 16:20-16:50 | Kohei Honda (Queen Mary University of London) | Structuring Communications with Session Types |
| 16:50-17:20 |
Vijay Saraswat (IBM Watoson Research Lab) | Building applications with X10 |
| 17:20-17:40 |
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 |
| 10:30-11:00 |
Wolfgang de Meuter (Vrije Universiteit Brussel) | Objects in Space |
| 11:00-11:20 |
Satoshi Matsuoka (Tokyo Institute of Technology) | Million Cores Now a Reality: Tsubame 2.0 and Beyond |
| break |
||
| Session 6 (Chair: Jacques Garrigue, Nagoya University) | ||
| 11:50-12:20 |
Jan Vitek (Purdue University) | Thorn: Objects, Scripts and more... |
| 12:20-12:40 |
Naoki Kobayashi (University of Tokyo) | Towards Model Checking of Concurrent Objects |
| 12:40-13:00 |
Atsushi Igarashi (Kyoto University) | Gradual Typing for Java |
| lunch |
||
| Session 7 (Chair: Takuo Watanabe, Tokyo Institute of Techonology) | ||
| 14:30-15:00 |
Mehmet Aksit (University of Twente) | From Object-Oriented to Event-Driven Programming |
| 15:00-15:30 |
Pierre Cointe (École des Mines de Nantes) | Designing Programming Languages: an Historical Perspective |
| 15:30-15:50 |
Hidehiko Masuhara (University of Tokyo) | Reflection on the Power of Pointcuts |
| 16:00-17:00 |
a tour of the K supercomputer |
|
Venue
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 Liner. Ask 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.
Accommodation
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 |
breakfast (per person) |
|
| Quality Hotel Kobe | double high class |
6,500 |
7,000 |
1,000 |
| standard twin |
7,500 |
10,000 |
||
| twin high class |
8,000 |
13,000 |
||
| Portpia Hotel | standard single |
8,500 | 2,000 | |
| standard twin |
18,000 | |||
| Hotel Pearl City Kobe |
single |
6,300 |
1,050 |
|
| twin |
8,400 |
10,500 |
(All prices are in JPY, including tax.)
Symposium organizers and Festschrift editors
- Gul Agha (University of Illinois)
- Atsushi Igarashi (Kyoto University)
- Naoki Kobayashi (University of Tokyo)
- Hidehiko Masuhara (University of Tokyo)
- Satoshi Matsuoka (Tokyo Institute of Technology)
- Etsuya Shibayama (University of Tokyo)
- Kenjiro Taura (University of Tokyo)
Contact information
- aki65thbd _AT_ graco.c.u-tokyo.ac.jp