叶夫根尼·莫申科
人员信息
优化列表
2020年–今天
2022 [j3] 叶夫根尼·莫申科 , 米查利斯·科科洛吉安纳基斯 , 维克托·瓦菲亚迪斯 :
多执行内存模型的模型检查。 程序。 ACM计划。 语言。 6 ( OOPSLA2公司 ) : 758-785 ( 2022 ) 2021 [注2] 叶夫根尼·莫申科 , 安东·波德科帕耶夫 , 德米特里·V·科兹诺夫 :
编程语言记忆模型综述。 程序。 计算。 柔和。 47 ( 6 ) : 439-456 ( 2021 ) 2020 [j1] 叶夫根尼·莫申科 , 安东·波德科帕耶夫 , 奥里·拉哈夫 , 奥雷斯蒂斯·梅尔科尼安 , 维克托·瓦菲亚迪斯 :
协调事件结构与现代多处理器(工件)。 Dagstuhl Artifacts爵士。 6 ( 2 ) : 04:1-04:3 ( 2020 ) 【c1】 叶夫根尼·莫申科 , 安东·波德科帕耶夫 , 奥里·拉哈夫 , 奥雷斯蒂斯·梅尔科尼安 , 维克托·瓦菲亚迪斯 :
协调事件结构与现代多处理器。 ECOOP公司 2020 : 5:1-5:26
2010 – 2019
2019 [i1] 叶夫根尼·莫申科 , 安东·波德科帕耶夫 , 奥里·拉哈夫 , 奥雷斯蒂斯·梅尔科尼安 , 维克托·瓦菲亚迪斯 :
协调事件结构与现代多处理器。 CoRR公司 abs/1911.06567 ( 2019 )