LOADING...
LOADING...
LOADING...
当前位置:主页 > 知识列表 >

ISSTA

1. Trail of Bits 将组织第一届国际智能合约分析研讨会 WoSCA 2020

...合约分析研讨会」(简称 WoSCA 2020),与「国际软件测试与分析研讨会」(ISSTA 2020)同地进行,也就是位于美国洛杉矶,时间为 7 月 18 日至 22 日。Trail of Bits 表示,本次智能合约分析研讨会将汇聚来自世界各地的研究人员,讨论以静态或动态的方法分析智能合约,话题包括但不仅限于基于分析方法发现...

知识:安全,智能合约,论坛,Trail of Bits,WoSCA

2. (红包)区块链的下一代 - conflux公链之路

... ACM SIGSOFT 杰出论文奖。他在顶级计算机科学会议上(PLDI、POPL、ICSE、NSDI、ISSTA、FSE 等)发表了 20 多篇论文,被引用次数超过 1000 次。他也是一名非常顶尖的程序员,在国际信息学奥林匹克(IOI)上曾经两次获得金牌,并在 ACM-ICPC 程序设计竞赛中获得区域赛冠军和世界总决赛第六名。conflux 团队大部分...

知识:巴比特,公链,区块链,公有链

3. 2019 区块链招聘嘉年华 :50+区块链名企 500+高薪多金机会

...计算机科学博?学位,在各?顶级计算机科学会议中(PLDI,POPL, ICSE, NSDI, ISSTA, FSE 等)发表论?超过 20 篇。联合创始?、CTO 伍鸣博?于 2007 年在中科院计算所取得计算机系统结构博?学位,曾任微软亚洲研究院(MSRA)系统研究组?级研究员。研究科学家由清华?学交叉信息研究院助理教授、助理院?、清华?...

知识:区块,数字,全球,资产