SIG-程序分析 技术沙龙预告

最新推荐文章于 2024-08-20 20:10:12 发布
最新推荐文章于 2024-08-20 20:10:12 发布
阅读量488 收藏
点赞数
分类专栏： 社区活动 文章标签： 编程语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/pl_lab_001/article/details/119896733
版权
编程语言社区提供了一个公开的技术交流平台，聚焦编程语言理论与实践。SIG-程序分析致力于程序分析领域的学习与成长，举办线上线下沙龙，汇集专家学者，推动技术发展。加入可接触前沿科技、贡献社区、提升技能和影响力，并有机会获得实习和工作机会。
摘要由CSDN通过智能技术生成

图片

编程语言社区介绍

编程语言社区 期望在国内提供一个公开的、大规模的编程语言理论、实现、应用等技术相关的交流平台，旨在推动国内编程语言理论与实现等技术。

如果你加入编程语言社区，可以：

  • 接触：接触到前沿科技，有机会在社区中孵化项目，支持商用转换

  • 贡献：参与社区建设与开源贡献，享受社区带来的成就感，同时获得技术成长

  • 收获：有机会收获各个研究领域的实习和就业机会

  • 提高：提高个人影响力，扩展学术和工业界人脉

  • 归属：可以在社区中找到归属感

社区地址：https://gitee.com/HW-PLLab/community

SIG 介绍

SIG-程序分析 致力于建设一个针对程序分析领域学习、分享、成长的社区平台，吸引并聚集国内外学术界对程序分析技术有深入研究的专家学者、工业界对程序分析技术有应用实践的技术专家、以及对程序分析技术感兴趣的在校学生和广大兴趣爱好者，一起交流探讨程序分析前沿技术，分享程序分析技术在不同领域的应用实践，打造学术界-工业界-社区循环生态，共同推动国内

