2021 年 8 月 15 日,编程语言技术社区系列活动第四场,暨 SIG-可微编程 的首次技术沙龙在线上举办。
SIG-可微编程 由编程语言社区创建,其核心成员主要来自哈佛大学、北京大学、爱丁堡大学、滑铁卢大学、普度大学、编程语言 Lab 等,另外还有来自上海交通大学、女王大学和北京洛塔信息科技公司等的 SIG 成员,他们都是学术界与工业界对可微编程等程序微分技术有浓厚兴趣和相关使用、研究经验的专家和爱好者。
涂玏 博士首先通过综述的方式,概括了程序微分的基本数学原理和实现方法,通过对业内常见自动微分的方案进行归纳,进一步引出了可微编程的概念。在可微编程的技术分享中,通过以 Swift for TensorFlow 作为案例分析,介绍了可微编程技术领域内的一些优秀的探索理念,最后总结了可微编程的技术挑战和发展方向。
刘金国 博士介绍了可逆计算的概念,通过对比可逆和非可逆计算阐述了可逆计算编程范式的基本思想。然后更进一步的剖析其开发的 NiLang 可逆编程语言,展示了可逆计算的一些 demo 用例。最后刘金国博士为大家分享了如何通过可逆计算的编程范式实现反向模式的自动微分,并对其性能与现有方案进行了对比和分析。