今回のGRACEセミナーでは，Design by Contractを始め，プログラミング言語・ソフトウェア工学に多大な貢献をされ現在もご活躍なさっているBertrand Meyer教授を招き，並行オブジェクトプログラミングの支援やロボットなどへの応用についてご講演いただきます．
ぜひふるってご参加ください．
※今回のセミナーは英語で行われます。
◆◆第80回GRACEセミナー ◆◆
【日時】2016年1月19日（火）13:00-14:30
【会場】国立情報学研究所(NII) 19F 会議室1,2(1901,1902)
〒101-8430 東京都千代田区一ツ橋2-1-2
[http://www.nii.ac.jp/about/access/]
【参加費】無料
参加ご希望の方は，下記よりご登録をお願いいたします:
https://ws.formzu.net/fgen/S88950793/
【お問い合わせ先】
石川冬樹(seminar-steering_AT_grace-center.jp)
_AT_を＠に書き換えてください。
—-
Speaker: Prof. Bertrand Meyer(ETH Zurich, Innopolis University and Eiffel Software)
http://se.ethz.ch/~meyer/
Title: Can concurrent programming be safe and easy? The SCOOP approach
Abstract:
Most software today needs to be concurrent, taking advantage of multicore
and distributed computing platforms, or just of multithreading. Building
concurrent applications remains a black art; with the standard
multithreading mechanisms, the constant risk of data races and deadlocks
threatens the execution of all applications. To try to avoid these pitfalls
and produce applications that are both efficient and safe, programmers have
few tools and little guidance; testing, in particular, is of little help.
The “Concurrency Made Easy” ERC Advanced Investigator Project, building on
the SCOOP model of concurrent computation, proposes a concurrency approach
that strays as little as possible from established principles of sequential
object-oriented programming. The aim is to allow developers to get the full
performance of concurrent applications while continuing to reason about
their programs in the classical way. I will present these techniques, the
current state of their implementation, examples of applications, and the
perspective these developments offer for the future of programming.
At the end of the talk I will also spend a few minutes describing work in
other areas: practical software verification (AutoProof, AutoTest),
automatic bug fixing (Autofix), support for online programming education,
pedagogical principles of teaching introductory programming and MOOCs,
support for distributed software development, software for robotics.
—-
協力：トップエスイー プロジェクト
