pl_lab_001的博客

原文来自微信公众号：编程语言Lab-基于语义的编译器测试搜索关注编程语言Lab 公众号：HW-PLLab获取编程语言更多技术内容如果读者想了解更多有关类型系统相关的技术内容，欢迎加入编程语言社区 SIG-程序分析。加入方式：文末有小助手微信，添加并备注加入 SIG-程序分析。视频回顾：SIG-程序分析技术沙龙回顾｜Semantic-based Compiler Testinghttps://www.bilibili.com/video/BV1zY411b7uG?# 研究背景及意义 #今

直播预约编程语言技术社区介绍编程语言技术社区会由多个 SIG（Special Interest Gorup）与 WG（Work Group）组成，对应编程语言设计、实现、配套工具和生态链等相关技术，以及对应技术在场景下的应用探索，引导业界技术专家、高校科研教师为 Group Leader，形成良好的产学研闭环，吸引技术爱好者、学生到社区中成长。更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。SIG 介绍SIG-Runtime旨在建设一个针对编程语言 Ru...

SIG-Runtime 是由编程语言社区发起的 Runtime 技术相关的兴趣小组，我们计划在 2022 年 2 月 27 日举行一次技术沙龙，届时将会有来自高校的学者、企业的技术专家，与社区小伙伴一同分享、探讨 Runtime 相关的研究或实践。同时，社区诚挚邀请您报名成为演讲嘉宾，分享您的想法、经验、解决方案！SIG 介绍：https://gitee.com/HW-PLLab/community/tree/master/sigs/SIG-Runtime沙龙简介沙龙主题：SIG-Runtime .

本文主要和大家分享一下我读博期间做的和类型系统相关一篇文章，发表在 CSF 2018 上的工作 ，合作者包括深圳大学的许智武老师，以及我当时的两位导师 Alwen Tiu 和 Yang Liu。这个工作主要是利用类型系统来静态检查 Android 系统上可疑的信息泄露，它的一个主要优势是我们可以对独立的 Android app 进行类型检查以确认它没有带来任何可能导致信息泄露的安全隐患。

How Gradual Typing System Helps Us作者 | Liyi整理 | Hana作者介绍：Liyi, from Huawei, inc. 2012 Lab, OS Kernel Lab, working asverification engineer, andverification tool developerHiring @Beijing @Shanghai写给不想看完全文的同仁们，以下是本文核心观点：类型系统的本质是提供信息，这些信息不仅仅是提供给编译

作者简介詹博华麻省理工博士后，现任中科院软件所硕导，研究方向为形式化方法（交互式定理证明、嵌入式系统的建模和验证）。本次技术分享来自 SIG-类型系统技术沙龙，本文内容由詹博华老师会后整理，视频也已经发布在 B 站，欢迎大家点开学习。https://www.bilibili.com/video/BV1yS4y1X7pi精化类型 (refinement types) 在普通类型的基础上添加了对变量取值范围的约束，从而可以用于保证程序不存在除零、数组越界等错误，甚至完全验证程序的功能正确性。在这篇文

作者简介常开颜中国科学院计算技术研究所直博生，研究方向为硬件编程语言、编译技术。如果读者想了解更多有关Runtime相关的技术内容，欢迎加入编程语言社区 SIG-Runtime。加入方式：文末有小助手微信，添加并备注加入 SIG-Runtime。# 编译器是什么 #编程语言处理器可以分为三类，它们之间的关系用一句著名的话说就是：编译器是特化的解释器（a compiler is a specialized interpreter）[1]。 编译器 Compiler能够给定一...

2021 年 11 月 28 日，由编程语言社区举办的SIG-类型系统技术沙龙通过线上直播方式举办。SIG-类型系统旨在建设一个针对编程语言类型系统技术领域学习、分享、成长的平台，吸引并聚集对类型系统相关核心技术有所研究、有所建树的专家、学者以及对学习类型系统相关技术拥有热情的学生们。当前已加入多名核心成员，分别代表企业技术专家、学术界研究学者、学生群体与用户群体等。SIG 介绍：https://gitee.com/HW-PLLab/community/tree/master/sigs...

编程语言技术社区介绍编程语言技术社区会由多个 SIG（Special Interest Gorup）与 WG（Work Group）组成，对应编程语言设计、实现、配套工具和生态链等相关技术，以及对应技术在场景下的应用探索，引导业界技术专家、高校科研教师为 Group Leader，形成良好的产学研闭环，吸引技术爱好者、学生到社区中成长。更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。SIG 介绍SIG-类型系统旨在建设一个针对编程语言类型系统技术领域学习、分享、成长...

今天想分享的主题是编译器故障的检测和定位。本次技术分享来自SIG-编程语言测试技术沙龙，本文内容为提取讲演视频后的文章，视频也已经发布在 B 站，欢迎大家点开学习。

本文由 Hana 根据论文解读视频整理所得，如有错误欢迎指正！原视频内容较长，已经分上下两部分发布 B 站，欢迎点开学习！论文解读 | Promising 2.0：宽松内存并发中的全局优化（上）_哔哩哔哩_bilibili论文解读 | Promising 2.0：宽松内存并发中的全局优化（上）https://www.bilibili.com/video/BV1Fq4y1V73D论文解读 | Promising 2.0：宽松内存并发中的全局优化（下）_哔哩哔哩_bilibili论文解读 | Promi

