Not-soo-HAR-uh") Miya.Natsuhara@microsoft.com Software Engineer, Visual C++ LibrariesWelcome to CppCon 2021! Join #visual_studio channel on CppCon Discord https://aka.ms/cppcon/discord • Meet the Microsoft std::chrono; int main() { year y{2021}; std::cout << y << "\n"; month m{October}; auto result = m + months{3}; std::cout << result << "\n"; } Output: 2021 Jan12 Some examples: Simple #include #include using namespace std::chrono; int main() { year this_year{2021}; year last_year{2020}; year_month_day ymd{this_year, October, day{28}}; std::cout <<

year y1 { 2021 }; auto y2 { 2021y };  Define an std::month: month m1 { 10 }; auto m2 { October };  Define an std::day: day d1 { 27 }; auto d2 { 27d };31 Dates  Create a date 2021-10-27: year_month_day year_month_day fulldate1 { 2021y, October, 27d }; auto fulldate2 { 2021y / October / 27d }; auto fulldate3 { 27d / October / 2021y };  Create a date for the 4th Wednesday of October 2021: year_month_day fulldate4 Wednesday[4] / October / 2021 };  Create a month_day for October 27 of an unspecified year: auto oct27 { October / 27d };  Create a year_month_day for October 27, 2021: auto oct27_2021 { 2021y / oct27 };32

CppCon 2021 CppCon 2021 What’s New In ‘ Visual Studio 64-bit IDE, C++20, WSL2, and More Marian Luparu (he/him) @mluparu Sy Brand (they/them) @TartanLlama C++ Product Team, Microsoft @VisualC https://aka https://aka.ms/cpp Welcome to CppCon 2021! Join #visual_studio channel on CppCon Discord https://aka.ms/cppcon/discord • Meet the Microsoft C++ team • Ask any questions • Discuss the latest announcements CppCon 2020 Sep 2020 Aug 2021 May 2021 Mar 2021 Nov 2020 Visual Studio 2022 Preview 1 Preview 2 Preview 3 Preview 4 Release Candidate Visual Studio 2022 May 2021 Oct 2021 (today) You’re invited

ting-systems.html I. Background  . Source: https://os.inf.tu-dresden.de/Studium/MkK//SS2021/01_intro.pdf Architecture & Design 1.2 L4 Overview I. Background  https://en.wikipedia.or I. Background  . Source: “The seL4 Report”, Gernot Heiser, Fosdem 2021. I. Background  Src 1.2.1.1 CAmkES I. Background  https://docs.sel4.systems/projects/camkes/ https://community.riscv.org/events/details/risc-v-foundation-bay-area-risc-v-group-presents-2021-risc- v-ecosystem-updates/ Source: https://cacm

90% 集成环境：支持开发者 Remote debug 工作流：效率和性能、开发者体验提升 贡献者流程建立 开 放 社 区 搭 建 2021 年 5 月 2021 年 7 月 2021 年 9 月 2021 年 11 月 2021 年 12 月 1 个月功能改造 90% 功能实现开源 技术社区雏形搭建 2022 年 3 月 生态伙伴工具 + Zadig Zadig 现产研数字化进化。核心团队由 DevOps 领域云计算工程技术专家和高级工程师为主，骨干技术成员是来 自于谷歌，腾讯，七牛云，阿里。公司已经连续完成来自顶级资本的多轮融资。 自 Zadig 2021 “ ” “ ” 年开源以来，公司连续两年被评为 开源中国 的 年度优秀开源技术团队 ， 36 氪「新经济 “ ” 之王」基础软件赛道的 年度企业 ， GADI “ ” 汽车新智造创新行业峰会的

数据库与大数据专场 海致简介—企业级知识图谱开创者 专业顶尖技术团队支撑 超 700 人团队，其中 80% 为技术人员，创始团队在完成全球第一个中文知 识图谱网站研发后，探索知识图谱技术在企业领域的应用。 2021 年，海致院 士专家工作站成立，站内清华大学计算机博士生占比达 90% 以上。 企业级数据解决方案专家 为建行、工行、交行、招行、上交所、深交所、中国人寿等 70+ 银行证券保险 企业、公安部、上海市公安局、武汉市公安局等 郑纬民 - 海致科技首席科学家 中国工程院院士、清华大学计算机科学与技术系教 授、中国计算机学会前理事长，中国计算机系统结构 的学科带头人，我国高性能计算和存储系统等方面的 泰斗和先行者。 2021 年 3 月 25 日，海致科技与清华大学计算机科学与技术系共同建设高性能图计算院士专家工作站 。 高性能图计算是高性能计算、图计算两项技术融合产生的新的技术方向，满足人们对更大规模、更复 产学结合、协同创新，打造全球领先的国产自研图数据库 AtlasGraph ，培育世界级的图计算软硬件 生态体系，保持对全球科技竞争的战略均衡。 海致高性能图计算院士专家工作站 海致获得“ 2021 年 CCF 科学技术奖科技进步卓越奖” CCF 科学技术奖被认为是计算机科学与技术领域最具影响力的专业奖项之一， 其中科技进步卓越奖是 CCF 科技进步奖评选中的最高级别奖项，旨在嘉奖在计

Examples • Rc Logics • Hoare Logic • Separation Logic Background ERC Project "RustBelt" 2015-2021 Unlike C/C++, Rust is a safe language But, like C/C++, Rust is also an unsafe language There are Honorable Mention Recipient of the 2021 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award Recipient of the 2021 ETAPS Doctoral Dissertation Award Recipient of the 2021 Otto Hahn Medal Ralf Jung Assistant

Path-Sensitive Static Analysis Gábor Horváth Gabor.Horvath@microsoft.com @XazaxHunWelcome to CppCon 2021! Join #visual_studio channel on CppCon Discord https://aka.ms/cppcon/discord • Meet the Microsoft the hood • Upcoming features • Lessons learned2012 2014 2015 2016 2017 2018 2019 2019/2020 2020 2021 NowStatic Analysisint f(int x) { if (x == 472349) { return 5/(x- 472349); } // ... }Flow-

也支持量化存储了 • https://yuanming.taichi.graphics/publication/2021-quantaichi/quantaichi.pdf 小彭老师第一时间赶到现场锐评 • https://yuanming.taichi.graphics/publication/2021-quantaichi/quantaichi.pdf ← ？？？ 第 7 章： SPGrid 操作系统管理内存的最小单位：页（

implementation • My solutions to EOPL My experience • 2014 ~ 2018 Some small projects • 2020 ~ 2021 More open-source projects, gomoku, youki, dapr-wasm • 2022 ~ Regular contributions to Rust