亚历克谢·戈茨曼
人员信息
附属: 西班牙马德里IMDEA软件研究所
优化列表
2020年–今天
2024 [公元47年] 费多·瑞亚宾 , 亚历克谢·戈茨曼 , 皮埃尔经 :
SwiftPaxos:快速地理复制状态机。 NSDI公司 2024 : 345-369 2023 [公元46年] 亚历杭德罗·纳赛尔·帕斯托里察 , 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
具有不可靠信道的容错计算。 足类动物 2023 : 21:1-21:21 [i20] 亚历杭德罗·纳赛尔·帕斯托里察 , 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
具有不可靠通道的容错计算。 CoRR公司 abs/2305.15150 ( 2023 ) 2022 [j7] 曼努埃尔·布拉沃 , 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
实现拜占庭共识。 分布式计算。 35 ( 6 ) : 503-532 ( 2022 ) [公元45年] 约瑟夫·伊兹拉列维茨 , 高卡斯王 , 瑞特·汉斯科姆 , 凯利银牌 , 塔马拉·西尔贝格利特·雷曼 , 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
Acuerdo:RDMA上的快速原子广播。 ICPP公司 2022 : 59:1-59:11 [公元44年] 曼努埃尔·布拉沃 , 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
拜占庭国家机器复制的活力和滞后性。 磁盘 2022 : 12:1-12:19 [i19] 曼努埃尔·布拉沃 , 格雷戈里·V·乔克勒 , 亚历克谢·戈茨曼 :
拜占庭状态机复制的活跃度和延迟。 CoRR公司 abs/2202.06679 ( 2022 ) 2021 [j6] 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
多快照分布式事务提交。 分布式计算。 34 ( 4 ) : 301-318 ( 2021 ) [j5] 哈吉特·阿提亚 , 塞巴斯蒂安·伯克哈特 , 亚历克谢·戈茨曼 , 亚当-莫里森 , 杨红seok , 马雷克·扎维斯基 :
协作文本编辑的规范和空间复杂性。 西奥。 计算。 科学。 855 : 141-160 ( 2021 ) [公元43年] Vitor Enes公司 , 卡洛斯·巴奎罗 , 亚历克谢·戈茨曼 , 皮埃尔经 :
通过时间戳稳定性实现高效复制。 欧洲系统 2021 : 178-193 [公元42年] 曼努埃尔·布拉沃 , 亚历克谢·戈茨曼 , 博尔贾·德·雷吉尔 , 恒丰伟 :
UniStore:一种因果性和强一致性的容错结合。 USENIX年度技术会议 2021 : 923-937 [i18] Vitor Enes公司 , 卡洛斯·巴奎罗 , 亚历克谢·戈茨曼 , 皮埃尔经 :
通过时间戳稳定性实现高效复制(扩展版)。 CoRR公司 abs/2104.01142 ( 2021 ) [i17] 曼努埃尔·布拉沃 , 亚历克谢·戈茨曼 , Régil博雅 , 恒丰伟 :
UniStore:因果性和强一致性的容错结合(扩展版)。 CoRR公司 abs/2106.00344 ( 2021 ) 2020 [公元41年] Vitor Enes公司 , 卡洛斯·巴奎罗 , 托尼尔·弗朗萨·雷泽德 , 亚历克谢·戈茨曼 , 马蒂厄·佩林 , 皮埃尔经 :
平面尺度系统的状态机复制。 欧洲系统 2020 : 24:1-24:15 [公元40年] 曼努埃尔·布拉沃 , 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
实现拜占庭共识。 磁盘 2020 : 23:1-23:17 [电子2] 亚历克谢·戈茨曼 , 安娜·索科洛娃 :
分布式对象、组件和系统的形式化技术——第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届国际分布式计算技术联合会会议的一部分,DisCoTec 2020,马耳他瓦莱塔,2020年6月15-19日,会议记录。 计算机科学课堂讲稿 12136, 施普林格 2020 ,国际标准图书编号 978-3-030-50085-6 [目录] [i16] Vitor Enes公司 , 卡洛斯·巴奎罗 , 托尼尔·弗朗萨·雷泽德 , 亚历克谢·戈茨曼 , 马蒂厄·佩林 , 皮埃尔经 :
行星尺度系统的状态机复制(扩展版)。 CoRR公司 abs/2003.11789 ( 2020 ) 【i15】 曼努埃尔·布拉沃 , 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
使拜占庭共识成为现实(扩展版)。 CoRR公司 abs/2008.04167 ( 2020 )
2010 – 2019
2019 [公元39年] 亚历克谢·戈茨曼 , 阿纳托勒·勒福特 , 格雷戈里·乔克勒 :
白盒原子组播。 DSN(DSN) 2019 : 176-187 [公元38年] 曼努埃尔·布拉沃 , 亚历克谢·戈茨曼 :
可重新配置的原子事务提交。 PODC公司 2019 : 399-408 [公元37年] 阿特姆·库扎 , 哈吉特·阿提亚 , 亚历克谢·戈茨曼 :
私有化安全交易存储器。 磁盘 2019 : 24分24秒17秒 [第14条] 亚历克谢·戈茨曼 , 阿纳托勒·勒福特 , 格雷戈里·乔克勒 :
白盒原子多播(扩展版)。 CoRR公司 abs/1904.07171 ( 2019 ) [i13] 曼努埃尔·布拉沃 , 亚历克谢·戈茨曼 :
可重新配置的原子事务提交(扩展版本)。 CoRR公司 abs/1906.01365 ( 2019 ) [i12] 阿特姆·库扎 , 哈吉特·阿提亚 , 亚历克谢·戈茨曼 :
私有化安全事务存储器(扩展版)。 CoRR公司 abs/1908.03179 ( 2019 ) 2018 【j4】 哈吉特·阿提亚 , 亚历克谢·戈茨曼 , 桑迪普·汉斯 , 诺姆·里涅茨基 :
使用观察优化表征事务性内存一致性条件。 美国临床医学杂志 65 ( 1 ) : 2:1-2:44 ( 2018 ) [j3] 安德烈亚·塞隆 , 亚历克谢·戈茨曼 :
分析快照隔离。 美国临床医学杂志 65 ( 2 ) : 11:1-11:41 ( 2018 ) [公元36年] 阿尔瓦罗·加西亚·佩雷斯 , 亚历克谢·戈茨曼 , 尤里·梅什曼 , 伊利亚·谢尔盖 :
帕克索斯共识,解构和抽象。 员工持股计划 2018 : 912-939 [公元35年] 迈克·多兹 , 马克·巴蒂 , 亚历克谢·戈茨曼 :
松弛内存上编译器优化的组合验证。 员工持股计划 2018 : 1027-1055 [公元34年] 阿尔瓦罗·加西亚·佩雷斯 , 亚历克谢·戈茨曼 :
拜占庭联邦法定人数制度。 足类动物 2018 : 17:1-17:16 [公元33年] 亚历克谢·戈茨曼 :
教程:现代分布式系统中的一致性选择。 PODC公司 2018 : 491 [公元32年] 阿特姆·库扎 , 哈吉特·阿提亚 , 亚历克谢·戈茨曼 , 诺姆·里涅茨基 :
事务内存中的安全私有化。 PPoPP(PPoPP) 2018 : 233-245 [公元31年] 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
多快照分布式事务提交。 磁盘 2018 : 14:1-14:18 [i11] 阿特姆·库扎 , 哈吉特·阿提亚 , 亚历克谢·戈茨曼 , 诺姆·里涅茨基 :
事务内存中的安全私有化。 CoRR公司 abs/1801.04249 ( 2018 ) [i10] 迈克·多兹 , 马克·巴蒂 , 亚历克谢·戈茨曼 :
松弛内存上编译器优化的组合验证。 CoRR公司 abs/1802.05918 ( 2018 ) [第九章] 阿尔瓦罗·加西亚·佩雷斯 , 亚历克谢·戈茨曼 , 尤里·梅什曼 , 伊利亚·谢尔盖 :
帕克索斯共识,解构和抽象(扩展版)。 CoRR公司 abs/1802.05969 ( 2018 ) [i8] 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
多快照分布式事务提交(扩展版本)。 CoRR公司 abs/1808.00688 ( 2018 ) [i7] 阿尔瓦罗·加西亚·佩雷斯 , 亚历克谢·戈茨曼 :
拜占庭联邦法定人数制度(扩展版)。 CoRR公司 abs/1811.03642 ( 2018 ) [i6] 安妮特·比纽萨 , 亚历克谢·戈茨曼 , 贝蒂娜·凯姆 , 马克·夏皮罗 :
分布式系统中的数据一致性:算法、程序和数据库(Dagstuhl研讨会18091)。 达格斯图尔报告 8 ( 2 ) : 101-121 ( 2018 ) 2017 [公元30年] 安德烈亚·塞隆 , 亚历克谢·戈茨曼 , 杨红seok :
弱一致性代数定律。 CONCUR公司 2017 : 26分26秒18 [公元29年] 阿特姆·库扎 , 迈克·多兹 , 亚历克谢·戈茨曼 , 马修·帕金森 :
使用偏序证明线性化。 员工持股计划 2017 : 第639页至第667页 [公元28年] 亚历克谢·戈茨曼 , 塞巴斯蒂安·伯克哈特 :
具有全局操作排序的一致性模型及其组成。 磁盘 2017 : 23:1-23:16 [电子1] 安妮特·比纽萨 , 亚历克谢·戈茨曼 :
第三届分布式数据一致性原则与实践国际研讨会会议记录, PaPoC@EuroSys 2017年4月23日至26日,塞尔维亚贝尔格莱德。 ACM公司 2017 ,国际标准图书编号 978-1-4503-4933-8 [目录] [i5] 阿特姆·库扎 , 迈克·多兹 , 亚历克谢·戈茨曼 , 马修·帕金森 :
使用部分顺序证明线性化(扩展版本)。 CoRR公司 abs/1701.05463 ( 2017 ) [i4] 安德烈亚·塞隆 , 亚历克谢·戈茨曼 , 杨红seok :
弱一致性代数定律。 CoRR公司 abs/1702.06028 ( 2017 ) [i3] 亚历克谢·戈茨曼 , 塞巴斯蒂安·伯克哈特 :
具有全局操作顺序及其组成的一致性模型(扩展版本)。 CoRR公司 abs/1707.09242 ( 2017 ) 2016 [公元27年] 乔瓦尼·贝尔纳迪 , 亚历克谢·戈茨曼 :
具有原子可见性的一致性模型的健壮性。 CONCUR公司 2016 : 7:1-7:15 [c26] 马赫萨·纳贾夫扎德 , 亚历克谢·戈茨曼 , 杨红seok , 卡拉·费雷拉 , 马克·夏皮罗 :
CISE工具:证明弱一致性应用程序是正确的。 PaPoC@EuroSys 2016 : 2:1-2:3 [公元25年] 阿特姆·库扎 , 亚历克谢·戈茨曼 , 马修·帕金森 :
证明线性化的一般逻辑。 FM公司 2016 : 426-443 [公元24年] 安德烈亚·塞隆 , 亚历克谢·戈茨曼 :
分析快照隔离。 PODC公司 2016 : 55-64 【c23】 哈吉特·阿提亚 , 塞巴斯蒂安·伯克哈特 , 亚历克谢·戈茨曼 , 亚当-莫里森 , 杨红seok , 马雷克·扎维斯基 :
协作文本编辑的规范和复杂性。 PODC公司 2016 : 259-268 [公元22年] 亚历克谢·戈茨曼 , 杨红seok , 卡拉·费雷拉 , 马赫萨·纳贾夫扎德 , 马克·夏皮罗 :
因为我足够强大:推理分布式系统中的一致性选择。 POPL公司 2016 : 371-384 [i2] 阿特姆·库扎 , 亚历克谢·戈茨曼 , 马修·帕金森 :
证明线性化的通用逻辑(扩展版)。 CoRR公司 abs/1609.01171 ( 2016 ) 2015 【c21】 安德烈亚·塞隆 , 乔瓦尼·贝尔纳迪 , 亚历克谢·戈茨曼 :
具有原子可见性的事务一致性模型的框架。 CONCUR公司 2015 : 58至71 [公元20年] 亚历克谢·戈茨曼 , 杨红seok :
复合复制数据类型。 员工持股计划 2015 : 585-609 [第19条] 安德烈亚·塞隆 , 亚历克谢·戈茨曼 , 杨红seok :
并行快照隔离的事务截断。 磁盘 2015 : 388-404 2014 [第18条] 安德烈亚·塞隆 , 亚历克谢·戈茨曼 , 杨红seok :
参数化线性化。 ICALP(二) 2014 : 98-109 [第17条] 塞巴斯蒂安·伯克哈特 , 亚历克谢·戈茨曼 , 杨红seok , 马雷克·扎维斯基 :
复制的数据类型:规范、验证、优化。 POPL公司 2014 : 271-284 [第16条] 哈吉特·阿提亚 , 亚历克谢·戈茨曼 , 桑迪普·汉斯 , 诺姆·里涅茨基 :
事务存储器中实时事务的安全性:TMS是必要的和充分的。 磁盘 2014 : 376-390 2013 [注2] 亚历克谢·戈茨曼 , 杨红seok :
所有权转移的线性化。 日志。 方法计算。 科学。 9 ( 三 ) ( 2013 ) [j1] 亚历克谢·戈茨曼 , 杨红seok :
抢占式操作系统内核的模块化验证。 J.功能。 程序。 23 ( 4 ) : 452-514 ( 2013 ) [第15条] 亚历克谢·戈茨曼 , 诺姆·里涅茨基 , 杨红seok :
使用Grace验证并发内存回收算法。 员工持股计划 2013 : 249-269 [第14条] 哈吉特·阿提亚 , 亚历克谢·戈茨曼 , 桑迪普·汉斯 , 诺姆·里涅茨基 :
关于事务性内存一致性的编程语言观点。 PODC公司 2013 : 309-318 [第13条] 马克·巴蒂 , 迈克·多兹 , 亚历克谢·戈茨曼 :
C/C++并发的库抽象。 POPL公司 2013 : 235-248 [i1] 迈克·多兹 , 马克·巴蒂 , 亚历克谢·戈茨曼 :
C/C++因果循环混淆了成分。 微型变速器。 计算。 科学。 2 ( 2013 ) 2012 [c12] 亚历克谢·戈茨曼 , 杨红seok :
所有权转移的线性化。 CONCUR公司 2012 : 256-271 [第11条] 塞巴斯蒂安·伯克哈特 , 亚历克谢·戈茨曼 , 穆苏瓦蒂夫人 , 杨红seok :
TSO内存模型上的并发库正确性。 员工持股计划 2012 : 第87页至第107页 [第10条] 亚历克谢·戈茨曼 , 穆苏瓦蒂夫人 , 杨红seok :
不显示弱点:TSO库的顺序一致规范。 磁盘 2012 : 31-45 2011 【c9】 亚历克谢·戈茨曼 , 杨红seok :
保存生命的原子性提取。 ICALP(二) 2011 : 453-465 【c8】 亚历克谢·戈茨曼 , 杨红seok :
抢占式操作系统内核的模块化验证。 ICFP公司 2011 : 404-417 【c7】 亚历克谢·戈茨曼 , 乔什·伯丁 , 拜伦·库克 :
并发分离逻辑中的精度和连接规则。 MFPS公司 2011 : 171-190
2000 – 2009
2009 【b1】 Olexiy Gotsman公司 :
并发堆操作程序的逻辑和分析。 英国剑桥大学, 2009 【c6】 亚历克谢·戈茨曼 , 拜伦·库克 , 马修·帕金森 , 维克托·瓦菲亚迪斯 :
证明非阻塞算法不会阻塞。 POPL公司 2009 : 16-28 2007 【c5】 亚历克谢·戈茨曼 , 乔什·伯丁 , 拜伦·库克 , 诺姆·里涅茨基 , 穆利·萨吉夫 :
可存储锁和线程的本地推理。 阿普拉斯 2007 : 19-37 【c4】 亚历克谢·戈茨曼 , 乔什·伯丁 , 拜伦·库克 , 穆利·萨吉夫 :
螺纹模数形状分析。 PLDI公司 2007 : 266-277 【c3】 拜伦·库克 , 亚历克谢·戈茨曼 , 安德烈亚斯·波德尔斯基 , 安德烈·里巴尔琴科 , 莫舍·瓦尔迪 :
证明这些程序最终会有好处。 POPL公司 2007 : 265-276 2006 [c2] 亚历克谢·戈茨曼 , 乔什·伯丁 , 拜伦·库克 :
采用分离堆抽象的过程间形状分析。 SAS公司 2006 : 240-260 2005 【c1】 亚历克谢·戈茨曼 , 法比奥·马萨奇 , 马可·皮斯托尔 :
HLPSL规范语言的独立语义和验证技术。 ARSPA@ICALP 2005 : 59-77