活动预告丨CodeWisdom软件供应链系列学术报告：第9期（谢肖飞 新加坡管理大学）...

于 2024-05-22 10:14:15 发布
阅读量45 收藏
点赞数
原文链接：https://mp.weixin.qq.com/s?__biz=MzU4NDU4OTM4OQ==&mid=2247508980&idx=1&sn=3fd3b8969f598668553fc8bf384f723c&chksm=fc208d31ea08e261285b14a3b9b46bb513c9c8cf3436ca94cd6d7f80dacc653460de267d2308&scene=126&sessionid=0
版权

564445664cdd2b7a6cfc7d95dac5f903.png

谢肖飞

c06dc783d9d64dfda31268165cf6d2a7.png

内容简介

06efa5a3e3255a43cf4ff1b225592010.png

题目

Non-Termination Detection in Real-World Programs

摘要

Ensuring the correctness and safety of programs, especially in preventing issues like denial-of-service attacks, necessitates the crucial task of detecting non-termination. Despite years of research in termination analysis, the methods currently available still face significant limitations. Existing tools and techniques for termination checking have been developed, showing effectiveness in established benchmarks. Yet, their effectiveness in uncovering non-termination bugs in real-world programs remains untested. In this talk, I will first present an empirical study on characterizing non-termination bugs in real-world open-source software projects. We create a new benchmark set, designed to assess the effectiveness of existing tools in detecting real-world non-termination issues. Furthermore, I will introduce a practical and effective method specifically tailored to discover non-termination bugs in real-world programs.

报告人

12ca71543a90e45e1dcb829cbf0dc774.png

谢肖飞，新加坡管理大学助理教授，曾任新加坡南洋理工大学校长博士后。2018年于天津大学获得博士学位，并获得CCF 优秀博士论文奖以及ACM 天津区优秀博士论文奖。目前致力于程序分析、软件测试以及人工智能安全测试等研究领域。其研究成果已经发表于人工智能、软件工程以及安全领域等顶级会议与期刊，例如FSE, ICSE, TSE, TOSEM, ICLR, ICML, NeurIPS, ICCV, CCS, TDSC and TIFS，其中四次获得ACM SIGSOFT 杰出论文奖 （FSE’16, ASE’19, ISSTA’22,  ASE'23）。

999e69425231d75b16a4dcf8a8ef1eab.png

时间安排

b8b616607de2191c0c4328bb8dc09ca9.png

❖

时间：2024/05/31（周五） 10:00-11:30

❖

地点：复旦大学江湾校区交叉二号学科楼A2003

237fe6d9d9bf8f3cb4f04b57840fc732.png

04d75a4534cd9db6e93889e8626b34c2.png

40afad4dbf53661bd00d55d29d3aa2f1.png