最低0.47元/天 解锁文章
仓颉编程语言
关注
专栏目录
SIG-可微编程 技术沙龙预告
pl_lab_001的博客
08-11 269
编程语言社区介绍 编程语言社区期望在国内提供一个公开的、大规模的编程语言理论、实现、应用等技术相关的交流平台，旨在推动国内编程语言理论与实现等技术。 如果你加入编程语言社区，可以： 接触：接触到前沿科技，有机会在社区中孵化项目，支持商用转换 贡献：参与社区建设与开源贡献，享受社区带来的成就感，同时获得技术成长 收获：有机会收获各个研究领域的实习和就业机会 提高：提高个人影响力，扩展学术和工业界人脉 归属：可以在社区中找到归属感 社区地址：https...
活动回顾 | SIG-程序分析 技术沙龙
pl_lab_001的博客
08-30 208
2021 年 8 月 28 日，由编程语言社区举办的SIG-程序分析技术沙龙在北京朝阳区万达广场 A 座举办。 SIG-程序分析是编程语言技术社区创建的第五个 SIG，致力于建设成为一个针对程序分析领域学习、分享、成长的社区平台。核心成员主要来自北京大学、南京大学、国防科技大学、新加坡国立大学、中科院研究所、上海科技大学、华为公司等，另外还有来自日本国立情报学研究所、香港科技大学、思码逸、鸿渐科技等的 SIG 成员，他们都是学术界与工业界对程序分析技术有着丰富经验的专家和爱好者。 孙军老师通过几个.
软件分析01-Intro
m0_52410730的博客
07-31 250
南京大学软件分析课程，李樾、谭添主讲，封面选自其Lab太阿
【静态分析】【系列1-南大软件分析】1.0 导论学习笔记
soldi_er的博客
05-14 890
文章目录
NJU-静态分析-注意：南京大学静态分析课程的注释
03-03
NJU-静态分析说明 南京大学静态分析课程笔记 课程视频： 社区？ 贡献书：
SIG-Runtime 技术沙龙预告
pl_lab_001的博客
02-22 925
直播预约 编程语言技术社区介绍 编程语言技术社区会由多个 SIG（Special Interest Gorup）与 WG（Work Group）组成，对应编程语言设计、实现、配套工具和生态链等相关技术，以及对应技术在场景下的应用探索，引导业界技术专家、高校科研教师为 Group Leader，形成良好的产学研闭环，吸引技术爱好者、学生到社区中成长。 更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。 SIG 介绍 SIG-Runtime旨在建设一个针对编程语言 Ru...
SIG-编程语言测试 技术沙龙预告
pl_lab_001的博客
07-07 282
编程语言技术社区介绍 编程语言技术社区会由多个 SIG（Special Interest Gorup） 与 WG（Work Group） 组成，对应编程语言设计、实现、配套工具和生态链等相关技术，以及对应技术在场景下的应用探索，引导业界技术专家、高校科研教师为 Group Leader，形成良好的产学研闭环，吸引技术爱好者、学生到社区中成长。 更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。 SIG 介绍 SIG - 编程语言测试 旨在通过建立针对编程语言测试领域的学习、交流、分享平台，吸引并.
活动回顾 | SIG-编程语言测试 技术沙龙
pl_lab_001的博客
07-13 221
活动回顾 | SIG-编程语言测试 技术沙龙 2021 年 7 月 12 日，编程语言技术社区系列活动第三场， 同时也是 SIG-编程语言测试的首次技术沙龙在上海紫竹园举办。 SIG - 编程语言测试是编程语言技术社区创建的第三个 SIG，核心成员主要来自大连理工大学，天津大学、西北大学、上海交通大学、南京大学、南方科技大学、新加坡国立大学、编程语言 Lab 等，另外还有来自加拿大滑铁卢大学、复旦大学、清华大学、华东师范大学、爱丁堡大学、山东大学、蚂蚁金服、平头哥等的 SIG 成员，他们都是行业与高校对编程
活动回顾 | SIG-可微编程技术沙龙
pl_lab_001的博客
08-16 183
2021 年 8 月 15 日，编程语言技术社区系列活动第四场，暨 SIG-可微编程 的首次技术沙龙在线上举办。 SIG-可微编程 由编程语言社区创建，其核心成员主要来自哈佛大学、北京大学、爱丁堡大学、滑铁卢大学、普度大学、编程语言 Lab 等，另外还有来自上海交通大学、女王大学和北京洛塔信息科技公司等的 SIG 成员，他们都是学术界与工业界对可微编程等程序微分技术有浓厚兴趣和相关使用、研究经验的专家和爱好者。 涂玏 博士首先通过综述的方式，概括了程序微分的基本数学原理和实现方法，通过对业内常见自动
【课程笔记】南大软件分析课程—16课时完整版
panhewu9919的博客
05-08 8476
【课程笔记】南大软件分析课程 南京大学李樾和谭添老师的软件分析视频课程。 推送门：南大课件 南大视频课程 北大课件 笔记列表更新中。。。 【课程笔记】南大软件分析课程1——课程介绍 【课程笔记】南大软件分析课程2——IR 【课程笔记】南大软件分析课程3——数据流分析应用 【课程笔记】南大软件分析课程4——数据流分析基础（课时5/6） 【课程笔记】南大软件分析课程5——过程间分析（课时7） 【课程笔记】南大软件分析课程6——指针分析介绍（课时8） 【课程笔记】南大软件分析课程7——指针分析基础（课时9/1
活动回顾 | SIG-DSL扩展 技术沙龙
pl_lab_001的博客
07-16 2478
2021 年 7 月 3 日，编程语言技术社区系列活动第二场，同时也是首届SIG-DSL扩展技术沙龙在杭州西湖边成功举办。 SIG-DSL扩展是编程语言技术社区创建的第二个 SIG，核心成员主要来自网易、蚂蚁金服、ThoughtWorks、民航第二研究所、武汉大学、编程语言 Lab 等，另外还有大量来自 itemis AG、荣耀、巴别时代、北大、加州理工、香港城市大学等的 SIG 成员，他们都是行业与高校内对 DSL 技术及工程化应用有丰富经验的专家和爱好者。 徐潇老师介绍了 eDSL 的概..
SIG-类型系统 技术沙龙预告
pl_lab_001的博客
11-23 1435
编程语言技术社区介绍 编程语言技术社区会由多个 SIG（Special Interest Gorup）与 WG（Work Group）组成，对应编程语言设计、实现、配套工具和生态链等相关技术，以及对应技术在场景下的应用探索，引导业界技术专家、高校科研教师为 Group Leader，形成良好的产学研闭环，吸引技术爱好者、学生到社区中成长。 更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。 SIG 介绍 SIG-类型系统旨在建设一个针对编程语言类型系统技术领域学习、分享、成长...
议题征集 | 欢迎报名 SIG-Runtime 技术沙龙
pl_lab_001的博客
02-16 991
SIG-Runtime 是由编程语言社区发起的 Runtime 技术相关的兴趣小组，我们计划在 2022 年 2 月 27 日举行一次技术沙龙，届时将会有来自高校的学者、企业的技术专家，与社区小伙伴一同分享、探讨 Runtime 相关的研究或实践。 同时，社区诚挚邀请您报名成为演讲嘉宾，分享您的想法、经验、解决方案！ SIG 介绍：https://gitee.com/HW-PLLab/community/tree/master/sigs/SIG-Runtime 沙龙简介 沙龙主题：SIG-Runtime .
活动回顾 | SIG-类型系统 技术沙龙
pl_lab_001的博客
12-01 842
2021 年 11 月 28 日，由编程语言社区举办的SIG-类型系统技术沙龙通过线上直播方式举办。 SIG-类型系统旨在建设一个针对编程语言类型系统技术领域学习、分享、成长的平台，吸引并聚集对类型系统相关核心技术有所研究、有所建树的专家、学者以及对学习类型系统相关技术拥有热情的学生们。当前已加入多名核心成员，分别代表企业技术专家、学术界研究学者、学生群体与用户群体等。 SIG 介绍：https://gitee.com/HW-PLLab/community/tree/master/sigs...
沙龙预告 | 自托管依赖类型语言的设计与实现
pl_lab_001的博客
03-21 807
本次技术沙龙联合贝叶斯茶思屋@Edinburgh，邀请了圣安德鲁斯大学计算机科学专业的准教授 Edwin Brady 为大家介绍 Idris，一种具有依赖类型的函数式编程语言。
官方招募 | 仓颉语言三方库社区建设全速启航，全球开发者、技术大神只等您！
最新发布
pl_lab_001的博客
08-20 406
社区用于汇集基于仓颉编程语言开发的开源三方库的主干仓，帮助开发者方便、快捷、高质量构建仓颉程序，欢迎您与社区共同成长。参与Cangjie-TPC建设，您将有机会成为仓颉核心三方库贡献者，您开发的三方库也将在百万级开发者中规模推广使用，新的机遇等您来挑战！按照指引即可申请建立属于您的社区三方库；为您认为官方库尚未收录/非常想要的三方库投票 - 选择您感兴趣的三方库，让更多小伙伴看到大家的共同呼声！为您认为高频/高效/实用的三方库投票 - 每一票都是对开发者辛勤工作的认可，更是开发者持续发热的动力所在。
编程语言技术沙龙预告｜第五期：Designing Safe, Flexible Linguistic Abstractions for Control Flow
pl_lab_001的博客
07-20 134
分享主题 /Title Designing Safe, Flexible Linguistic Abstractions for Control Flow 分享时间 /Time 2021-07-22(Thursday) 10:00-12:00(Beijing Time) 会议链接 /Zhumu ID Zhumu ID：800272207 会议链接：https://welink.zhumu.com/j/800272207 主讲人 /Speaker Yiz...
Kubernetes幕后：SIG-Node与CRI深度解析
SIG-Node是Kubernetes社区的一个重要组成部分，它专注于与节点（Node）相关的所有技术问题。尽管SIG-Node在社区活动中相对低调，但它的工作对于Kubernetes的稳定性和性能至关重要。Node是Kubernetes集群的基础单元，...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值