恒丰伟
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j7] 司刘 , 卢卡·穆尔塔祖 , 恒丰伟 , 大卫·A·巴思 :
NOC-NOC:实现性能最优的分布式事务。 程序。 ACM管理。 数据 2 ( 1 ) : 9:1-9:25 ( 2024 ) [j6] 张宇奇(Yuqi Zhang) , 于晃(音) , 恒丰伟 , 马晓星 :
CRDT设计和实现的模型检查驱动的探索性测试。 J.软件。 进化。 过程。 36 ( 4 ) ( 2024 ) 2023 [j5] 黄凯乐 , 司刘 , 陈正阁(音) , 恒丰伟 , 大卫·A·巴思 , 李海翔 , 潘安群 :
数据库中快照隔离的高效黑盒检查。 程序。 荷兰VLDB。 16 ( 6 ) : 1264-1276 ( 2023 ) [第14条] 黄凯乐 , 司刘 , 陈正阁(音) , 恒丰伟 , 大卫·A·巴思 , 李海翔 , 潘安群 :
数据库中快照隔离的高效黑盒检查。 CoRR公司 abs/2301.07313 ( 2023 ) [i13] 凌志欧阳 , 于晃(音) , 黄宾玉(Binyu Huang) , 恒丰伟 , 马晓星 :
利用TLA+规范提高ZooKeeper协调服务的可靠性。 CoRR公司 abs/2302.02703 ( 2023 ) 2022 [第14条] 薛江 , 恒丰伟 , 于晃(音) :
可调因果一致性:规范和实现。 ICPADS公司 2022 : 169-176 [c13] 一黄 , 恒丰伟 :
读写内存历史记录的增量因果一致性检查。 网构 2022 : 181-191 [i12] 张宇奇(Yuqi Zhang) , 于晃(音) , 恒丰伟 , 马晓星 :
MET:CRDT设计和实现的模型检查驱动的探索性测试。 CoRR公司 abs/2204.14129 ( 2022 ) [i11] 林寻石 , 张宇奇(Yuqi Zhang) , 于晃(音) , 恒丰伟 , 马晓星 :
ViSearch:复制数据类型的弱一致性度量。 CoRR公司 abs/2205.03160 ( 2022 ) [i10] 薛江 , 恒丰伟 , 于晃(音) :
可调因果一致性:规范和实现。 CoRR公司 abs/2211.03501 ( 2022 ) 2021 【j4】 顾晓松 , 恒丰伟 , 雷乔 , 于晃(音) :
带有无序执行的筏。 国际期刊软件。 信息学 11 ( 4 ) : 473-503 ( 2021 ) [j3] 凌志欧阳 , 于晃(音) , 恒丰伟 , 陆健 :
在分布式数据存储中实现具有良好过时性和低读取延迟的概率原子性。 IEEE传输。 并行分布式系统。 32 ( 4 ) : 815-829 ( 2021 ) [第12条] 张宇奇(Yuqi Zhang) , 恒丰伟 , 于晃(音) :
Remove-Win:无冲突复制数据类型的设计框架。 ICPADS公司 2021 : 607-614 [第11条] 黄凯乐 , 恒丰伟 , 于晃(音) , 李海翔 , 潘安群 :
Byz-GrintleRain:一个高效的拜占庭容忍因果一致性协议。 SSS系统 2021 : 495-499 [第10条] 曼努埃尔·布拉沃 , 亚历克谢·戈茨曼 , 博尔贾·德·雷吉尔 , 恒丰伟 :
UniStore:一种因果性和强一致性的容错结合。 USENIX年度技术会议 2021 : 923-937 [第九章] 曼努埃尔·布拉沃 , 亚历克谢·戈茨曼 , 博尔贾·德·雷吉尔 , 恒丰伟 :
UniStore:因果性和强一致性的容错结合(扩展版)。 CoRR公司 abs/2106.00344 ( 2021 ) [i8] 黄凯乐 , 恒丰伟 , 于晃(音) , 李海翔 , 潘安群 :
Byz-GrintleRain:一个高效的拜占庭容错因果一致性协议。 CoRR公司 abs/2109.14189 ( 2021 ) [i7] 欧阳宏荣 , 恒丰伟 , 于晃(音) , 李海翔 , 潘安群 :
验证MongoDB的事务一致性。 CoRR公司 abs/2111.14946 ( 2021 ) 2020 【c9】 欧阳宏荣 , 恒丰伟 , 于晃(音) :
检查MongoDB的因果一致性。 网构 2020 : 209-216 【c8】 黄凯乐 , 于晃(音) , 恒丰伟 :
分布式多写原子寄存器快速实现的细粒度分析。 PODC公司 2020 : 200-209 【c7】 薛江 , 恒丰伟 , 于晃(音) :
弱一致复制数据类型的通用规范框架。 SRDS公司 2020 : 143-154 [i6] 黄凯乐 , 于晃(音) , 恒丰伟 :
多写原子寄存器快速实现的细粒度分析。 CoRR公司 abs/2001.07855 ( 2020 )
2010 – 2019
2019 [i5] 于晃(音) , 恒丰伟 , 黄茂森 , 凌志欧阳 :
基于反转的读/写寄存器数据一致性测量。 CoRR公司 abs/1901.02192 ( 2019 ) [i4] 张宇奇(Yuqi Zhang) , 于晃(音) , 恒丰伟 , 陆健 :
Remove-Win:无冲突复制数据收集的设计框架。 CoRR公司 abs/1905.01403 ( 2019 ) 2018 【c6】 恒丰伟 , 于晃(音) , 陆健 :
复制列表的规范和实现:朱庇特协议的重新审视。 奥波迪斯 2018 : 12:1-12:16 【c5】 恒丰伟 , 于晃(音) , 陆健 :
简要公告:复制列表的规范和实施:木星协议再次审议。 PODC公司 2018 : 81-83 2017 [注2] 恒丰伟 , 于晃(音) , 陆健 :
概率双原子性:在分布式存储系统中实现几乎很强的一致性。 IEEE传输。 计算机 66 ( 三 ) : 502-514 ( 2017 ) 【c4】 恒丰伟 , 于晃(音) , 陆健 :
分布式事务键值存储中的参数化和运行时可调快照隔离。 SRDS公司 2017 : 21-33 [i3] 恒丰伟 , 于晃(音) , 陆健 :
复制列表的规范和实现:朱庇特协议的重新审视。 CoRR公司 abs/1708.04754 ( 2017 ) 2016 [j1] 恒丰伟 , 马尔齐奥·德比亚西 , 于晃(音) , 曹建农 , 陆健 :
验证数据副本读/写跟踪的流水线RAM一致性。 IEEE传输。 并行分布式系统。 27 ( 5 ) : 1511-1523 ( 2016 ) 【c3】 黄茂森 , 恒丰伟 , 于晃(音) :
启用分布式共享内存上的移动设备协调。 ICPADS公司 2016 : 64-71 【c2】 薛江 , 于晃(音) , 恒丰伟 :
分层上下文的细粒度Delta隐私保护。 UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld 2016 : 261-268 2015 [i2] 恒丰伟 , 于晃(音) , 曹建农 , 陆健 :
几乎强一致性:分布式存储系统中的“足够好”。 CoRR公司 腹肌/1507.01663 ( 2015 ) 2013 [i1] 恒丰伟 , 于晃(音) , 曹建农 , 马晓星 , 陆健 :
验证数据副本读/写跟踪的PRAM一致性。 CoRR公司 abs/1302.5161 ( 2013 ) 2012 【c1】 恒丰伟 , 于晃(音) , 曹建农 , 马晓星 , 陆健 :
异步上下文时态属性的形式化规范和运行时检测。 PerCom公司 2012 : 30-38
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)