安东·波德科帕耶夫
人员信息
附属: JetBrains Research,荷兰阿姆斯特丹
SPARQL查询
优化列表
2020年–今天
2023 [i6] 奥里·拉哈夫 , 杜鹃花 , 约瑟夫·塔萨洛蒂 , 维克托·瓦菲亚迪斯 , 安东·波德科帕耶夫 :
正确持久编程的形式化方法(Dagstuhl研讨会23412)。 达格斯图尔报告 13 ( 10 ) : 50-64 ( 2023 ) 2022 [j5] 阿兰·杰弗里 , 詹姆斯·里利 , 马克·巴蒂 , 西蒙·库克西 , 伊利亚·凯辛 , 安东·波德科帕耶夫 :
漏分号:松弛内存并发的合成语义依赖。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-30 ( 2022 ) 2021 【j4】 奥里·拉哈夫 , 埃戈尔·纳马可诺夫 , 乔纳斯·奥伯豪斯 , 安东·波德科帕耶夫 , 维克托·瓦菲亚迪斯 :
使弱记忆模型公平。 程序。 ACM计划。 语言。 5 ( OOPSLA公司 ) : 1-27 ( 2021 ) [j3] 叶夫根尼·莫申科 , 安东·波德科帕耶夫 , 德米特里·V·科兹诺夫 :
编程语言记忆模型综述。 程序。 计算。 柔和。 47 ( 6 ) : 439-456 ( 2021 ) 2020 [注2] 叶夫根尼·莫申科 , 安东·波德科帕耶夫 , 奥里·拉哈夫 , 奥雷斯蒂斯·梅尔科尼安 , 维克托·瓦菲亚迪斯 :
协调事件结构与现代多处理器(工件)。 Dagstuhl Artifacts爵士。 6 ( 2 ) : 04:1-04:3 ( 2020 ) 【c5】 叶夫根尼·莫申科 , 安东·波德科帕耶夫 , 奥里·拉哈夫 , 奥雷斯蒂斯·梅尔科尼安 , 维克托·瓦菲亚迪斯 :
协调事件结构与现代多处理器。 ECOOP公司 2020 : 5:1-5:26 【c4】 康拉德·瓦特 , 克里斯托弗·普尔特 , 安东·波德科帕耶夫 , 纪尧姆芭比 , 斯蒂芬·多兰 , 颤抖的长笛 , Jean Pichon-Pharabod公司 , 郭树友 :
修复和机械化JavaScript松弛内存模型。 PLDI公司 2020 : 346-361 【c3】 宋焕利 , Minki Cho(明基·赵) , 安东·波德科帕耶夫 , Soham Chakraborty公司 , 中基尔湖 , 奥里·拉哈夫 , 维克托·瓦菲亚迪斯 :
前景广阔的2.0:放松内存并发中的全局优化。 PLDI公司 2020 : 362-376 [i5] 康拉德·瓦特 , 克里斯托弗·普尔特 , 安东·波德科帕耶夫 , 纪尧姆芭比 , 斯蒂芬·多兰 , 颤抖的长笛 , Jean Pichon-Pharabod公司 , 郭树友 :
修复和机械化JavaScript松弛内存模型。 CoRR公司 abs/2005.10554 ( 2020 ) [i4] 奥里·拉哈夫 , 埃戈尔·纳马可诺夫 , 乔纳斯·奥伯豪斯 , 安东·波德科帕耶夫 , 维克托·瓦菲亚迪斯 :
使弱记忆模型公平。 CoRR公司 abs/2012.01067 ( 2020 )
2010 – 2019
2019 [j1] 安东·波德科帕耶夫 , 奥里·拉哈夫 , 维克托·瓦菲亚迪斯 :
缩小编程语言和硬件弱内存模型之间的差距。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 69:1-69:31 ( 2019 ) [i3] 叶夫根尼·莫申科 , 安东·波德科帕耶夫 , 奥里·拉哈夫 , 奥雷斯蒂斯·梅尔科尼安 , 维克托·瓦菲亚迪斯 :
协调事件结构与现代多处理器。 CoRR公司 abs/1911.06567 ( 2019 ) 2018 [i2] 安东·波德科帕耶夫 , 奥里·拉哈夫 , 维克托·瓦菲亚迪斯 :
架起编程语言和硬件弱内存模型之间的桥梁。 CoRR公司 abs/1807.07892 ( 2018 ) 2017 【c2】 安东·波德科帕耶夫 , 奥里·拉哈夫 , 维克托·瓦菲亚迪斯 :
对ARMv8 POP有希望的编译。 ECOOP公司 2017 : 22:1-22:28 2016 [i1] 安东·波德科帕耶夫 , 伊利亚·谢尔盖 , 阿列克桑达尔·纳内夫斯基 :
C/C++并发的操作方面。 CoRR公司 abs/1606.01400 ( 2016 ) 2014 【c1】 安东·波德科帕耶夫 , 德米特里·布莱切夫 :
具有选择的多项式时间最佳印刷组合器。 埃尔绍夫纪念大会 2014 : 257-265