2019年阅读组会

发布时间：2019-11-09 浏览次数：280

时间	主讲人	副讲人	论文题目	附件	会议/期刊	导读链接
2019/11/16	胡明哲	郭兴	A²I: Abstract² Interpretation		‍POPL19‍
2019/11/09	邓皓巍	李权熹	Hoare Logic for Quantum Programs	slides.pptx	arXiv09
2019/10/08	张宇翔	胡明哲	Generating Piecewise-Regular Code from Irregular Structures	slides.pptx	PLDI19
2019/09/30	黄奕桐	郭兴	Julia: Dynamism and Performance Reconciled by Design	Julia.pptx	OOPSLA18
2019/09/23	郭兴	张宇翔	Compiling KB-Sized Machine Learning Models to Tiny IoT Devices	SeeDot.pptx Video	PLDI19	编译KB级机器学习模型到小型物联网设备
2019/09/15	李权熹邓皓巍		ProjectQ与ScaffCC的对比分析 ScaffCC: A Framework for Compilation and Analysis of Quantum Computing Programs ProjectQ: An Open Source Software Framework for Quantum Computing	ProjectQvsScaffCC.pptx	Quantum18 CF14


2019/09/09	胡明哲	黄奕桐	A^2I: Abstract^2 Interpretation		POPL19