译者注释使用下划线标注，方便识别。接续上一篇于国庆期间发布的类型系统综述，本文将简要介绍有类型 λ\lambdaλ 演算 的类型系统，以及如何在此基础上扩充 UnitUnitUnit 类型（单一， 并不知道如何翻译，感觉单一类型比单位类型好听；且毕竟不可能是单子类型——单子这个词一般留给了 monad。），BoolBoolBool 类型（布尔），NatNatNat 类型（自然数），ProductProductProduct 类型（积），UnionUnionUnion 类型（联合），RecordRecor.

2007 年 9 月 21 日，Robert Griesemer，Rob Pike 和 Ken Thompson 在一块白板上勾勒了一个新语言，并在几天内定下了计划和目标，作为一个自由时间的项目进行；2008 年年中，这个项目得到 Google 的全力支持，成为了一个全职项目；2009 年 11 月，Go 语言正式开源[1]，并于三年后发布 1.0 版本。发布 12 年至今，已有上百万开发者成为“gopher”，已经远超设计者最初的预期。# 源起 #Go 语言的开发团队可以说是高人云集：Ken T.

作者 | Carl Masak整理 | J.M.zhu作者简介：Carl Masak, 2019 年加入华为，在进入华为之前，一直做开源贡献，研究领域主要在语言设计、开发领域，是 Perl6 早期成员之一（Perl6 目前改名为 Raku[1]）。本次技术分享来自SIG-元编程技术例会，本文内容为提取讲演视频后的翻译稿，视频也已经发布在 B 站，欢迎大家点开学习。SIG-元编程技术分享 | A Simple Introduction of Macro System of Raku_...

李彬，编程语言 Lab 程序分析应用专家，南京大学计算机系博士。研究领域是程序分析及验证。本文以技术文章的方式回顾李老师在SIG-程序分析技术沙龙上的分享，回顾视频也已经上传 B 站，欢迎小伙伴们点开观看。SIG-程序分析技术沙龙回顾｜程序分析中的 IR 讨论_哔哩哔哩_bilibili编程语言社区微信公众号/ID：编程语言Lab/HW-PLLab小助手微信：pl_lab_001Gitee信息：https://gitee.com/HW-PLLab/communityhttps://www.bil..

原文作者：Luca Cardelli，Microsoft Research翻译与调整：Koshiba本文改编自 Luca Cardelli 的 《Type Systems》[1]的前两章，并对内容和顺序做了调整。Luca Cardelli 个人主页：http://lucacardelli.name/indexMe.html《Type Systems》 2004 版：http://lucacardelli.name/Papers/TypeSystems.pdf在对类型系统分门别类和比.

作者 | 张昕整理 |晴天作者经历： 2020.9 – 现在，北京大学计算机系助理教授 2017.9 – 2020.8，美国麻省理工学院计算机与人工智能实验室博士后 2017，博士，美国佐治亚理工学院 2011，学士，上海交通大学 研究方向：程序设计语言，软件工程，高可靠人工智能所获奖励与成就： 入选国家级青年人才计划 北京大学博雅青年学者称号 ACM SIGPLAN & ACM SIGSOFT 杰出论文奖得主（除..

Rust 最初是 Mozilla 员工 Graydon Hoare 在 2006 年开始做的私人项目[1]，Graydon Hoare 原来是语言工程师，会参与编译器或工具的实现但并没有参与设计，因此开始有了自己设计语言的想法[2]。Rust 语言的设计参考了很多其他语言，在 70 年代末和 80 年代初，编程语言有很多优秀的竞争者，许多好想法并没有转化成广泛使用的系统语言，Graydon Hoare 希望能结合现代编程语言的理论实现这些好想法[2]。Rust 基因图谱[3]Mozi...

梁广泰，华为云软件分析 Lab 技术专家 / Team Leader，北京大学计算机系博士。研究领域是软件分析、智能化开发、软件工程领域等。本文以技术文章的方式回顾梁老师在SIG-程序分析技术沙龙上的分享，回顾视频也已经上传 B 站，欢迎小伙伴们点开观看。https://www.bilibili.com/video/BV1a44y187eKhttps://www.bilibili.com/video/BV1a44y187eK大家好，非常感谢大家来参加我们今天的SIG-程序分析技术沙龙。我是...

左志强，南京大学计算机系副研究员，研究领域包括程序分析，编译技术，系统软件等。本文以技术文章的方式回顾左老师在SIG-程序分析技术沙龙上的分享，回顾视频也已经上传 B 站，欢迎小伙伴们点开观看。小程序，哔哩哔哩，，面向千万行代码的高精度静态分析系统小程序#Introduction#大家好，非常高兴今天能有这个机会在我们国内做程序分析的一个新 group 来给大家分享一下我们最近做的一些尝试。从广义上来说，程序分析可以大致分为两类，包括： 静态分析 Static ...