PADTAD 2009:美国伊利诺伊州芝加哥
加内什·戈帕拉克里什南 , 埃坦·法基 , 埃里克·默瑟 :
2009年7月19日至20日,美国伊利诺伊州芝加哥,PADTAD 2009,第七届并行和分布式系统研讨会论文集:测试、分析和调试。 ACM公司 2009 ,国际标准图书编号 978-1-60558-655-7 艾哈迈德·塞凡 , 埃内斯托·波塞 , 尤尔根·丁格尔 :
使用可执行模型对移动和分布式系统进行运行时一致性检查。 加内什·戈帕拉克里什南 , 于阳 , 萨瓦尼·瓦卡拉卡 , Anh Vo公司 , 斯里拉姆·阿南塔克利什南 , 格热戈兹·苏布兹达 , 杰弗里·萨瓦亚 , 贾森·威廉姆斯 , Subodh Sharma公司 , 迈克尔·德利西 , 西蒙·阿特泽尼 :
一些用于教授并发性的资源。 若昂·卢伦索 , 里卡多·J·迪亚斯 , 若昂·路易斯 , 米盖尔·雷贝洛 , 瓦斯科·佩桑哈 :
了解事务性内存应用程序的行为。 加博·斯泽德 :
多线程Java程序的单元测试。 姚琦 , 拉贾·达斯 , 致达洛 , 马丁·特罗特 :
MulticoreSDK:用于实际应用程序的实用高效的数据竞争检测器。 曾繁聪 :
模式驱动的死锁避免。 埃胡德·特拉宁 , Yarden Nir-Buchbinder公司 , 雷切尔·索雷夫·布里尔 , 阿维亚德·兹洛特尼克 , Shmuel Ur公司 , 埃坦·法基 :
强制在程序交错上使用条件的小模型来检测并发错误。 Jaeheon Yi公司 , 凯特林·萨多夫斯基 , 科马克·弗拉纳根 :
SideTrack:概括动态原子性分析。 内哈·隆塔 , 埃里克·默瑟 :
泰坦冲突:在并发程序中寻找bug的工具和技术。 泰富·埃尔马斯 , 阿里·塞兹金 , 塞尔达尔·塔西兰 , 沙兹·卡迪尔 :
一种注释助手,用于交互式调试具有常见同步习惯用法的程序。 根岸安史 , 村田弘子 , 森山高雄 :
HPC程序源到源优化的运行历史管理系统的建议。