センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

6th AIST/CVS Workshop
Last updated: 2006.04.07

Workshop on Shape Aanalysis and Program Analysis

日    程: 2006年4月7日(金)
0407WS場    所: システム検証研究センター千里オフィス6F会議室       地図はこちら
概    要: 
Shape analysis で有名なMooly Sagiv先生(Tel-aviv大学)が当研究センターを来訪されました。そこで、Shape analysisやProgram analysisに関するWorkshopを開催し、Sagiv先生にもご講演いただきました。


10:00 小林直樹 (東北大学)
“Resource Usage Analysis for a Funtional Language with Exceptions”

(Joint work with Futoshi Iwama and Atsushi Igarashi)

10:35 関 浩之 (奈良先端科学技術大学院大学)
"HBAC: A Model for History-Based Access Control and Its Model Checking"
(Joint work with Jing Wang and Yoshiaki Takata)
11:10 昼食
13:00 Sagiv Mooly (Tel Aviv University)
“Compile-Time Verification of Properties of Heap Intensive Programs”
15:00 休憩
15:15 小川瑞史 (北陸先端科学技術大学院大学)
“Interprocedural Program Analysis for Java based on Weighted

Pushdown Model Checking”

(Collaboration with Li Xin, presented at the 5th International Workshop

on Automated Verification of Infinite-State Systems, AVIS ‘06, 2006.4.1)

15:50 大崎人士 (産業技術総合研究所)
“Monotone AC-Tree Automata”
16:25 田辺良則 (産業技術総合研究所)
"A decision procedure for a variant of mu-calculus"

産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2009 AIST Research Center for Verification and Semantics, All Rights Reserved.