コンピュータサイエンス研究会(2010年10月21日(木))

コンピュータサイエンス研究会(2010年10月21日(木))

研究会名:コンピュータサイエンス研究会

開催日:2010年10月21日(木)15:00~17:00

題目:“ Modular abstractions for dataflow programs ”

講師:David Monniaux氏 (CNRS, France)

開催場所:電気情報系3号館206号室


 

コンピュータサイエンス研究会 講演会の御案内

コンピュータサイエンス研究会
主査  篠原 歩

 

下記のようにコンピュータサイエンス研究会の講演会を開催いたしますので,ご案内申し上げます.

  • 日時:2010年10月21日(木)15:00~17:00
  • 場所:電気情報系3号館206号室
  • 題目:“Modular abstractions for dataflow programs”
  • 話者:David Monniaux (CNRS, France)
  • 概要:
      We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on rational, real or floating-point variables and containing linear assignments and tests.
      In addition to loop-free code, the same method also applies for obtaining least fixed points as functions of the precondition, which permits the analysis of loops and recursive functions. Our algorithms are based on new quantifier elimination and symbolic manipulation techniques.
      Given the specification of an abstract domain, and a program block, our method automatically outputs an implementation of the corresponding abstract transformer. It is thus a form of program transformation.
    The motivation of our work is data-flow synchronous programming languages, used for building control-command embedded systems, but it also applies to imperative and functional programming.
      Because data-flow programs often have finite-state “modes”, and such modes may need to be distinguished in the previous analysis, we also present an analysis for discovering these modes.

問い合わせ先

小林 直樹

内線:7177(青葉山)