[dbjapan] PPL Summer School 2008

[Kenjiro Taura <tau [at] logos.t.u-tokyo.ac.jp>]

DB Japanの皆様

## 重複してお受け取りの際はご容赦くださいませ

東京大学の田浦です.

MLをお借りして, 毎年好評を博しているPPLサマースクールのお知らせを
させていただきます.

PPLサマースクールを, 今年も日本ソフトウエア科学会大会の併設企画として行
います.

詳しくは下記URLをご覧の上, ふるってご参加ください.


------------------------------------------------------
              PPLサマースクール2008
今日から使える! みんなの静的解析・バグ検出ツール
------------------------------------------------------

URL: http://www.logos.t.u-tokyo.ac.jp/ppl_ss08/
開催日時: 2008年9月9日(火) 10:30-17:15 (懇親会 -18:30)
場所: 筑波大学 東京茗荷谷キャンパス 会場G501
主催: 日本ソフトウエア科学会・ プログラミング論研究会   
日本ソフトウエア科学会第25回大会 併設企画(http://www.jssst.or.jp/)

== 概要 ==

PPLサマースクールは, 日本ソフトウエア科学会・プログラミング論研究会主催
のイベントです. 第6回目となる今回も前回までと同様, 日本ソフトウエア科学
会大会 併設企画として開催されます.

今回のサマースクールの内容ですが, 「今日から使える! みんなの静的解析,
エラー検出ツール」と題して,

* 大岩寛氏(産総研) Fail-Safe C (https://staff.aist.go.jp/y.oiwa/FailSafeC/)
* John Kodumal氏(Coverity社) Thread Analyzer for Java (http://www.coverity.com/html_ja/coverity-thread-analyzer-java.html)

のチュートリアルを企画致しました. 

Fail-Safe Cはメモリ安全性を保証するC言語の処理系で, C言語で書かれたプロ
グラムに, バッファオーバーランやポインタの不正使用などのバグがあっても
メモリ安全性を保証するという, 文字通りC言語の"Fail-Safe"な実行を可能と
する処理系です. 実装技術には実行時の検査と静的な解析が組み合わせて用い
られており, OpenSSL, BIND9, OpenSSH, thttpd, zlibなどのサーバを
実際にコンパイルできます.

Thread Analyzer for Javaは, 静的な解析を専門とする会社Coverityの製品で,
競合するメモリアクセスやデッドロックなどの並行性に関するバグを検出しま
す.  普段はあまり聞く事のできない, 製品の技術的な内容について聞く事ので
きるまたとない機会です. これも静的な解析と動的な検査を組み合わせて実装
されているそうです.

どちらも, 技術的内容に興味のある「言語の専門家」みたいな人は元より, そ
れを使ってソフトウェアの信頼性を高めたいというプログラマの方々にも非常
に興味深く有用な講演になると思いますので, ぜひお越しください.

一件の講演時間をたっぷりとって, ツールデモや実際に聴衆がツールを動かし
ながらの演習など, 実践的な部分にも時間をとっていただくようご検討いただ
いています(講演内容は近日あらためて本ページでご紹介いたします).

== 幹事より一言 ==

* 技術的内容の面白さ, 
* 実践的な処理系がある,
* ポピュラーな言語(C, Java)のソースコードをそのまま対象としたツールである, 

という条件にあったものを厳選しました. 講演は, 研究者・開発者自らにお越
しいただくことができました.

* 日々ソフトウェアを書いているプログラマ
* 信頼性命の開発者, 組み込みソフトの開発者など
* とくに, ソフトウェアの安全性, 信頼性に興味があるプログラマ
* プログラミング言語に興味がある
** 静的解析, 型システム
** 動的解析, 競合検出
* 並行処理に興味がある
など, 幅広い人に興味を持っていただける内容となっていると思います. ぜひ
お越しください.

講演者はいずれも, お話しいただく処理系の実際の設計・開発者です. 

詳しくは上記ウェブサイトをご覧ください.

== 参加費 ==

日本ソフトウェア科学会の会員,もしくは会員申込中の場合は安くなります.

会員・学生    1,000円
非会員・学生  2,000円
会員・一般    2,000円
非会員・一般  4,000円

== 問い合わせ先 ==

サマースクール幹事
東京大学大学院 情報理工学系研究科 
田浦健次朗
E-mail: tau [at] logos.t.u-tokyo.ac.jp
Tel: 03-5841-6081