黄宇 0002
人员信息
附属： 南京大学计算机科学与技术系
其他同名人员
于晃（音） — 消歧页 于晃（音） 0001 -清华大学计算机科学与技术系 于晃（音） 0003 -南加州大学洛杉矶分校 于晃（音） 0004 ![[0000-0002-1138-1828]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-1138-1828")
-北京大学软件工程国家工程研究中心，中国北京 于晃（音） 0005 — Mentor Graphics Corporation，美国俄勒冈州威尔逊维尔 （还有1个） 于晃（音） 0006 -中山大学数学系，中国广州 于晃（音） 0007 — 三星电子，美国新泽西州里奇菲尔德公园 （还有2个以上） 于晃（音） 0008 -亚利桑那州立大学 于晃（音） 0009 — 英国佐丹斯顿阿尔斯特大学计算与数学学院 （还有1个） 于晃（音） 0010 — 湖南大学物理与电子学院，长沙，中国 （还有1个） 于晃（音） 0011 -中国南京东南大学电气工程学院 于晃（音） 0012 — 中国广州大学 （还有1个） 于晃（音） 0013 -华中科技大学计算机科学与技术学院，武汉，中国 于晃（音） 0014 — Soterix Medical Inc.，美国纽约州纽约市 （还有1个） 黄宇 0015 — 密歇根大学，美国密歇根州安阿伯 （还有1个） 于晃（音） 0016 -北京邮电大学通用无线通信重点实验室，中国北京 于晃（音） 0017 — 希捷科技，明尼苏达州，美国 （还有1个） 于晃（音） 0018 — 美国佛罗里达大学 （还有1个） 黄宇 0019 -加拿大安大略省汉密尔顿麦克马斯特大学 于晃（音） 0020 -美国田纳西州纳什维尔范德比尔特大学
优化列表
2020年–今天
2024 
[公元15年] 张宇奇（Yuqi Zhang） , 于晃（音） , 恒丰伟 , 马晓星 :
CRDT设计和实现的模型检查驱动的探索性测试。 J.软件。 进化。 过程。 36 ( 4 ) ( 2024 ) [公元34年] 唐瑞泽 , 孙旭东 , 于晃（音） , 于阳伟 , 凌志欧阳 , 马晓星 :
沙盘：可扩展分布式系统模型检查与规范级状态探索。 欧洲系统 2024 : 736-753 2023 [公元33年] 张宇奇（Yuqi Zhang） , 凌志欧阳 , 于晃（音） , 马晓星 :
无冲突复制优先级队列：设计、验证和评估。 网构 2023 : 302-312 [公元32年] 凌志欧阳 , 于晃（音） , 黄宾玉（Binyu Huang） , 马晓星 :
利用TLA + 提高ZooKeeperCoordination服务可靠性的规范。 设置 2023 : 189-205 [i17] 凌志欧阳 , 于晃（音） , 黄宾玉（Binyu Huang） , 恒丰伟 , 马晓星 :
利用TLA+规范提高ZooKeeper协调服务的可靠性。 CoRR公司 abs/2302.02703 ( 2023 ) 2022 [公元31年] 薛江 , 恒丰伟 , 于晃（音） :
可调因果一致性：规范和实现。 ICPADS公司 2022 : 169-176 [公元30年] 顾晓松 , 魏曹 , 朱一聪 , 宣颂 , 于晃（音） , 马晓星 :
通过交互保留抽象对一致性协议进行组合模型检查。 SRDS公司 2022 : 82-93 [i16] 顾晓松 , 魏曹 , 朱一聪 , 宣颂 , 于晃（音） , 马晓星 :
通过交互保留抽象对TLA+中指定的共识协议进行组合模型检查。 CoRR公司 abs/2202.11385 ( 2022 ) 【i15】 张宇奇（Yuqi Zhang） , 于晃（音） , 恒丰伟 , 马晓星 :
MET：CRDT设计和实现的模型检查驱动的探索性测试。 CoRR公司 abs/2204.14129 ( 2022 ) [第14条] 林寻石 , 张宇奇（Yuqi Zhang） , 于晃（音） , 恒丰伟 , 马晓星 :
ViSearch：复制数据类型的弱一致性度量。 CoRR公司 abs/2205.03160 ( 2022 ) [i13] 薛江 , 恒丰伟 , 于晃（音） :
可调因果一致性：规范和实现。 CoRR公司 abs/2211.03501 ( 2022 ) 2021 [公元14年] 顾晓松 , 恒丰伟 , 雷乔 , 于晃（音） :
带有无序执行的筏。 国际期刊软件。 信息学 11 ( 4 ) : 473-503 ( 2021 ) [j13] 凌志欧阳 , 于晃（音） , 恒丰伟 , 陆健 :
在分布式数据存储中实现具有良好过时性和低读取延迟的概率原子性。 IEEE传输。 并行分布式系统。 32 ( 4 ) : 815-829 ( 2021 ) [公元29年] 张宇奇（Yuqi Zhang） , 恒丰伟 , 于晃（音） :
Remove-Win：无冲突复制数据类型的设计框架。 ICPADS公司 2021 : 607-614 [公元28年] 黄凯乐 , 恒丰伟 , 于晃（音） , 李海翔 , 潘安群 :
Byz-GrintleRain：一个高效的拜占庭容忍因果一致性协议。 SSS系统 2021 : 495-499 [i12] 黄凯乐 , 恒丰伟 , 于晃（音） , 李海翔 , 潘安群 :
Byz-GrintleRain：一个高效的拜占庭容错因果一致性协议。 CoRR公司 abs/2109.14189 ( 2021 ) [i11] 欧阳宏荣 , 恒丰伟 , 于晃（音） , 李海翔 , 潘安群 :
验证MongoDB的事务一致性。 CoRR公司 abs/2111.14946 ( 2021 ) 2020 [公元27年] 欧阳宏荣 , 恒丰伟 , 于晃（音） :
检查MongoDB的因果一致性。 网构 2020 : 209-216 [公元26年] 黄凯乐 , 于晃（音） , 恒丰伟 :
分布式多写原子寄存器快速实现的细粒度分析。 PODC公司 2020 : 200-209 [公元25年] 薛江 , 恒丰伟 , 于晃（音） :
弱一致复制数据类型的通用规范框架。 SRDS公司 2020 : 143-154 [i10] 黄凯乐 , 于晃（音） , 恒丰伟 :
多写原子寄存器快速实现的细粒度分析。 CoRR公司 abs/2001.07855 ( 2020 )
2010 – 2019
2019 [公元12年] 易琴 , 陶贤平 , 于晃（音） , 陆健 :
支持普适应用程序中规则激活的索引结构。 万维网 22 ( 1 ) : 1-37 ( 2019 ) [第九章] 于晃（音） , 恒丰伟 , 黄茂森 , 凌志欧阳 :
基于反转的读/写寄存器数据一致性测量。 CoRR公司 abs/1901.02192 ( 2019 ) [i8] 张宇奇（Yuqi Zhang） , 于晃（音） , 恒丰伟 , 陆健 :
Remove-Win：无冲突复制数据收集的设计框架。 CoRR公司 abs/1905.01403 ( 2019 ) 2018 [公元11年] 珍堂 , 王伟（音译） , 孙雷（Lei Sun） , 于晃（音） , 亨武（Heng Wu） , 魏军（Jun Wei） , 陶晃 :
弹性Hadoop应用程序的IO相关SSD缓存分配。 科学。 中国信息科学。 61 ( 5 ) : 050104:1-050104:17 ( 2018 ) [公元24年] 恒丰伟 , 于晃（音） , 陆健 :
复制列表的规范和实现：朱庇特协议的重新审视。 奥波迪斯 2018 : 12:1-12:16 【c23】 恒丰伟 , 于晃（音） , 陆健 :
简要公告：复制列表的规范和实施：木星协议再次审议。 PODC公司 2018 : 81-83 2017 [公元10年] 恒丰伟 , 黄宇 , 陆健 :
概率双原子性：在分布式存储系统中实现几乎很强的一致性。 IEEE传输。 计算机 66 ( 三 ) : 502-514 ( 2017 ) [公元22年] 珍堂 , 王伟（音译） , 于晃（音） , 亨武（Heng Wu） , 魏军（Jun Wei） , 陶晃 :
Hadoop应用程序的以应用程序为中心的SSD缓存分配。 网构 2017 : 5:1-5:10 【c21】 恒丰伟 , 于晃（音） , 陆健 :
分布式事务键值存储中的参数化和运行时可调快照隔离。 SRDS公司 2017 : 21-33 [i7] 恒丰伟 , 于晃（音） , 陆健 :
复制列表的规范和实现：朱庇特协议的重新审视。 CoRR公司 abs/1708.04754 ( 2017 ) 2016 [公元9年] 薛江 , 于晃（音） :
CBBR：支持移动机器人之间基于分布式共享内存的协调。 科学。 中国信息科学。 59 ( 8 ) : 080102:1-080102:17 ( 2016 ) [j8] 杨一玲 , 于晃（音） , 马晓星 , 陆健 :
在异步环境中通过谓词检测实现上下文感知。 IEEE传输。 计算机 65 ( 2 ) : 522-534 ( 2016 ) [j7] 恒丰伟 , 马尔齐奥·德比亚西 , 黄宇 , 曹建农 , 陆健 :
验证数据副本读/写跟踪的流水线RAM一致性。 IEEE传输。 并行分布式系统。 27 ( 5 ) : 1511-1523 ( 2016 ) [公元20年] 黄茂森 , 恒丰伟 , 于晃（音） :
通过分布式共享内存实现移动设备协调。 ICPADS公司 2016 : 64-71 [第19条] 薛江 , 于晃（音） , 恒丰伟 :
分层上下文的细粒度Delta隐私保护。 UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld 2016 : 261-268 2015 [第18条] 薛江 , 于晃（音） :
CBBR：实现移动机器人之间基于分布式共享内存的协调。 网构 2015 : 11-20 [i6] 恒丰伟 , 于晃（音） , 曹建农 , 陆健 :
几乎强一致性：分布式存储系统中的“足够好”。 CoRR公司 abs/1507.01663 ( 2015 ) [i5] 杨一玲 , 于晃（音） , 曹建农 , 陆健 :
了解部分同步系统在运行时的定时分布式跟踪。 CoRR公司 abs/1508.00091 ( 2015 ) 2014 [j6] 杨一玲 , 于晃（音） , 曹建农 , 马晓星 , 陆健 :
分布式和异步事件流上滑动窗口的设计。 IEEE传输。 并行分布式系统。 25 ( 10 ) : 2551-2560 ( 2014 ) 2013 [j5] 杨一玲 , 于晃（音） , 曹建农 , 马晓星 , 陆健 :
异步普适计算环境中动态属性的形式化描述和运行时检测。 IEEE传输。 并行分布式系统。 24 ( 8 ) : 1546-1555 ( 2013 ) [第17条] Jian Lü , 于晃（音） , 常旭 , 马晓星 :
管理互联网范式的环境和适应风险。 程序设计理论与形式化方法 2013 : 271-284 [第16条] 王亮（Liang Wang） , 陶谷 , 谢洪伟 , 陶贤平 , 陆健 , 于晃（音） :
使用无线模式进行实时活动识别的可穿戴RFID系统。 MobiQuitous公司 2013 : 370-383 [i4] 恒丰伟 , 于晃（音） , 曹建农 , 马晓星 , 陆健 :
验证数据副本读/写跟踪的PRAM一致性。 CoRR公司 abs/1302.5161 ( 2013 ) [i3] 杨一玲 , 于晃（音） , 马晓星 , 陆健 :
在异步普及计算环境中通过谓词检测实现上下文感知。 CoRR公司 abs/1310.3623 ( 2013 ) 2012 【j4】 于晃（音） , 杨一玲 , 曹建农 , 马晓星 , 陶贤平 , 陆健 :
异步普适计算环境中并发属性的运行时检测。 IEEE传输。 并行分布式系统。 23 ( 4 ) : 744-750 ( 2012 ) [第15条] 于晃（音） , 马晓星 , 杨一玲 :
通过预测普及的物联网应用程序捕获标签动态。 ICPADS公司 2012 : 416-423 [第14条] 恒丰伟 , 黄宇 , 曹建农 , 马晓星 , 陆健 :
异步上下文时态属性的形式化规范和运行时检测。 PerCom公司 2012 : 30-38 2011 [i2] 杨一玲 , 于晃（音） , 曹建农 , 马晓星 , 陆健 :
异步事件流上滑动窗口的设计。 CoRR公司 abs/1111.3022 ( 2011 ) 2010 [j3] 于晃（音） , 曹建农 , 金北虹 , 陶贤平 , 陆健 , 玉林峰 :
无线Ad Hoc网络上灵活的缓存一致性维护。 IEEE传输。 并行分布式系统。 21 ( 8 ) : 1150-1161 ( 2010 ) [注2] 于晃（音） , 曹建农 , 金北虹 , 陶贤平 , 陆健 :
针对普遍互联网访问的协作缓存一致性维护。 Wirel公司。 Commun公司。 暴徒。 计算。 10 ( 三 ) : 436-450 ( 2010 ) [第13条] 余建平 , 于晃（音） , 曹建农 , 陶贤平 :
异步普适计算环境中上下文感知的中间件支持。 欧盟委员会 2010 : 136-143 [第12条] 于晃（音） , 余建平 , 曹建农 , 陶贤平 :
异步普适计算环境中行为上下文属性的检测。 ICPADS公司 2010 : 75-82 [第11条] 婷婷华 , 黄宇 , 曹建农 , 陶贤平 :
一种用于普适上下文的运行时属性检测的格理论方法。 UIC（UIC） 2010 : 307-321
2000 – 2009
2009 [第10条] Jian Lü , 马晓星 , 于晃（音） , 春操 , 冯旭 :
互联网：软件范式的转变。 网构 2009 : 7 【c9】 于晃（音） , 马晓星 , 曹建农 , 陶贤平 , 陆健 :
通用上下文异步一致性检查的并发事件检测。 PerCom公司 2009 : 1-9 [i1] 于晃（音） , 余建平 , 曹建农 , 马晓星 , 陶贤平 , 陆健 :
检查异步环境中普遍上下文的行为一致性约束。 CoRR公司 abs/0911.0136 ( 2009 ) 2008 [j1] Jian Lü , 马晓星 , 陶贤平 , 春操 , 于晃（音） , 平余（Ping Yu） :
互联网的环境驱动软件模型。 科学。 中国Ser。 F信息科学。 51 ( 6 ) : 683-721 ( 2008 ) 【c8】 黄宇 , 向马 , 陶贤平 , 曹建农 , 陆健 :
普适上下文一致性检查的概率方法。 EUC（1） 2008 : 387-393 【c7】 于晃（音） , 刘波（Bo Liu） , 陶贤平 , 曹建农 , 金北虹 :
无线Ad Hoc网络中自剪枝广播的分析模型。 EUC（2） 2008 : 571-576 2007 【c6】 于晃（音） , 金北虹 , 曹建农 , 孙光中 , 玉林峰 :
一种用于MANET上协同缓存一致性维护的选择性推送算法。 欧盟委员会 2007 : 650-660 [c5] 于晃（音） , 曹建农 , 王志军 , 金北虹 , 玉林峰 :
实现普遍互联网访问的灵活缓存一致性。 PerCom公司 2007 : 239-250 【c4】 金北虹 , 斯华田 , 陈琳 , Xin Ren公司 , 于晃（音） :
移动Web缓存系统的集成预取和缓存策略。 SNPD（2） 2007 : 522-527 【c3】 孙光中 , 周一鹏 , 于晃（音） , 周英华 :
数据流管理系统的自适应调度策略。 APWeb/WAIM公司 2007 : 511-521 2006 【c2】 于晃（音） , 曹建农 , 金北虹 :
一种在MANET中实现协作缓存一致性的预测方法。 信息量表 2006 : 50 【c1】 于晃（音） , 金北虹 , 曹建农 :
一种分布式方法，用于在无线Ad Hoc网络中构建具有拓扑错配感知的P2P覆盖层。 产品开发计划 2006 : 340-347
合著者索引
