2014年4月21日至22日，清华软件日在清华大学FIT楼多功能厅举行。本次活动由清华大学软件学院主办，中法联合实验室LIAMA协办。来自清华大学信息学院各院系和中科院、北京大学、国防科技大学等北京地区高校近百名学生和科研工作者参加了活动。

本次TSD（Tsinghua Software Day，http://sts.thss.tsinghua.edu.cn/tsd2014/）主题是应用、验证和技术对软件计算的影响。清华大学信息科学与技术学院院长孙家广院士首先就本次活动主题和清华大学在该领域的工作，特别是自主研发的可信嵌入式软件建模与验证工具Tsmart做了全面阐述，并给出了该领域的未来发展方向。

来自美国哥伦比亚大学的Vijay Saraswat教授关于并行约束计算做主题报告，针对并行计算领域的新难题，就约束系统、约束计算等技术进行了深入阐述；美国哈佛大学的Greg Morrisett教授以最近获得广泛关注的OpenSSL“心血”（Heartbleed）漏洞开讲，介绍了C/C++语言在现代软件开发中的缺点、策略检验的重要性及他们在LLVM架构中的针对软件安全的举措等内容；来自澳大利亚悉尼科技大学的清华杰出校友应明生教授，从数学和软件交叉领域的角度，给大家阐述了量子计算机、量子计算的基本概念，并围绕量子计算机中的数据叠加、程序叠加介绍了最新研究情况；来自英国牛津大学的华人教授Luke Ong，向大家说明了软件模型检测的新领域高阶程序的最新研究成果。

在软件日的午间茶歇期间，清华大学软件学院软件系统与工程所的Beagle团队还错软件日的机会向大家展示了Tsmart的最新研究成果：Beagle验证引擎1.0。Beagle是一款短小精悍的并行系统自动化验证引擎，免费并且开源（http://sts.thss.tsinghua.edu.cn/beagle/），它提出了名为ELTS的符号变迁系统，并使用BDD和SAT做为主要验证手段。

在四位教授报告期间，很多老师和同学围绕报告内容提出了各式问题，整天的报告结束后，软件日组织方又组织了一次别开生面的自由交流环节，四位教授与现场学生就学术问题、科研心得、治学态度等进行了面对面的对话。教授们严谨的科学作风、宽容平和的治学态度、幽默风趣的语言表达、专业独特的科学视野赢得了同学们的高度评价。

在学生报告专场，来自清华大学、中科院软件所的多位研究生介绍了自己在模型检测、定理证明和实数理论等方向最新的研究成果。本场活动邀请四位教授为评委，针对学生报告的内容和质量进行打分，并评出了最佳报告人。

清华软件日（简称TSD，Tsinghua software Day）是2011年软件学院为庆祝清华百年校庆所举办的学术研讨活动，今年已经是第四次举办。每次TSD围绕软件理论与系统中的一个前沿主题，邀请世界知名学者做专题报告，并与学生开展面对面的互动交流。清华软件日正在成为软件理论与系统领域国际学术交流的平台。