活动预告 | CodeWisdom 软件智能化开发与运维学术报告系列第5期（高祥北京航空航天大学）...

高祥

内容简介

题目

Improve the Correctness of Auto-Generated Programs

摘要

Program synthesis/generation attempts to infer a program according to a given specification. First, the specification can be demonstrated using concrete examples. However, the examples, which are usually represented in a form of input-output relations, can only specify part of the behaviors of the expected program. Therefore, test-driven program synthesis is prone to synthesize overfitting programs. Second, the specification can be given in the form of natural language descriptions. Large language models such as Codex, have shown the capability to produce code according to descriptions. However, language models lack awareness of program semantics, resulting in many incorrect programs.

I will present a series of approaches to improve the correctness of programs that are automatically generated by program synthesis/generation techniques. Our approaches are united by the idea of using program analysis to strengthen the specifications demonstrated via examples or descriptions.

报告人

高祥，北京航空航天大学副教授，新加坡国立大学获得博士学位。主要研究方向为程序分析、软件安全与程序合成。在CCF-A类软件工程和程序语言国际顶级期刊和会议（TOSEM、PLDI、OOPSLA、ICSE、ASE、ISSTA等）发表论文10余篇。获得新加坡国立大学研究成就奖，SIGSOFT杰出原型系统奖。所开发的技术已成功应用于微软智能IDE Visual Studio中，有效帮助开发人员提升开发效率。在软件工程顶级期刊TSE，TOSEM，ESE，TDSC等担任审稿人, JSS（Journal of Systems and Software）Open Science Board。

时间安排

❖

时间：2022/11/14（周一）

21:30-23:00

❖

地点：腾讯会议（397-865-610）

活动预告 | CodeWisdom 软件智能化开发与运维学术报告系列第5期（高祥北京航空航天大学）...相关推荐

活动预告｜CoodeWisdom 软件智能化开发与运维学术报告系列第4期（陈鹏飞中山大学）...
陈鹏飞内容简介题目面向在线系统的自适应可迁移故障检测.预测及归因方法研究摘要大规模在线系统在运行过程中由于内部或者外部的因素会出现性能下降.宕机等故障.为了及时发现和恢复故障, 此类系统会采 ...
数据驱动的软件智能化开发| ChinaOSC
ChinaOSC 2022数据驱动的软件智能化开发技术论坛将于8月21日13:00-17:00在陕西省西安高新国际会议中心召开.本论坛邀请了多位来自学术界和工业界的专家进行技术报告,同时围绕相关问题开 ...
活动预告 | 智能化软件开发微访谈·第十九期暨2022新年特辑：软件智能化开发：进展与挑战...
CodeWisdom 智能化软件开发沙龙是复旦大学CodeWisdom团队参与组织的专注于代码大数据与智能化软件开发的学术和技术沙龙,面向相关领域的学术界研究者和工业界实践者,通过各种线上和线下交流活 ...
专题导读：数据驱动的软件智能化开发
点击上方蓝字关注我们以开源软件为代表的互联网软件开发呈现了边界开放.群体分散.交付频繁.知识复杂等特征.与此同时,企业软件开发也逐渐转向以开发运维一体化(DevOps)为特征的云化开发平台.这种网络 ...
智能化软件开发微访谈·第十九期暨2022新年特辑：软件智能化开发：进展与挑战...
CodeWisdom 智能化软件开发沙龙是复旦大学CodeWisdom团队参与组织的专注于代码大数据与智能化软件开发的学术和技术沙龙,面向相关领域的学术界研究者和工业界实践者,通过各种线上和线下交流活 ...
百度王一男： DevOps 的前提是拆掉业务-开发-测试-运维中间的三面墙
这是一个创建于 375 天前的主题,其中的信息可能已经有所发展或是发生改变. 由数人云.优维科技.中生代社区联合发起的系列 Meetup < DevOps&SRE 超越传统运维之道&g ...
万人云峰会DevSecOps论坛：数字化浪潮下，安全开发与运维该如何破局？
一段代码便可亏损数亿美元? 2012年,骑士资本的工程师仅仅因为服务器升级出现纰漏,导致了骑士资本在不到一个小时的交易时间里损失了4.6亿美元.并且有统计表明,程序员平均每写1000行代码就出现一个缺 ...
龙智携手Atlassian亮相GOPS全球运维大会，助力企业高效开发与运维
龙智亮相GOPS大会 11月18日-19日,由高效运维社区(GreatOPS)和开放运维联盟(OOPSA).RPA时代社区联合主办的GOPS全球运维大会于上海中庚聚龙酒店落下帷幕. 全球运维大会是国内 ...
Shell 开发在运维中的经验总结
点击上方"方志朋",选择"设为星标" 回复"666"获取新整理的面试资料无论是系统运维,还是应用运维,均可分为"纯手工" ...

活动预告 | CodeWisdom 软件智能化开发与运维学术报告系列第5期（高祥北京航空航天大学）...

活动预告 | CodeWisdom 软件智能化开发与运维学术报告系列第5期（高祥北京航空航天大学）...相关推荐

最新文章

热门文章

活动预告 | CodeWisdom 软件智能化开发与运维学术报告系列 第5期（高祥 北京航空航天大学）...

活动预告 | CodeWisdom 软件智能化开发与运维学术报告系列 第5期（高祥 北京航空航天大学）...相关推荐

最新文章

热门文章

活动预告 | CodeWisdom 软件智能化开发与运维学术报告系列第5期（高祥北京航空航天大学）...

活动预告 | CodeWisdom 软件智能化开发与运维学术报告系列第5期（高祥北京航空航天大学）...相关推荐