Forerunner:首个面向“多未来”的推测执行技术

10月26-29日,系统领域的全球顶会 SOSP 2021 在线上举办。在本届大会上,微软亚洲研究院研究员陈洋、郭众鑫、李润怀(实习生,浙江大学)、陈硕、周礼栋、张宪以及浙江大学周亚金教授共同提出了一种新颖的基于约束的推测执行技术——Forerunner,这是第一个面向“多未来”的推测执行技术。本篇论文获得了 Artifact Evaluation 全部三个最高级别徽章(即代码可评估、代码可获取和实验结果可复制)。今天将为大家从这项研究的底层思路和逻辑进行梳理总结。

发布时间:2021-10-28 类型:深度文章

Argus:基于区块链技术的去中心化奖励系统

随着网络技术的飞速发展,版权问题逐渐成为人们关注的热点。很多国家和组织针对这一问题出台了相关法律和反盗版激励计划,但是由于某些激励计划缺乏透明度,往往达不到很好的效果。为此,微软亚洲研究院可信系统研究组提出了一种基于区块链智能合约的反盗版奖励系统 —— Argus,通过区块链技术可提高多方合作的信任基础,既透明又安全高效。该技术目前处于学术研究阶段,相关论文的正式版将在今年9月份召开的国际可靠分布式系统会议 SRDS(International Symposium on Reliable Distributed Systems)上发表。论文作者包括微软亚洲研究院研究员张宪、郭众鑫、陈洋、陈硕、殷秋丰、杨懋,部分工作由原微软亚洲研究院创新工程组研究工程师郭小兵以及实习生曾子轩和刘文炎在微软亚洲研究院期间完成。

发布时间:2021-08-25 类型:深度文章

从数据分析、密码学角度看区块链未来

区块链技术是近年来的热点话题。无论是比特币、以太坊等密码学货币价格的大幅波动,还是各国政府机构对区块链技术的大力研发投入,都预示着区块链技术已经处在时代的“风口浪尖”。本文从数据分析及密码学的角度,结合最近微软亚洲研究院可信系统研究组发表的两篇论文,向大家介绍区块链技术的相关现状以及技术趋势。

发布时间:2021-05-18 类型:深度文章