研究課題
若手研究(B)
本研究は、線形計画法と型理論を応用した、並行ソフトウェアの安全性（例えば、レース状態が起こらないなど）を静的（つまりコンパイル時に)検証する研究である。具体的には「分数権限計算」(FractionalCapability Calculus)という新しい概念を含んだ型システムを構築し、型推論問題を線形計画問題に帰着することにより高速に自動ソフトウェア検証を行う。
すべて 2010 2009 2008
すべて 雑誌論文 (16件) (うち査読あり 16件) 学会発表 (4件)
In Proceedings of the 15th European Symposium on Research in Computer Security (ESORICS 2010), Lecture Notes in Computer Science
巻: 6345, Springer ページ: 357-372
In Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010), IEEE Computer Society
ページ: 15-27
In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010)
巻: ACM ページ: 119-130
Proceedings of the 15^<th> European Symposium on Research in Computer Security (ESORICS 2010)
巻: 6345 ページ: 357-372
Proceedings of the 23^<rd> IEEE Computer Security Foundations Symposium (CSF 2010)
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(POPL 2010) 45
ページ: 119-130
In Proceedings of the 16th International Static Analysis Symposium (SAS 2009), Lecture Notes in Computer Science
巻: 5673, Springer ページ: 36-51
Proceedings of the 16th International Static Analysis Symposium(SAS 2009) 5673
ページ: 36-51
ACM Transactions on Programming Languages and Systems (TOPLAS)
巻: 30(5)
巻: 30(3)
In Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF 2008), IEEE Computer Society
ページ: 287-300
In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI 2008)
巻: ACM ページ: 1-10
In Proceedings of the 17th European Symposium on Programming (ESOP 2008), Lecture Notes in Computer Science
巻: 4960, Springer ページ: 284-298
Proceedings of the 17th European Symposium on Programming(ESOP 2008) 4960
ページ: 284-298
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation(PLDI 2008)
ページ: 1-10
Proceedings of the 21st IEEE Computer Security Foundations Symposium(CSF 2008)
