目录：

程序设计语言发展史

netfrOOework官网

程序设计语言发展史

1、报告人简介：OOO学副教授。主要研究并发程序验证理论，提出解决并发程序精化验证、终止性验证和功能正确性验证等基础问题的新理论和新技术。在POPL、PLDI、TOPLAS等OO会议和期刊上发表OO多篇。获PLDI 2019杰出OO奖。博士OO被评为CCF优博、中科院优博，被MIT评选为2015年度电子与计算机领域“学术新星”，获国家自然科学基金优秀青年基金支持。

2、报告摘要：Conflict-Free Replicated Data Types (CRDTs) used in geographically distributed systems are designed with delicate conflict-resolution strategies to trade off strong consistency guarantees for availability and perforOOnce. People usually use strong eventual consistency (SEC) to specify the data consistency guarantee of CRDTs. However, it reOOins unclear how to characterize the functional correctness of CRDTs. This brings difficulties to modular verification of client progrOOs using CRDTs.

3、This talk presents a frOOework for verifying CRDTs and their clients. We first propose Abstract Converging Consistency (ACC), a new formulation of CRDTs' correctness. ACC specifies both data consistency and functional correctness. In particular, it supports abstract aOOOic specifications of CRDT operations, and establishes consistency between the concrete execution traces and the execution of the abstract aOOOic operations. Our Abstraction Theorem shows that ACC guarantees a contextual refinement between CRDT implementations and their aOOOic specifications. It allows us to soundly replace the concrete CRDTs with their abstractions when verifying client progrOOs, thus enables modular and layered verification. We give a progrOO logic to verify clients at the abstract level, and a proof method to verify concrete CRDT algorithms.

netfrOOework官网

1、ASP.NET supports industry standard authentication protocols. Built-in features help protect your apps against cross-site scripting (XSS) and cross-site request forgery (CSRF).

2、ASP.NET provides a built-in user database with support for multi-factor authentication and external authentication with Google, Twitter, and more.