• 追加された行はこの色です。
  • 削除された行はこの色です。
[http://ppl.jssst.or.jp/index.php?ss2010 In Japanese]
CENTER:&size(24){''PPL Summer School 2010''};
~
CENTER:&size(24){''New Languages in the Multicore Era''};
~
~
CENTER:''URL:'' http://ppl.jssst.or.jp/index.php?ss2010e
~
CENTER:''Date:'' 2010 Sep. 12 (Sun) 10:30-16:40 (social gathering -18:00)
CENTER:''Date:'' 2010 Sep. 12 (Sun) %%10:30%%&color(red,){''10:15''};-16:40 (social gathering -18:00)
~
CENTER:''Location:'' [http://www.tsuda.ac.jp/en/access/ Tsuda Colleage Kodaira Campus] Room 5101
~
CENTER:''Sponsored by'' [http://ppl.jssst.or.jp/Special Interest Group on Programming and Programming Languages (PPL)] [http://www.jssst.org/ Japan Society for Software Science and Technology]
~
CENTER:(Co-located with [http://www.informaticians.org/jssst2010/ the 27th JSSST Symposium])
~
LEFT:&size(16){''Table of Contents''};
#contents
*&size(24){''Overview''}; [#k6f3bf11]
PPL Summer School is an annual tutorial event hosted by Japan Society for Software Science and Technology's Special Interest Group on Programming and Programming Languages. The 8th summer school of this year is also co-located with the society's symposium.

This year's lecture is titled "New Languages in the Multicore Era" and gives the following three interesting languages designed for multicore. They are open source software.

- [http://projectfortress.sun.com/ Fortress]
- [http://golang.org/ Go]
- [http://x10-lang.org/ X10]
~
*&size(24){''From the Chair''}; [#n62dda5a]
Multicore is becoming pervasive. There are some problems such as productivity or performance for programming on multi-core. To address these problems, several languages are proposed. We selected the three excellent speakers who are developing or developped these languages.~
We asked the following questions to speakers beforehand.
- What is the design principle of your language ?~
- What does your language identify problems on multi-core ?~
- How does your language solve these problems ?~

We believe that speakers will give interesting talk including these answers, design principle, specifications, implementations, and so on.
~
We tried to make it attractive to a variety of audience including:

- Those daily write programs
- Those develop programs whose primary concerns are something on multicore
- Those want to write programs by exploiting multicore
- Those want to design own languages for multicore
- Those are interested in performance on multicore~

We will held this summer school on Sunday. Therefore, we expect that people, who are very busy on weekday, can attend.
*&size(24){''Program''}; [#x129f2ec]
CENTER:''2010 Sep. 12 (Sun)''
|10:00-10:30|Open room and registration|
|BGCOLOR(#afeeee):10:30-11:45|BGCOLOR(#afeeee):''Title: Project Fortress: A Multicore Language for Scientists and Engineers''&br;&br;''Speaker'': [http://plrg.kaist.ac.kr/ryu Sukyoung Ryu] (KAIST, Korea)&br;''Abstract'': The computing world is currently undergoing dramatic changes.  More powerful computers have brought high-performance computing (HPC), an endeavor historically relegated to national labs and government institutions, to the mainstream.  At the same time, microchip manufacturers are designing new chips that contain increasing numbers of cores on a single chip to improve performance. Yet unfortunately, modern programming languages are ill-equipped for these changes. Most languages do not directly support any notion of parallelism and even languages with support for parallelism, such as the Java Programming Language, support only course-grained notions of parallelism, best suited for tasks such as networking and GUI programming. Fortress is a new programming language designed for HPC with high programmability.&br;It provides mathematical syntax to enable scientists and engineers to write programs in a notation they are accostomed to. It also provides built-in support for parallel programming. Fortress is designed for growth by community participation and development and its syntax and semantics have been formally designed and specified. This tutorial will introduce Project Fortress, which is an open-source project with a reference implementation of the Fortress programming language. Anyone who works on scientific programming, parallel programming, quality-critical software development, or open-source projects will find this tutorial of interest.&br;''Short bio.'': Sukyoung Ryu is an Assistant Professor at the Computer Science Department of KAIST (Korea Advanced Institute of Science and Technology).  Before joining KAIST in December 2009, she worked as a Member of Technical Staff in Sun Microsystems Laboratories, where she worked on formally designing and developing the Fortress programming language.|
|11:45-13:00|Lunch (Registration will be opened at 12:30-13:00)|
|&color(red,){''9:45-10:15''};|Open room and registration|
|BGCOLOR(#afeeee):&color(red,){''10:15-12:00''};|BGCOLOR(#afeeee):''Title: Project Fortress: A Multicore Language for Scientists and Engineers''&br;&br;''Speaker'': [http://plrg.kaist.ac.kr/ryu Sukyoung Ryu] (KAIST, Korea)&br;''Abstract'': The computing world is currently undergoing dramatic changes.  More powerful computers have brought high-performance computing (HPC), an endeavor historically relegated to national labs and government institutions, to the mainstream.  At the same time, microchip manufacturers are designing new chips that contain increasing numbers of cores on a single chip to improve performance. Yet unfortunately, modern programming languages are ill-equipped for these changes. Most languages do not directly support any notion of parallelism and even languages with support for parallelism, such as the Java Programming Language, support only course-grained notions of parallelism, best suited for tasks such as networking and GUI programming. Fortress is a new programming language designed for HPC with high programmability.&br;It provides mathematical syntax to enable scientists and engineers to write programs in a notation they are accostomed to. It also provides built-in support for parallel programming. Fortress is designed for growth by community participation and development and its syntax and semantics have been formally designed and specified. This tutorial will introduce Project Fortress, which is an open-source project with a reference implementation of the Fortress programming language. Anyone who works on scientific programming, parallel programming, quality-critical software development, or open-source projects will find this tutorial of interest.&br;''Short bio.'': Sukyoung Ryu is an Assistant Professor at the Computer Science Department of KAIST (Korea Advanced Institute of Science and Technology).  Before joining KAIST in December 2009, she worked as a Member of Technical Staff in Sun Microsystems Laboratories, where she worked on formally designing and developing the Fortress programming language.|
|&color(red,){''12:00-13:00''};|Lunch (Registration will be opened at 12:30-13:00)|
|BGCOLOR(#afeeee):13:00-14:45|BGCOLOR(#afeeee):''Title: Programming Language Go'' (in Japanese)&br;&br;''Speaker:'' Fumitoshi Ukai&br;Abstract: '''Coming soon'''|
|14:45-15:00|Break|
|BGCOLOR(#afeeee):15:00-16:45|BGCOLOR(#afeeee):''Title: Programming Language X10'' (in Japanese)&br;&br;''Speaker:'' Kiyokuni Kawachiya&br;Abstract: '''Coming soon'''|
|16:50-18:00|Social gathering with speakers (free）|

*&size(24){''Fee''}; [#w09f2595]
LEFT:
It's reduced if you are JSSST member or applying to it.

||JSSST member|JSSST non-member|
|students|1,000 JPY|2,000 JPY|
|non-students|2,000 JPY|3,000 JPY|
Please pay at the desk on site.
*&size(24){''Access''}; [#s7547d52]
You can walk from the following two stations
- Takanodai Station on Seibu Kokubunji Line (8 min. on foot)
- Shinkodaira Station on JR Musashino Line (18 min. on foot)

See the detail in [http://www.tsuda.ac.jp/en/access/ ''Access''].

*&size(24){''Considerations''}; [#y7ca6e16]
- We will not prepare the printed material. We are planning to deliver electric materials thru Wifi, USB memory, or CD-ROM. We will deliver them on Web site later.
- Sorry. We cannot prepare AC power at your seat.
- Please wear your name tag that will be given at the desk. Please return it when you leave.
- %%No food or drink%% Only water is permitted in the room. No food or juice in the room. You can eat and drink at the second floor (This summer school will be held at the first floor).
- %%No food or drink%% Only water and green tea are permitted in the room. No food or juice in the room. You can eat and drink at the second floor (This summer school will be held at the first floor).
- All of facilities are closed. You should eat lunch out of the colleage. 
~
*&size(24){''Application Form''}; [#fa04294e]
Though payment is on site, since the capacity of the room is limited, please make an advanced registration as possible. Please send the following information to ppl_ss10[at]sato.kuis.kyoto-u.ac.jp by 8/28.

   Subject: Application to PPL Summer School 2010
   To: ppl_ss10[at]sato.kuis.kyoto-u.ac.jp　(Replace [at] with @)
   
   Name: [ ]
   Affiliation: [ ]
   E-mail: [ ]
   
   student?: [student / non-student]
   JSSST member?: [member / non-member]
   If you are a member, its ID number (or say you are applying to it): [ID number / applying]
   Any special request: [ ]
*&size(24){''Past summber schools''}; [#g13a5cda]

- [http://www.ipl.t.u-tokyo.ac.jp/~hu/ppl_ss03/ 1st (PPL Summer School 2003)]
- [http://logic.is.tsukuba.ac.jp/~kam/ppl_ss04/ 2nd (PPL Summer School 2004)]
- [http://www.math.kyoto-u.ac.jp/~susumu/ppl_ss05/ 3rd (PPL Summer School 2005)]
- [http://www.math.nagoya-u.ac.jp/~garrigue/ppl_ss06/ 4th (PPL Summer School 2006)]
- [http://www.jaist.ac.jp/~mizuhito/ppl_ss07/ 5th (PPL Summer School 2007)]
- [http://www.logos.t.u-tokyo.ac.jp/ppl_ss08/ 6th (PPL Summer School 2008)]
- [http://www.is.noda.tus.ac.jp/ppl_ss09/ 7th (PPL Summer School 2009)]

*&size(24){''Contact''}; [#m6d59157]

''Summer school chair''

IBM Japan, Ltd. IBM Research - Tokyo~
[http://www.trl.ibm.com/people/ishizaki/ Kazuaki ishizaki]

1623-14, Shimotsuruma, Yamato, Kanagawa 242-8502, Japan~
E-mail: ppl_ss10[at]sato.kuis.kyoto-u.ac.jp