pengxin_ce
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
手球馆电气动力10.31-打图_t3.dwg
11-10
手球馆电气动力10.31-打图_t3.dwg
论文研究-基于FT-IR的现场指纹显现及预处理算法研究 .pdf
08-16
基于FT-IR的现场指纹显现及预处理算法研究，肖飞，，现场指纹作为刑侦领域认定犯罪嫌疑人的一项重要证据，具有极其重要的研究价值。近年来活体指纹自动识别技术已取得飞跃性进展，但
智能化软件开发微访谈·第二十七期 程序分析
pengxin_ce的博客
09-15 258
CodeWisdom程序分析微访谈 · 活动预告背景介绍程序分析通过自动化手段对程序的功能正确性或各种非功能属性进行分析，从而发现各种功能和非功能性缺陷或者在受限条件下证明程序的正确性。程序分析在软件质量保障中扮演着重要的角色，特别是在一些具有高安全性和高可靠性要求的软件系统中。此外，程序分析作为一种基础性技术也被广泛应用于各种软件测试和软件维护任务中。那么，程序分析技术包含哪些内容？经历了什么样...
智能化软件开发微访谈·第二十七期“程序分析”讨论汇编
pengxin_ce的博客
09-22 413
CodeWisdom“智能化软件开发沙龙是由CodeWisdom团队组织的围绕智能化软件开发、数据驱动的软件开发质量与效能分析、云原生与智能化运维等相关话题开展的线上沙龙，通过微信群访谈交流等线上交流方式将学术界与工业界专家学者汇聚起来，共同分享前沿研究进展与业界实践，共同探讨未来技术发展方向。”程序分析智能化软件开发微访谈·第二十七期背景介绍程序分析通过自动化手段对程序的功能正确性或各种非功能...
天津大学计算机学院博士生李楠,十占其三！中国计算机学会优秀博士学位论文颁奖...
weixin_39860201的博客
07-02 491
2020年1月11日，中国计算机学会(CCF)在北京金隅喜来登酒店举行“2019CCF颁奖大会”，会上颁发了2019年度包括CCF优秀博士学位论文奖在内的8个奖项。CCF优秀博士学位论文奖设立于2006年，每年表彰不超过10位在计算机科学与技术及其相关领域的基础理论或应用基础研究方面有重要突破，或在关键技术和应用技术方面有重要创新的中国计算机领域博士学位论文的作者。为了鼓励研究人员将高质量研究成果...
李云赫天津大学计算机,祝贺创业谷涌现全国自强之星，同济创业谷，陪伴这个世上最有梦想的人...
weixin_36182372的博客
06-23 279
原标题：祝贺创业谷涌现全国自强之星，同济创业谷，陪伴这个世上最有梦想的人 中国青年报 (2018-05-14 05版)新鲜出炉 2018年中国大学生自强之星——每人获得“中国大学生新东方自强奖学金”5000元，恭喜创业谷的加依娜·扎瓦提别克喜获中国自强之星的称号！以下为中国大学生自强之星的名单！北京郭楠楠 北京电子科技学院浦绍韬 北京科技大学魏智武 中国人民大学崔超越 首都经济贸易大学天津王泽涵 ...
第一轮通知 | 2022年中国生物物理学会肠道菌群分会年会暨“崂山论肠菌”学术论坛...
刘永鑫的博客——宏基因组公众号
01-21 383
2022年中国生物物理学会肠道菌群分会年会暨“崂山论肠菌”学术论坛 第一轮通知为促进肠道菌群及相关领域科研工作者的合作和交流，由中国生物物理学会肠道菌群分会主办，中国微生物学会普通微...
清华团队研发，首款国产电力电子仿真软件来啦~已捐赠哈工大、海工大、清华使用！...
张巧龙的博客
10-27 1618
点击上方“大鱼机器人”，选择“置顶/星标公众号”福利干货，第一时间送达！9月22日下午，清华大学电机系“大容量电力电子与新型电力传输”研究团队负责人赵争鸣教授代表研究团队向电机系捐赠了团...
java+SSM+mysql黄冈旅游景点服务网站16627-计算机毕业设计项目选题推荐（赠源码）
2301_79169090的博客
05-22 1725
黄冈旅游景点服务网站主要功能模块包括景点新闻、新闻分类、购物管理、当地特产、分类列表、订单列表、、景点信息、景点酒店、酒店订单、旅游攻略，采取面对对象的开发模式进行软件的开发和硬体的架设，能很好的满足实际使用的需求，完善了对应的软体架设以及程序编码的工作，采取Mysql作为后台数据的主要存储单元，采用SSM框架、Java技术、Ajax技术进行业务系统的编码及其开发，实现了本系统的全部功能。
五年级语文上册 肖飞买药教案 教科版-教科版小学五年级上册语文教案.doc
10-23
五年级语文上册 肖飞买药教案 教科版-教科版小学五年级上册语文教案.doc
GPS无线定位终端硬件的实现.pdf
09-08
该系统的晶振的无源晶振扩展接口有一个加速接口和系统总线接口，每一个接口都是张祥军黄虎田鑫肖飞应都理工大学信息科学与技术学院四川成都。 在该系统中，操作系统的设计是基于八微处理器的，开发板硬件资源基于...
论文研究-使用Jury准则对时域有限差分算法进行稳定性分析 .pdf
08-15
使用Jury准则对时域有限差分算法进行稳定性分析，肖飞，唐小宏，稳定性分析是时域有限差分算法应用中重要的内容。然而，在分析过程中要找出对应特征多项式的所有的根是相当困难的，尤其是对于高
一个基于C语言的简易学生管理系统.zip
06-15
C语言是一种广泛使用的编程语言，它具有高效、灵活、可移植性强等特点，被广泛应用于操作系统、嵌入式系统、数据库、编译器等领域的开发。C语言的基本语法包括变量、数据类型、运算符、控制结构（如if语句、循环语句等）、函数、指针等。在编写C程序时，需要注意变量的声明和定义、指针的使用、内存的分配与释放等问题。C语言中常用的数据结构包括： 1. 数组：一种存储同类型数据的结构，可以进行索引访问和修改。 2. 链表：一种存储不同类型数据的结构，每个节点包含数据和指向下一个节点的指针。 3. 栈：一种后进先出（LIFO）的数据结构，可以通过压入（push）和弹出（pop）操作进行数据的存储和取出。 4. 队列：一种先进先出（FIFO）的数据结构，可以通过入队（enqueue）和出队（dequeue）操作进行数据的存储和取出。 5. 树：一种存储具有父子关系的数据结构，可以通过中序遍历、前序遍历和后序遍历等方式进行数据的访问和修改。 6. 图：一种存储具有节点和边关系的数据结构，可以通过广度优先搜索、深度优先搜索等方式进行数据的访问和修改。 这些数据结构在C语言中都有相应的实现方式，可以应用于各种不同的场景。C语言中的各种数据结构都有其优缺点，下面列举一些常见的数据结构的优缺点： 数组： 优点：访问和修改元素的速度非常快，适用于需要频繁读取和修改数据的场合。 缺点：数组的长度是固定的，不适合存储大小不固定的动态数据，另外数组在内存中是连续分配的，当数组较大时可能会导致内存碎片化。 链表： 优点：可以方便地插入和删除元素，适用于需要频繁插入和删除数据的场合。 缺点：访问和修改元素的速度相对较慢，因为需要遍历链表找到指定的节点。 栈： 优点：后进先出（LIFO）的特性使得栈在处理递归和括号匹配等问题时非常方便。 缺点：栈的空间有限，当数据量较大时可能会导致栈溢出。 队列： 优点：先进先出（FIFO）的特性使得
数通系列ospf学习思维导图
06-15
数通系列ospf学习思维导图
基于UDP的聊天软件，纯C语言编写（使用时记得修改IP地址）.zip
06-15
C语言是一种广泛使用的编程语言，它具有高效、灵活、可移植性强等特点，被广泛应用于操作系统、嵌入式系统、数据库、编译器等领域的开发。C语言的基本语法包括变量、数据类型、运算符、控制结构（如if语句、循环语句等）、函数、指针等。下面详细介绍C语言的基本概念和语法。 1. 变量和数据类型 在C语言中，变量用于存储数据，数据类型用于定义变量的类型和范围。C语言支持多种数据类型，包括基本数据类型（如int、float、char等）和复合数据类型（如结构体、联合等）。 2. 运算符 C语言中常用的运算符包括算术运算符（如+、、、/等）、关系运算符（如==、!=、、=、<、<=等）、逻辑运算符（如&&、||、！等）。此外，还有位运算符（如&、|、^等）和指针运算符（如、等）。 3. 控制结构 C语言中常用的控制结构包括if语句、循环语句（如for、while等）和switch语句。通过这些控制结构，可以实现程序的分支、循环和多路选择等功能。 4. 函数 函数是C语言中用于封装代码的单元，可以实现代码的复用和模块化。C语言中定义函数使用关键字“void”或返回值类型（如int、float等），并通过“{”和“}”括起来的代码块来实现函数的功能。 5. 指针 指针是C语言中用于存储变量地址的变量。通过指针，可以实现对内存的间接访问和修改。C语言中定义指针使用星号（）符号，指向数组、字符串和结构体等数据结构时，还需要注意数组名和字符串常量的特殊性质。 6. 数组和字符串 数组是C语言中用于存储同类型数据的结构，可以通过索引访问和修改数组中的元素。字符串是C语言中用于存储文本数据的特殊类型，通常以字符串常量的形式出现，用双引号（"..."）括起来，末尾自动添加'\0'字符。 7. 结构体和联合 结构体和联合是C语言中用于存储不同类型数据的复合数据类型。结构体由多个成员组成，每个成员可以是不同的数据类型；联合由多个变量组成，它们共用同一块内存空间。通过结构体和联合，可以实现数据的封装和抽象。 8. 文件操作 C语言中通过文件操作函数（如fopen、fclose、fread、fwrite等）实现对文件的读写操作。文件操作函数通常返回文件指针，用于表示打开的文件。通过文件指针，可以进行文件的定位、读写等操作。 总之，C语言是一种功能强大、灵活高效的编程语言，广泛应用于各种领域。掌握C语言的基本语法和数据结构，可以为编程学习和实践打下坚实的基础。
VBA复制指定路径文件待粘贴【可用于自动发微信文件】.xlsm
06-15
VBA复制指定路径文件待粘贴【可用于自动发微信文件】.xlsm 有时候我们需要复制指定路径的文件，然后到指定的位置或软件进行粘贴 所有我们可根据指定的路径文件进行复制，待粘贴
基于QT、ARM开发板、Linux系统并对接百度AI的停车管理系统.zip
06-15
该资源内项目源码是个人的课程设计、毕业设计，代码都测试ok，都是运行成功后才上传资源，答辩评审平均分达到96分，放心下载使用！ ## 项目备注 1、该资源内项目代码都经过测试运行成功，功能ok的情况下才上传的，请放心下载使用！ 2、本项目适合计算机相关专业(如计科、人工智能、通信工程、自动化、电子信息等)的在校学生、老师或者企业员工下载学习，也适合小白学习进阶，当然也可作为毕设项目、课程设计、作业、项目初期立项演示等。 3、如果基础还行，也可在此代码基础上进行修改，以实现其他功能，也可用于毕设、课设、作业等。 下载后请首先打开README.md文件（如有），仅供学习参考, 切勿用于商业用途。 该资源内项目源码是个人的课程设计，代码都测试ok，都是运行成功后才上传资源，答辩评审平均分达到96分，放心下载使用！ ## 项目备注 1、该资源内项目代码都经过测试运行成功，功能ok的情况下才上传的，请放心下载使用！ 2、本项目适合计算机相关专业(如计科、人工智能、通信工程、自动化、电子信息等)的在校学生、老师或者企业员工下载学习，也适合小白学习进阶，当然也可作为毕设项目、课程设计、作业、项目初期立项演示等。 3、如果基础还行，也可在此代码基础上进行修改，以实现其他功能，也可用于毕设、课设、作业等。 下载后请首先打开README.md文件（如有），仅供学习参考, 切勿用于商业用途。
上海理工大学C语言课程设计作业：基于LSTM模型的头条号热词分析.zip
最新发布
06-15
C语言是一种广泛使用的编程语言，它具有高效、灵活、可移植性强等特点，被广泛应用于操作系统、嵌入式系统、数据库、编译器等领域的开发。C语言的基本语法包括变量、数据类型、运算符、控制结构（如if语句、循环语句等）、函数、指针等。下面详细介绍C语言的基本概念和语法。 1. 变量和数据类型 在C语言中，变量用于存储数据，数据类型用于定义变量的类型和范围。C语言支持多种数据类型，包括基本数据类型（如int、float、char等）和复合数据类型（如结构体、联合等）。 2. 运算符 C语言中常用的运算符包括算术运算符（如+、、、/等）、关系运算符（如==、!=、、=、<、<=等）、逻辑运算符（如&&、||、！等）。此外，还有位运算符（如&、|、^等）和指针运算符（如、等）。 3. 控制结构 C语言中常用的控制结构包括if语句、循环语句（如for、while等）和switch语句。通过这些控制结构，可以实现程序的分支、循环和多路选择等功能。 4. 函数 函数是C语言中用于封装代码的单元，可以实现代码的复用和模块化。C语言中定义函数使用关键字“void”或返回值类型（如int、float等），并通过“{”和“}”括起来的代码块来实现函数的功能。 5. 指针 指针是C语言中用于存储变量地址的变量。通过指针，可以实现对内存的间接访问和修改。C语言中定义指针使用星号（）符号，指向数组、字符串和结构体等数据结构时，还需要注意数组名和字符串常量的特殊性质。 6. 数组和字符串 数组是C语言中用于存储同类型数据的结构，可以通过索引访问和修改数组中的元素。字符串是C语言中用于存储文本数据的特殊类型，通常以字符串常量的形式出现，用双引号（"..."）括起来，末尾自动添加'\0'字符。 7. 结构体和联合 结构体和联合是C语言中用于存储不同类型数据的复合数据类型。结构体由多个成员组成，每个成员可以是不同的数据类型；联合由多个变量组成，它们共用同一块内存空间。通过结构体和联合，可以实现数据的封装和抽象。 8. 文件操作 C语言中通过文件操作函数（如fopen、fclose、fread、fwrite等）实现对文件的读写操作。文件操作函数通常返回文件指针，用于表示打开的文件。通过文件指针，可以进行文件的定位、读写等操作。 总之，C语言是一种功能强大、灵活高效的编程语言，广泛应用于各种领域。掌握C语言的基本语法和数据结构，可以为编程学习和实践打下坚实的基础。
写一个springboot登录界面
02-21
好的，我可以帮助您写一个简单的 Spring Boot 登录界面。 首先，您需要创建一个 Spring Boot 项目，并在项目中引入必要的依赖，如 spring-boot-starter-web。 然后，您可以编写一个控制器类，实现登录功能。代码如下： ``` @Controller public class LoginController { @GetMapping("/login") public String login() { return "login"; } @PostMapping("/login") public String doLogin(@RequestParam String username, @RequestParam String password, Model model) { // 省略登录验证的代码 if (username.equals("admin") && password.equals("123456")) { return "redirect:/index"; } model.addAttribute("message", "用户名或密码错误"); return "login"; } } ``` 接着，您可以编写一个登录界面的 HTML 模板，名称为 `login.html`，代码如下： ``` <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8"> <title>登录</title> </head> <body> <form action="/login" method="post"> <div> 用户名：<input type="text" name="username"> </div> <div> 密码：<input type="password" name="password"> </div> <div> <input type="submit" value="登录"> </div> </form> <div th:if="${message}"> <p th:text="${message}"></p> </div> </body> </html> ``` 最后，您可以在项目启动后通过浏览器访问 http://localhost:8080/login，就可以看到一个登录界面了。 这是一个简单的 Spring Boot 登录界面示例，您可以根据自

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值