USTC Lambda

Notice

Since the leave of the initial organizer (me), this informal reading group is basically in a state of being defunct. Former presenters are now PhD students in UPenn, CMU, UW, UT Austin, USTC and also a research engineer in Alibaba. If you are a current USTC student who stumbled into this page, and are interested in reviving this glory non-tradition, please contact me at izgzhen @ the mail service domain by google.
- Zhen

简介

欢迎你，元黑客！

我们由对计算机系统、编程语言、函数式编程和程序验证领域的话题感兴趣的人组成，我们不是一个研究组；相反，我们鼓励具有任何背景的、对相关话题感兴趣的人参与我们的活动。我们的主要活动地点在中国合肥的中国科学技术大学，当然并不限于本校人员参加。

如何参与

你可以来参与我们讲座/讨论会，加入我们的 QQ 群（451518167，请注明足够的验证信息）。活动时间会在这个网页和 QQ 群中及时公布。

你也可以作为主讲人来主动分享您的知识和经历，告诉我们您的想法就好了。如果您不确定什么时候比较好，我们可以帮您选择时间。讲座的时间从 40 分钟到 10 分钟都可以。

历史

2016.11.22

地点：合肥，中国科大西校区，科技实验楼西侧六楼 608 会议室
时间：2016 年 11 月 22 日（周二）晚 6 : 00
主题：Coq Workshop
讲座1: Coq 源代码简介与 CertiKOS 项目简介 (Slides) by @ruoz
讲座2: Interactive Separation Logic Tutorial with Coq and Iris by @izgzhen

2016.5.18

地点：合肥，中国科大西校区，科技实验楼西侧六楼 608 会议室
时间：2016 年 5 月 18 日（周三）晚 9 : 00
主题：Rust 和 Servo
讲座1: Rust 语言简介 by @izgzhen
讲座2: Servo 浏览器引擎项目简介 by @izgzhen
Slides (PDF, HTML)
照片：

On References and Mutability

2016.4.6

地点：合肥，中国科大西校区，科技实验楼西侧六楼 608 会议室
时间：2016 年 4 月 6 日（周三）晚 9 : 40
主题：Scala 语言
讲座1：1小时精通 Scala 语言及工程实践分享 by @yxonic, Slides 下载
照片:

到场的社会各界人士（雾）

Scala Class 层级结构

<:

2016.3

地点：合肥，中国科大西校区，科技实验楼西侧六楼 608 会议室
时间：2016 年 3 月 2 日（周三）晚 9 点
主题：形式化验证（Formal Verification）
讲座1：Coq 与形式化验证介绍 by @ruoz，相关资源：files.zip
讲座2：一些 Coq 实践经验 by lys （感谢lys的场外援助，感谢微软的电话费）
照片:

FTL 建模假设

@rouz 介绍 Coq 的类型系统

CoqIDE

2015.12

地点：合肥，中国科大西校区，三教3A209教室
时间：2015 年 12 月 16（周三）晚 9 点
主题：垃圾收集（Garbage Collection）技术
讲座1：垃圾收集的数据结构 by @izgzhen，相关资源：文字版, 参考书：The Garbage Collection Handbook
讲座2：JVM 垃圾收集 by @yangsiran, 相关资源：Tuning Java Garbage Collection for Spark Applications

USTC Lambda Group