阿特姆·库扎
人员信息
优化列表
2020年–今天
2022 【c7】 莫希克·赫什科维奇 , 阿特姆·库扎 , 丹尼尔·沃丁顿 , 亚当-莫里森 :
弹性索引:内存数据库索引的动态空间与查询效率调整。 EDBT公司 2022 : 2:312-2:324 【c6】 阿特姆·库扎 , 奥里·拉哈夫 :
碰撞弹性物体的抽象。 员工持股计划 2022 : 262-289 2021 [j5] 余继勇 , 孟家燕 , 阿特姆·库扎 , 亚当-莫里森 , 约塞普·托雷拉斯 , 克里斯托弗·弗莱彻 :
推测性污染跟踪(STT):对推测性访问数据的全面保护。 Commun公司。 ACM公司 64 ( 12 ) : 105-112 ( 2021 ) 【j4】 阿特姆·库扎 , 奥里·拉哈夫 :
控制x86-TSO持久性。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-29 ( 2021 ) [i7] 阿特姆·库扎 , 奥里·拉哈夫 :
防撞对象抽象(扩展版)。 CoRR公司 abs/2111.03881 ( 2021 ) 2020 [j3] 余继勇 , 孟家燕 , 阿特姆·库扎 , 亚当-莫里森 , 约塞普·托雷拉斯 , 克里斯托弗·弗莱彻 :
推测性污点跟踪(STT):对推测性访问数据的全面保护。 IEEE微型 40 ( 三 ) : 81-90 ( 2020 ) [注2] 约塔姆·M·Y·费尔德曼 , 阿特姆·库扎 , 康斯坦丁·埃纳 , 亚当-莫里森 , 阿列克桑达尔·纳内夫斯基 , 诺姆·里内茨基 , 沙伦·肖姆 :
证明高并发遍历是正确的。 程序。 ACM计划。 语言。 4 ( OOPSLA公司 ) : 128:1-128:29 ( 2020 ) [i6] 约塔姆·M·Y·费尔德曼 , 阿特姆·库扎 , 康斯坦丁·埃纳 , 亚当-莫里森 , 阿列克桑达尔·纳内夫斯基 , 诺姆·里内茨基 , 沙伦·肖姆 :
证明高并发遍历正确。 CoRR公司 abs/2010.00911 ( 2020 ) [i5] 阿特姆·库扎 , 奥里·拉哈夫 :
控制x86-TSO持久性(扩展版本)。 CoRR公司 abs/2010.13593 ( 2020 )
2010 – 2019
2019 【c5】 余继勇 , 孟家燕 , 阿特姆·库扎 , 亚当-莫里森 , 约塞普·托雷拉斯 , 克里斯托弗·弗莱彻 :
推测性污点跟踪(STT):对推测性访问数据的全面保护。 微型的 2019 : 954-968 【c4】 阿特姆·库扎 , 哈吉特·阿提亚 , 亚历克谢·戈茨曼 :
私有化安全的事务性存储器。 磁盘 2019 : 24:1-24:17 [i4] 阿特姆·库扎 , 哈吉特·阿提亚 , 亚历克谢·戈茨曼 :
私有化安全事务存储器(扩展版)。 CoRR公司 abs/1908.03179 ( 2019 ) 2018 【b1】 阿特姆·库扎 :
证明并发数据结构和事务内存系统的一致性。 西班牙马德里技术大学, 2018 【c3】 阿特姆·库扎 , 哈吉特·阿提亚 , 亚历克谢·戈茨曼 , 诺姆·里内茨基 :
事务内存中的安全私有化。 PPoPP(PPoPP) 2018 : 233-245 [i3] 阿特姆·库扎 , 哈吉特·阿提亚 , 亚历克谢·戈茨曼 , 诺姆·里内茨基 :
事务内存中的安全私有化。 CoRR公司 abs/1801.04249 ( 2018 ) 2017 【c2】 阿特姆·库扎 , 迈克·多兹 , 亚历克谢·戈茨曼 , 马修·帕金森 :
用偏序证明线性化。 员工持股计划 2017 : 639-667 [i2] 阿特姆·库扎 , 迈克·多兹 , 亚历克谢·戈茨曼 , 马修·帕金森 :
使用部分顺序证明线性化(扩展版本)。 CoRR公司 abs/1701.05463 ( 2017 ) 2016 【c1】 阿特姆·库扎 , 亚历克谢·戈茨曼 , 马修·帕金森 :
证明线性化的一般逻辑。 FM公司 2016 : 426-443 [i1] 阿特姆·库扎 , 亚历克谢·戈茨曼 , 马修·帕金森 :
证明线性化的通用逻辑(扩展版)。 CoRR公司 abs/1609.01171 ( 2016 ) 2012 [j1] 阿特姆·库扎 , 帕维尔·帕里泽克 , 科琳娜·帕萨雷努 :
抽象探路者。 ACM SIGSOFT软件。 工程注释 37 ( 6 ) : 1-5 ( 2012 )