Get best of the week

SPTDC 2020-分布式计算实践与理论第三学院

理论是什么时候您什么都知道，但什么都没有。
实践是当一切正常但没人知道原因时。
在分布式系统中，理论和实践相结合：
没有任何工作，没人知道为什么。

为了证明题词中的笑话是绝对的愚蠢，这是我们第三次进行SPTDC（分布式计算的实践和理论学校）。我们已经谈到了学校的历史，学校的联合创始人彼得·库兹涅佐夫（Petro Kuznetsov）和维塔利·阿克索诺夫（Vitaly Aksyonov），以及JUG Ru Group参与哈布雷的SPTDC组织。因此，今天-关于2020年的学校，讲座和讲师，以及学校和会议之间的差异。

SPTDC学校将于2020年7月6日至9日在莫斯科举行。

所有讲座将使用英语。主要演讲主题：持久性并发计算，用于分布式系统的密码工具，用于验证共识协议的正式方法，大规模系统中的一致性，分布式机器学习。


立即猜出图片中人物在哪个军衔上？我崇拜你。


讲师和讲座


尼尔·沙维特（Nir Shavit）是麻省理工学院和特拉维夫大学的教授，着有《多处理器编程的艺术》一书的合著者，因开发和实现事务性编程存储器（STM）而获得了Dijkstra奖，并因将代数拓扑应用于计算建模的研究而获得了哥德尔奖。拥有共享内存，Neural Magic的共同创始人，Neural Magic是一家为常规CPU创建快速机器学习算法的公司，当然也是拥有破破烂烂的Wikipedia页面的所有者。尼尔（Nir）已于2017年加入我们的学校，在那里他对锁具的技术进行了详尽的回顾（第1部分，第2部分）。 Nir今年将要谈论的是什么，我们尚不知道，但我们希望能从科学的前沿获得新闻。

迈克尔·斯科特（Michael Scott）是罗切斯特大学（University of Rochester）的研究员，所有Java开发人员都将其称为标准Java库中非阻塞算法和同步队列的创建者。当然，因开发用于共享内存计算的同步算法而获得Dijkstra奖，并且在Wikipedia上拥有其自己的页面。去年，Michael在我们学校作了关于非阻塞数据结构的讲座（第1 部分，第2部分）。今年他将谈论使用非易失性存储器（NVM），与“常规”随机存取存储器（DRAM）相比，可降低程序复杂性和存储器开销。Technion的教授

Idit Keidar拥有Hirsch指数约40（非常非常多），它在分布式计算，多线程和容错领域超过200篇科学文章。首次参加我们的学校，她将在课堂上就分布式数据仓库的操作的基本方面进行演讲：模拟分布式内存，建立共识和更改配置。

Rodrigo Rodrigues -Técnico教授，INSEC-ID实验室成员并且是分布式系统研究的作者。今年，Rodrigo 将在我们学校讨论分布式数据仓库中的一致性和隔离性，并且还将使用CAP定理分析几种一致性和隔离性模型在实践中的可行性。

Chen Jing（Jing Chen）-纽约州立大学石溪分校教授，blokcheyna领域的研究著作的作者，Algorand -blokcheyn公司和平台的领先科学家，使用完全基于权益证明的共识算法。今年，陈将在我们学校谈论Algorand区块链以及如何实现其有趣的特性：对网络计算资源的需求低，不可能分割交易历史记录并保证将交易添加到区块链后完成交易处理。

克里斯蒂安·卡钦（Christian Cachin）-伯尔尼大学教授，领导数据保护领域的研究小组，《可靠和安全的分布式编程简介》一书的合著者，区块链平台Hyperledger Fabric的开发者（甚至在哈布雷（Habré）上也有帖子）和研究的作者在分布式系统的密码学和安全性领域工作。今年在我们学校的基督徒将针对分布式计算的密码学工具（包括对称和非对称密码学以及共享密钥密码学，伪随机数和经过验证的随机数生成）进行四部分的讲座。

Vukolich Marco（Marko Vukolic）-IBM Research的研究人员，作者从事 blokcheyna和开发人员Hyperledger Fabric的工作。我们不知道Marco今年会在学校谈论什么，但我们希望我们能了解他在区块链领域的最新发展：研究多达100台机器的集群上的分布式共识协议的性能下降，Mir广播协议全局订单和拜占庭容错或bezblochnom blokcheyne StreamChain，可最大程度地减少事务处理时间。

Prasad Jayanti是达特茅斯学院的教授，是常春藤联盟的成员，也是多线程算法领域的研究论文的作者。今年，普拉萨德（Prasad）在我们学校将就线程同步和实现各种互斥锁选项的算法进行演讲，其中包括：在非易失性内存模型中具有中断或恢复功能，以及单独的读写操作。

Alexey Gotsman（Alexey Gotsman）-IMDEA教授兼作者算法软件验证领域的研究工作。我们尚不知道Alexey今年将在我们学校进行什么讲座，但是我们正在程序验证和分布式系统的交集上指望这个话题。


为什么是学校而不是会议？


首先，讲师以学术形式发言，并以两对形式阅读每个大型讲座： “一个半小时-休息-另一个半小时”。大学毕业后很多年，习惯在会议上每小时进行一次报告，并在YouTube上播放10分钟的片段，这可能很困难。一个好的讲师会使所有三个小时变得有趣，但每个人都应对自己大脑的可塑性负责。

有用的建议：在2017年和2019年的学校演讲录像中练习。再见，工作-拜占庭将军，您好。

其次，讲师专注于科学研究并谈论基本原理。分布式系统和并行计算，以及有关科学前沿的新闻。如果您的目标是快速编程并在放学后的炎热天气中将其部署到生产环境中，这也可能会很困难。

有用的提示：在Google Scholar和arXiv.org上搜索学校讲师的研究内容。如果您对科学寻呼机很感兴趣，您也会爱上学校。

第三，SPTDC 2020不是会议，因为关于分布式系统和并行计算的会议是Hydra 2020。最近在哈布雷（Habré）上有一篇帖子，介绍了她的计划。去年，SPTDC和Hydra在同一地点同时举行。今年，它们在日期上没有重叠，因此它们不会在您的时间和精力上相互竞争。

有用的提示：查看Hydra会议计划并考虑放学后参加会议。这将是一个美好的一周。

如何上学？


  • 写下2020年7月6日至7月9日的日期（最好是7月11日放学后参加Hydra会议）。
  • 聚集你的勇气，做好准备。
  • 选择您的票并去上学。

More articles:


All Articles