- 博客(62)
- 收藏
- 关注
RSS订阅原创 ACM中国图灵大会专题 | 图灵奖得主Manuel Blum教授与仓颉团队交流 | 华为论坛：面向全场景应用编程语言精彩回顾
7月7日下午13点30，华为论坛《面向全场景应用编程语言-仓颉》顺利举行，华为编程语言首席专家、仓颉编程语言首席架构师、南京大学教授冯新宇发表开场致辞，冯老师表示，自2019年立项研发以来，经过5年的研发沉淀，终于在华为HDC大会和广大开发者正式亮相，发布后得到了广大开发者的关注和讨论。随后华为中央软件院项目群总监 董鑫，华为编程语言实验室架构师 徐潇，华为编程语言实验室架构师 范长春，华为语言虚拟机实验室架构师 杨勇勇，华为软件IDE实验室智慧化专家 郭圆平 分享主题报告。在仓颉编程语言展台，
2024-07-19 18:22:16
653
原创 仓颉 High-Level IR 设计与实现
博士毕业于中山大学，2018年加入华为编程语言实验室，先后参与AI领域算子编程语言和仓颉编程语言项目。目前主要负责仓颉语言的编译前端实现，主要涉及的技术方向包括：多层级IR、程序分析、编译优化、元编程等。
2024-07-18 20:31:07
691
原创 如何获取仓颉编程语言通用版本SDK？一篇文章让带您了解清楚
仓颉编程语言SDK及开发工具存储在GitCode Cangjie社区上，Cangjie社区会根据您的手机号通过审核，请您填写问卷时手机号与GitCode注册手机号保持一致，否则社区无法通过审核。CangjieVScodePlugin 项目：仓颉VScode插件，为用户提供了语言服务、工程管理、编译构建、调试服务、格式化、静态检查、覆盖率统计的功能。UserForm：仓颉社区用户论坛，如果您对仓颉编程语言或社区有什么建议或想法，可以在发起issue，我们会及时处理。仓颉编程语言官方邮箱回复邮件。
2024-07-17 16:34:01
399
原创 基于智能状态和源代码插桩的 C 程序内存安全性动态分析
陈哲老师分享了 C 程序内存安全性动态分析的相关工作，包含两个创新点，一个是智能状态，一个是源代码插桩，并介绍了一款依此实现的动态分析工具 Movec。
2023-07-28 16:38:25
385
原创 基于符号抽象的程序分析
假设我们用逻辑约束φφφ来编码一个程序的具体状态，并且把抽象域AAA看作一个比较受限的逻辑片段（比如 “区间逻辑”）。符号抽象的目标就是找到约束φφφ在抽象域AAA上的、最精确的上近似2。我们也可以从逻辑的角度来理解3。给定一个约束φφφ和一个逻辑片段LL’L（对应于抽象域）, 找到约束φφφ在LL’L中的最强逻辑后承（strongest logical consequence）。下面是一个具体的例子:考虑约束φ≡x≥0∧x2≤10φ≡x。
2023-07-14 12:11:19
463
原创 类型检查：时常被忽略的编译器组件
本文作者为大家带来类型检查和推导的简单分享，从日常的编码场景说明类型检查和类型推导的作用，带领大家了解如何实现一个简单的类型检查与推导器。
2023-06-09 17:17:06
840
原创 基于轨迹的调试技术：从传统软件到 AI 模型开发
本文基于林云老师的分享进行整理，为大家介绍了在传统软件和 AI 模型上的（半）自动化调试工作。视频已发布在 B 站，欢迎大家学习！
2023-05-04 19:48:01
941
1
原创 JAX-FLUIDS：可压缩两相流的完全可微高阶计算流体动力学求解器
本文介绍了JAX-FLUIDS —— 一种通过ML-CFD构建可微ML模型的框架，相比传统CFD数值微分求解，可以得到更优的计算结果。通过融合求解过程和ML过程，可以更有效地学习到符合PDE动力学特征的模型，ML-CFD模型开发更加地便捷。
2023-04-11 20:07:51
1081
原创 机器学习在编译器中的应用
近些年来，越来越多的学者和研究人员将目光对准了机器学习技术在编译器领域的应用。在本文里，我们将阐述机器学习和编译器优化之间的关系，并介绍其中的一些典型应用。
2023-03-24 14:57:57
945
原创 沙龙预告 | 自托管依赖类型语言的设计与实现
本次技术沙龙联合贝叶斯茶思屋@Edinburgh，邀请了圣安德鲁斯大学计算机科学专业的准教授 Edwin Brady 为大家介绍 Idris，一种具有依赖类型的函数式编程语言。
2023-03-21 19:59:39
790
原创 语言运行时的混合内存支持
本文基于吴明瑜老师的分享进行整理，为大家介绍了如何为语言运行时提供混合内存这样一个新硬件架构的支持。视频已发布在 B 站，欢迎大家学习！
2023-03-17 15:04:48
926
原创 基于上下文分析的 Python 实时 API 推荐
本次活动邀请到了南京大学计算机系软件质量研究所博士生何欣程为我们分享一种基于上下文分析的 Python 实时 API 推荐方法。
2023-03-03 15:22:42
1182
原创 CPython解释器性能分析与优化
CPython 是由 C 语言编写的 Python 纯解释器，采样分析（sampling profiling）可以更为精确地对其性能进行研究。本报告从不同视角探讨其中的开销构成，并讨论可行的优化方案。
2023-02-25 16:46:03
1862
原创 程序分析与神经网络后门
本次分享，孙军老师介绍了将程序分析与神经网络相结合从而提高神经网络质量的研究工作，并以两个后门攻击问题为例，详细介绍了团队的具体解决方法。文中介绍的研究方法可以在神经网络验证平台 Socrates 上获取。
2023-02-16 19:12:26
1327
原创 学习驱动的复杂软件符号执行
本文基于卜磊老师在 SIG-程序分析技术沙龙的分享进行整理，介绍了学习驱动的复杂软件符号执行，视频也已经发布在 B 站，欢迎学习。
2023-02-02 20:10:06
1355
1
原创 基于语义的编译器测试
原文来自微信公众号：编程语言Lab-基于语义的编译器测试搜索关注编程语言Lab 公众号：HW-PLLab获取编程语言更多技术内容如果读者想了解更多有关类型系统相关的技术内容，欢迎加入编程语言社区 SIG-程序分析。加入方式：文末有小助手微信，添加并备注加入 SIG-程序分析。视频回顾：SIG-程序分析技术沙龙回顾｜Semantic-based Compiler Testinghttps://www.bilibili.com/video/BV1zY411b7uG?# 研究背景及意义 #今
2022-02-23 15:55:01
1524
原创 SIG-Runtime 技术沙龙预告
直播预约编程语言技术社区介绍编程语言技术社区会由多个 SIG（Special Interest Gorup）与 WG（Work Group）组成，对应编程语言设计、实现、配套工具和生态链等相关技术，以及对应技术在场景下的应用探索，引导业界技术专家、高校科研教师为 Group Leader，形成良好的产学研闭环，吸引技术爱好者、学生到社区中成长。更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。SIG 介绍SIG-Runtime旨在建设一个针对编程语言 Ru...
2022-02-22 19:46:54
897
原创 议题征集 | 欢迎报名 SIG-Runtime 技术沙龙
SIG-Runtime 是由编程语言社区发起的 Runtime 技术相关的兴趣小组，我们计划在 2022 年 2 月 27 日举行一次技术沙龙，届时将会有来自高校的学者、企业的技术专家，与社区小伙伴一同分享、探讨 Runtime 相关的研究或实践。同时，社区诚挚邀请您报名成为演讲嘉宾，分享您的想法、经验、解决方案！SIG 介绍：https://gitee.com/HW-PLLab/community/tree/master/sigs/SIG-Runtime沙龙简介沙龙主题：SIG-Runtime .
2022-02-16 16:56:52
961
原创 Android 权限的一个类型系统模型
本文主要和大家分享一下我读博期间做的和类型系统相关一篇文章，发表在 CSF 2018 上的工作 ，合作者包括深圳大学的许智武老师，以及我当时的两位导师 Alwen Tiu 和 Yang Liu。这个工作主要是利用类型系统来静态检查 Android 系统上可疑的信息泄露，它的一个主要优势是我们可以对独立的 Android app 进行类型检查以确认它没有带来任何可能导致信息泄露的安全隐患。
2022-01-18 12:30:00
1145
原创 How Gradual Typing System Helps Us
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写给不想看完全文的同仁们，以下是本文核心观点：类型系统的本质是提供信息，这些信息不仅仅是提供给编译
2022-01-17 11:13:41
930
原创 精化类型简介
作者简介詹博华麻省理工博士后，现任中科院软件所硕导，研究方向为形式化方法（交互式定理证明、嵌入式系统的建模和验证）。本次技术分享来自 SIG-类型系统技术沙龙，本文内容由詹博华老师会后整理，视频也已经发布在 B 站，欢迎大家点开学习。https://www.bilibili.com/video/BV1yS4y1X7pi精化类型 (refinement types) 在普通类型的基础上添加了对变量取值范围的约束，从而可以用于保证程序不存在除零、数组越界等错误，甚至完全验证程序的功能正确性。在这篇文
2021-12-30 14:36:01
1008
原创 从 JIT 编译看 Runtime 的过去与未来
作者简介常开颜中国科学院计算技术研究所直博生，研究方向为硬件编程语言、编译技术。如果读者想了解更多有关Runtime相关的技术内容，欢迎加入编程语言社区 SIG-Runtime。加入方式：文末有小助手微信，添加并备注加入 SIG-Runtime。# 编译器是什么 #编程语言处理器可以分为三类，它们之间的关系用一句著名的话说就是：编译器是特化的解释器（a compiler is a specialized interpreter）[1]。 编译器 Compiler能够给定一...
2021-12-25 15:28:08
1918
原创 活动回顾 | SIG-类型系统 技术沙龙
2021 年 11 月 28 日，由编程语言社区举办的SIG-类型系统技术沙龙通过线上直播方式举办。SIG-类型系统旨在建设一个针对编程语言类型系统技术领域学习、分享、成长的平台，吸引并聚集对类型系统相关核心技术有所研究、有所建树的专家、学者以及对学习类型系统相关技术拥有热情的学生们。当前已加入多名核心成员，分别代表企业技术专家、学术界研究学者、学生群体与用户群体等。SIG 介绍：https://gitee.com/HW-PLLab/community/tree/master/sigs...
2021-12-01 11:14:57
797
原创 SIG-类型系统 技术沙龙预告
编程语言技术社区介绍编程语言技术社区会由多个 SIG（Special Interest Gorup）与 WG（Work Group）组成，对应编程语言设计、实现、配套工具和生态链等相关技术，以及对应技术在场景下的应用探索，引导业界技术专家、高校科研教师为 Group Leader，形成良好的产学研闭环，吸引技术爱好者、学生到社区中成长。更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。SIG 介绍SIG-类型系统旨在建设一个针对编程语言类型系统技术领域学习、分享、成长...
2021-11-23 18:58:31
1383
原创 编译器优化故障的测试与定位
今天想分享的主题是编译器故障的检测和定位。本次技术分享来自SIG-编程语言测试技术沙龙，本文内容为提取讲演视频后的文章，视频也已经发布在 B 站，欢迎大家点开学习。
2021-11-22 10:11:14
1071
原创 Promising 2.0：宽松内存并发中的全局优化
本文由 Hana 根据论文解读视频整理所得，如有错误欢迎指正！原视频内容较长，已经分上下两部分发布 B 站，欢迎点开学习！论文解读 | Promising 2.0：宽松内存并发中的全局优化（上）_哔哩哔哩_bilibili论文解读 | Promising 2.0：宽松内存并发中的全局优化（上）https://www.bilibili.com/video/BV1Fq4y1V73D论文解读 | Promising 2.0：宽松内存并发中的全局优化（下）_哔哩哔哩_bilibili论文解读 | Promi
2021-11-09 11:50:31
305
原创 类型系统综述（二）
译者注释使用下划线标注，方便识别。接续上一篇于国庆期间发布的类型系统综述，本文将简要介绍有类型 λ\lambdaλ 演算 的类型系统，以及如何在此基础上扩充 UnitUnitUnit 类型（单一， 并不知道如何翻译，感觉单一类型比单位类型好听；且毕竟不可能是单子类型——单子这个词一般留给了 monad。），BoolBoolBool 类型（布尔），NatNatNat 类型（自然数），ProductProductProduct 类型（积），UnionUnionUnion 类型（联合），RecordRecor.
2021-11-03 14:50:34
176
原创 Go 语言生态发展之路
2007 年 9 月 21 日，Robert Griesemer，Rob Pike 和 Ken Thompson 在一块白板上勾勒了一个新语言，并在几天内定下了计划和目标，作为一个自由时间的项目进行；2008 年年中，这个项目得到 Google 的全力支持，成为了一个全职项目；2009 年 11 月，Go 语言正式开源[1]，并于三年后发布 1.0 版本。发布 12 年至今，已有上百万开发者成为“gopher”，已经远超设计者最初的预期。# 源起 #Go 语言的开发团队可以说是高人云集：Ken T.
2021-10-30 14:37:32
594
原创 关于 Raku 的宏系统的分享
作者 | Carl Masak整理 | J.M.zhu作者简介：Carl Masak, 2019 年加入华为，在进入华为之前，一直做开源贡献，研究领域主要在语言设计、开发领域，是 Perl6 早期成员之一（Perl6 目前改名为 Raku[1]）。本次技术分享来自SIG-元编程技术例会，本文内容为提取讲演视频后的翻译稿，视频也已经发布在 B 站，欢迎大家点开学习。SIG-元编程技术分享 | A Simple Introduction of Macro System of Raku_...
2021-10-28 18:52:43
325
原创 关于 IR 在程序分析和优化中应用的一些思考
李彬，编程语言 Lab 程序分析应用专家，南京大学计算机系博士。研究领域是程序分析及验证。本文以技术文章的方式回顾李老师在SIG-程序分析技术沙龙上的分享，回顾视频也已经上传 B 站，欢迎小伙伴们点开观看。SIG-程序分析技术沙龙回顾｜程序分析中的 IR 讨论_哔哩哔哩_bilibili编程语言社区微信公众号/ID：编程语言Lab/HW-PLLab小助手微信：pl_lab_001Gitee信息：https://gitee.com/HW-PLLab/communityhttps://www.bil..
2021-10-13 11:30:00
1162
原创 类型系统综述（一）
原文作者：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在对类型系统分门别类和比.
2021-10-11 10:40:25
625
原创 软件 2.0 时代的程序分析
作者 | 张昕整理 |晴天作者经历： 2020.9 – 现在，北京大学计算机系助理教授 2017.9 – 2020.8，美国麻省理工学院计算机与人工智能实验室博士后 2017，博士，美国佐治亚理工学院 2011，学士，上海交通大学 研究方向：程序设计语言，软件工程，高可靠人工智能所获奖励与成就： 入选国家级青年人才计划 北京大学博雅青年学者称号 ACM SIGPLAN & ACM SIGSOFT 杰出论文奖得主（除..
2021-10-08 10:13:18
449
原创 Rust 生态发展之路
Rust 最初是 Mozilla 员工 Graydon Hoare 在 2006 年开始做的私人项目[1]，Graydon Hoare 原来是语言工程师，会参与编译器或工具的实现但并没有参与设计，因此开始有了自己设计语言的想法[2]。Rust 语言的设计参考了很多其他语言，在 70 年代末和 80 年代初，编程语言有很多优秀的竞争者，许多好想法并没有转化成广泛使用的系统语言，Graydon Hoare 希望能结合现代编程语言的理论实现这些好想法[2]。Rust 基因图谱[3]Mozi...
2021-09-30 10:30:23
1312
原创 基于软件分析的智能化开发新型服务与技术
梁广泰，华为云软件分析 Lab 技术专家 / Team Leader，北京大学计算机系博士。研究领域是软件分析、智能化开发、软件工程领域等。本文以技术文章的方式回顾梁老师在SIG-程序分析技术沙龙上的分享，回顾视频也已经上传 B 站，欢迎小伙伴们点开观看。https://www.bilibili.com/video/BV1a44y187eKhttps://www.bilibili.com/video/BV1a44y187eK大家好，非常感谢大家来参加我们今天的SIG-程序分析技术沙龙。我是...
2021-09-26 19:14:41
855
原创 系统化程序分析
左志强，南京大学计算机系副研究员，研究领域包括程序分析，编译技术，系统软件等。本文以技术文章的方式回顾左老师在SIG-程序分析技术沙龙上的分享，回顾视频也已经上传 B 站，欢迎小伙伴们点开观看。小程序，哔哩哔哩，，面向千万行代码的高精度静态分析系统小程序#Introduction#大家好，非常高兴今天能有这个机会在我们国内做程序分析的一个新 group 来给大家分享一下我们最近做的一些尝试。从广义上来说，程序分析可以大致分为两类，包括： 静态分析 Static ...
2021-09-16 20:55:37
568
原创 Julia 生态发展之路
今年 7 月 19 日，Julia 语言创始人成立的 Julia Computing 公司宣布完成了 2400 万美元的 A 轮融资，由 Dorilton Ventures 领投，Menlo Ventures、General Catalyst 和 HighSage Ventures 跟投[1]。融资将被用于 Julia 生态的扩张，继续研发产品让 Julia 语言变得更容易部署、更加好用[2]。Julia 是一种速度快且使用简单的高级通用编程语言，最初设计用于科学计算领域[3]，2012 年发布以...
2021-09-09 20:39:37
343
原创 活动回顾 | SIG-程序分析 技术沙龙
2021 年 8 月 28 日，由编程语言社区举办的SIG-程序分析技术沙龙在北京朝阳区万达广场 A 座举办。SIG-程序分析是编程语言技术社区创建的第五个 SIG，致力于建设成为一个针对程序分析领域学习、分享、成长的社区平台。核心成员主要来自北京大学、南京大学、国防科技大学、新加坡国立大学、中科院研究所、上海科技大学、华为公司等，另外还有来自日本国立情报学研究所、香港科技大学、思码逸、鸿渐科技等的 SIG 成员，他们都是学术界与工业界对程序分析技术有着丰富经验的专家和爱好者。孙军老师通过几个.
2021-08-30 20:04:05
193
原创 SIG-程序分析 技术沙龙预告
编程语言社区介绍编程语言社区期望在国内提供一个公开的、大规模的编程语言理论、实现、应用等技术相关的交流平台，旨在推动国内编程语言理论与实现等技术。如果你加入编程语言社区，可以： 接触：接触到前沿科技，有机会在社区中孵化项目，支持商用转换 贡献：参与社区建设与开源贡献，享受社区带来的成就感，同时获得技术成长 收获：有机会收获各个研究领域的实习和就业机会 提高：提高个人影响力，扩展学术和工业界人脉 归属：可以在社区中找到归属感 社区地址：https...
2021-08-24 19:05:52
453
原创 书籍推荐 | Software Foundations by Benjamin C. Pierce et al.
# DeepSpec #美国国家基金会在 21 世纪科学与工程的网络基础设施框架（Cyberinfrastructure Framework for 21st Century Science and Engineering, CIF21）[1] 中，明确了软件的关键地位，并资助了DeepSpec (the science of deep specification)[2] 项目：旨在通过提高形式化方法或数学相关技术，改进程序的开发和验证方法，从而消除可能导致安全漏洞和计算错误的 bugs。Dee..
2021-08-23 19:06:47
495
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人