泰富·埃尔马斯
人员信息
优化列表
2010 – 2019
2015 [第1页] 阿德里安·克里斯塔尔 , Burcu Kulahcioglu Ozkan先生 , 厄尼·科恩 , Gokcen Kestor公司 , 伊斯梅尔·库鲁 , 奥斯曼·S·安萨尔 , 塞尔达尔·塔西兰 , 苏哈·奥伦·穆特鲁格尔 , 泰富·埃尔马斯 :
事务程序的验证工具。 事务型内存 2015 : 283-306 2013 [第16条] 泰富·埃尔马斯 , 雅各布·伯尼姆 , 乔治·C·内库拉 , 库什克森 :
CONCURRIT:一种特定于域的语言,用于重现并发错误。 PLDI公司 2013 : 153-164 2012 [第15条] 雅各布·伯尼姆 , 泰富·埃尔马斯 , 乔治·C·内库拉 , 库什克森 :
CONCURRIT:使用可编程状态空间探索测试并发程序。 HotPar公司 2012 [第14条] 雅各布·伯尼姆 , 泰富·埃尔马斯 , 乔治·C·内库拉 , 库什克森 :
NDetermin:为并行正确性推断不确定的序列规范。 PPoPP(PPoPP) 2012 : 329-330 2011 [第13条] 雅各布·伯尼姆 , 泰富·埃尔马斯 , 乔治·C·内库拉 , 库什克森 :
NDSeq:运行时检查并行正确性的非确定性序列规范。 PLDI公司 2011 : 401-414 2010 【b1】 泰富·埃尔马斯 :
并发软件的运行时监控和静态验证技术。 土耳其科奇大学, 2010 [j1] 泰富·埃尔马斯 , 沙兹·卡迪尔 , 塞尔达尔·塔西兰 :
Goldilocks:一个竞赛软件Java运行时。 Commun公司。 ACM公司 53 ( 11 ) : 85-92 ( 2010 ) [第12条] 泰富·埃尔马斯 :
QED:基于简化和抽象的并行软件静态验证证明系统。 ICSE(2) 2010 : 507-508 [第11条] 泰富·埃尔马斯 , 沙兹·卡迪尔 , 阿里·塞兹金 , 奥马尔·苏巴西 , 塞尔达尔·塔西兰 :
通过约简和抽象简化线性化证明。 TACAS公司 2010 : 296-311
2000 – 2009
2009 [第10条] 泰富·埃尔马斯 , 阿里·塞兹金 , 塞尔达尔·塔西兰 , 沙兹·卡迪尔 :
一种注释助手,用于交互式调试具有常见同步习惯用法的程序。 帕达德 2009 【c9】 泰富·埃尔马斯 , 沙兹·卡迪尔 , 塞尔达尔·塔西兰 :
原子作用的微积分。 POPL公司 2009 : 2-15 2007 【c8】 泰富·埃尔马斯 , 沙兹·卡迪尔 , 塞尔达尔·塔西兰 :
Goldilocks:一个竞赛和事务软件java运行时。 PLDI公司 2007 : 245-255 【c7】 塞尔达尔·塔西兰 , 泰富·埃尔马斯 :
回滚原子性。 RV汽车 2007 : 188-201 2006 【c6】 泰富·埃尔马斯 , 沙兹·卡迪尔 , 塞尔达尔·塔西兰 :
金发姑娘:使用锁集高效计算发生前关系。 命运/RV 2006 : 193-208 【c5】 M.Erkan Keremoglu先生 , 塞尔达尔·塔西兰 , 泰富·埃尔马斯 :
根据开发人员意图对java基准测试中的并发错误进行分类。 帕达德 2006 : 23-26 2005 【c4】 塞尔达尔·塔西兰 , 泰富·埃尔马斯 , Guven Bolukbasi公司 , M.Erkan Keremoglu先生 :
并发访问软件组件的一种新的测试覆盖度量。 命运 2005 : 62-71 【c3】 泰富·埃尔马斯 , 塞尔达尔·塔西兰 , 沙兹·卡迪尔 :
VYRD:通过运行时优化冲突检测验证并发程序。 PLDI公司 2005 : 27-37 【c2】 泰富·埃尔马斯 , 塞尔达尔·塔西兰 :
VyrdMC:使用模型检查器驱动运行时优化检查。 RV@CAV 2005 : 41-56 2004 【c1】 泰富·埃尔马斯 , 奥兹努尔·兹卡萨普 :
通过内容寻址网络的文本分类实现分布式文档共享。 AWCC公司 2004 : 70-81