...合约分析研讨会」（简称 WoSCA 2020），与「国际软件测试与分析研讨会」（ISSTA 2020）同地进行，也就是位于美国洛杉矶，时间为 7 月 18 日至 22 日。Trail of Bits 表示，本次智能合约分析研讨会将汇聚来自世界各地的研究人员，讨论以静态或动态的方法分析智能合约，话题包括但不仅限于基于分析方法发现...
知识:安全,智能合约,论坛,Trail of Bits,WoSCA
... ACM SIGSOFT 杰出论文奖。他在顶级计算机科学会议上（PLDI、POPL、ICSE、NSDI、ISSTA、FSE 等）发表了 20 多篇论文，被引用次数超过 1000 次。他也是一名非常顶尖的程序员，在国际信息学奥林匹克（IOI）上曾经两次获得金牌，并在 ACM-ICPC 程序设计竞赛中获得区域赛冠军和世界总决赛第六名。conflux 团队大部分...
知识:巴比特,公链,区块链,公有链
...计算机科学博?学位，在各?顶级计算机科学会议中（PLDI，POPL， ICSE， NSDI， ISSTA， FSE 等）发表论?超过 20 篇。联合创始?、CTO 伍鸣博?于 2007 年在中科院计算所取得计算机系统结构博?学位，曾任微软亚洲研究院（MSRA）系统研究组?级研究员。研究科学家由清华?学交叉信息研究院助理教授、助理院?、清华?...
知识:区块,数字,全球,资产