课题基金 / 基金详情

Verification of Multi-thread Programs via Linear Programming

Verification of Multi-thread Programs via Linear Programming
通过线性规划验证多线程程序
批准号：
20700019
负责人：
TERAUCHI Tachio
金额：
$2.58万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2008
资助国家：
日本
项目状态：
已结题
起止时间：
2008 至 2010
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20700019/
关键词：
ソフトウェア検証プログラム言語型推論権限計算線形計画法型理論

项目摘要

项目成果

TERAUCHI Tachio的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
We propose a software verification framework based on the formalism of fractional capabilities thatstatically (i.e., at compile time) and automatically checksthatcertain bad things (e.g., data races) never happenin concurrent programs. The key to the success is the reduction of fractional capability calculito the problem of linear programming.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Checking Race Freedom via Linear Programming
通过线性规划检查种族自由度
DOI： --
发表时间： 2008
期刊： In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI 2008)
影响因子： --
作者： [Tachio Terauchi, Alex Aiken, Norihiro Kamide, Norihiro Kamide, Tachio Terauchi, Norihiro Kamide, Tachio Terauchi]
通讯作者： Tachio Terauchi
A Type System for Observational Determinism
观察决定论的类型系统
DOI： --
发表时间： 2008
期刊： In Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF 2008), IEEE Computer Society
影响因子： --
作者： [Tachio Terauchi, Alex Aiken, Norihiro Kamide, Norihiro Kamide, Tachio Terauchi]
通讯作者： Tachio Terauchi
A Capability Calculus for Concurrency and Determinism
并发性和确定性的能力计算
DOI： --
发表时间： 2008
期刊： ACM Transactions on Programming Languages and Systems (TOPLAS)
影响因子： --
作者： [Tachio Terauchi, Alex Aiken]
通讯作者： Alex Aiken
Inferring Channel Buffer Bounds via Linear Programming
通过线性规划推断通道缓冲区界限
DOI： --
发表时间： 2008
期刊： Proceedings of the 17th European Symposium on Programming(ESOP'08) 4960
影响因子： --
作者： [Tachio Terauchi, Adam Megacz]
通讯作者： Adam Megacz
共 8 条
    Verification of Quantitative Information Flow
    • 批准号：
      23700026
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.66万
    • 财政年份：
      2011
    • 负责人：
      TERAUCHI Tachio
    • 依托单位：
      Nagoya University
    海外基金