开源生态与软件供应链研讨会

✦  +

+

日程安排

开源生态与软件供应链研讨会

时间:    2024年3月12日(星期二)13:30 – 17:00

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

联系人: 陈碧欢(bhchen@fudan.edu.cn)

点击文末“阅读原文”或扫描下方二维码进入报名通道:

https://www.wjx.cn/vm/es1SNgR.aspx#

f3fd0d79511ad31a2fe03dc60b559c95.jpeg

论坛议程

Schedule

ad3b35a2ee11cabab8a1beb96167cdb5.jpeg

论坛嘉宾

Forum Guests

 5fcbb29db583d32bf339a0b42662fe49.jpeg

余跃

国防科技大学

国防科技大学副研究员,AITISA联盟算力网络推进组组长,OpenI启智开源平台运营中心主任,CCF开源发展委员会常务委员,主要从事开源软件、群体智能、云计算等相关领域的研究工作,在CHI、CSCW、TSE、ICSE、FSE、ASE等软件领域国际重要会议和期刊发表论文50余篇,获得ACM SIGSOFT杰出论文奖1次、IEEE TCSE杰出论文奖1次,作为技术负责人牵头开展我国新一代人工智能规划重点开源社区OpenI启智社区基础平台、算力标准与生态建设。

报告题目:中国算力网支撑AI开源生态

 98d3b5d31e510d354312e48f2aa04c0e.jpeg

陈森

天津大学

天津大学英才副教授,特聘研究员,博导。主要研究方向是软件供应链安全,聚焦漏洞和恶意代码检测与验证。发表CCF-A类论文50余篇,荣获5项CCF-A类顶级会议杰出论文奖(ICSE18, ICSE21, ASE22, ICSE23, ASE23),1项天津市科技进步一等奖。带领团队发现了谷歌、微软、腾讯、阿里、英国汇丰银行等国际知名企业的多个漏洞,漏洞与恶意代码检测与验证技术落地在国家电网、中汽、华为、装备等知名企业和国家关键场景。

报告题目:软件供应链代码安全检测与验证平台

 4016c8fe2931a11ca95ed0c30b32de4c.jpeg

郑耿

阿里云操作系统实验室技术专家

清华大学计算机系本硕,具有多年的基础设施领域研发经验。目前作为阿里云基础软件部门及国内操作系统根社区——龙蜥社区的软件供应链安全总架构师,负责软件供应链安全体系的设计和建设工作。

报告题目:龙蜥社区软件供应链安全体系建设之路

 fa6e0c77d28e75ce73a1ef8bd39ae472.png

张源

复旦大学

复旦大学计算机科学技术学院教授、博导,国家级青年人才,主要研究方向为软件安全,研究工作获得ACM CCS 2020最佳论文提名、USENIX Security 2022杰出论文奖,担任IEEE S&P、ACM CCS、USENIX Security、NDSS、USENIX ATC等会议程序委员会委员,部分研究成果应用于华为、阿里、OPPO、vivo等公司,获华为优秀技术成果奖、OPPO产学研优秀合作伙伴奖、vivo最佳安全技术合作伙伴奖。带领复旦白泽战队获得国内外顶尖安全攻防赛事20余次冠军,发现大量真实软硬件系统高危漏洞,获2021年国家信息安全漏洞库最具价值漏洞奖。

报告题目:开源代码漏洞治理

 35c3e0e71bd7c6b675d726c5a1fd36f2.png

吴苏晟

复旦大学

复旦大学计算机科学技术学院软工实验室博士生,于四川大学获得本科学位。研究方向为软件供应链安全,主要包括漏洞知识汇聚与增强、漏洞补丁迁移等。研究成果发表在ICSE、FSE等国际会议上。

报告题目:开源漏洞数据治理技术

 7c8d54c6a05d2ccb7b53e6d5e02a1f36.jpeg

李晓红

天津大学

博士,天津大学英才教授,博士生导师,天津市教学名师。现任天津大学智能与计算学部网络安全学院副院长,兼任全国高等学校计算机教育研究会常务理事、计算机学会高级会员、女工委委员、软件工程专委会委员、形式化专委会委员,曾任日本北陆科学技术大学院大学客座教授。主要从事安全软件工程、可信软件、网络空间安全以及人工智能安全领域的研究工作。主持和参与科技部“863”计划、国家重点研发计划项目、国家基金重点和面上、天津市重点等项目20余项,在包括TSE、TOSEM、FSE、ICSE、ASE、AAAI、IJCAI、ISSTA、IEEE S&P、TDSC等顶级期刊和顶级会议发表论文百余篇。论文“Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis”和“EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software”分别获得ACM SIGSOFT 2016年度杰出论文奖和ACM SIGSOFT 2023年度杰出论文奖。指导的博士论文“基于路径依赖关系的循环技术分析研究”获得2019年CCF优秀博士学位论文。与国家电网有限公司客户服务中心(State Grid Customer Service Center)成立“天津大学-国家电网网络安全联合实验室”,相关技术在护网行动中发挥了巨大的作用,取得了很好地经济效益和社会效益。成果“软件安全漏洞检测关键技术研究及应用”获得2020年度天津市科学技术进步一等奖。获国家发明专利授权21项,完成的国家自然科学重点项目获湖北省科技进步一等奖1项,天津市科技进步三等奖1项。完成专著《Interactions in Multiagent Systems》和《本体论工程及其应用》两部。主讲课程《数据结构》于2021年获批国家级一流本科课程(线上线下混合式课程)。作为指导教师获得第八届“互联网+”大学生创新创业大赛全国金奖和第十三届“挑战杯”大学生创业计划竞赛全国金奖。

 2e29cc77cd73f50cd68a1fbd2d2535af.jpeg

张迅晖

国防科技大学

国防科技大学计算机学院助理研究员,长期从事开源数据挖掘、开源激励机制、代码克隆检测等相关研究,学术成果发表在CHI、TSE、ESE、软件学报等国内外高水平期刊会议中,多次参与CHI、TSE、JSEP等会议期刊的审稿工作。

 e88a6ea2ce2cccc3e05679d0fa1d7fe9.png

彭鑫

复旦大学

复旦大学计算机科学技术学院副院长、教授。CCF杰出会员、软件工程专委会副主任、开源发展委员会常务委员,上海市计算机学会青工委主任,《Journal of Software: Evolution and Process》联合主编,《ACM Transactions on Software Engineering and Methodology》、《Empirical Software Engineering》、《Automated Software Engineering》、《软件学报》等期刊编委。2016年获得NASAC青年软件创新奖。主要研究方向包括软件智能化开发、云原生与智能化运维、泛在计算软件系统、智能网联汽车基础软件等。研究工作多次获得IEEE Transactions on Software Engineering年度最佳论文奖、ACM SIGSOFT/IEEE TCSE杰出论文奖等奖项。担任2022年与2023年CCF中国软件大会(ChinaSoft)组织委员会主席与程序委员会共同主席,以及ICSE、FSE、ASE、ISSTA、ICSME、SANER等会议程序委员会委员。带领复旦大学CodeWisdom研究团队开展软件智能化开发与运维以及软件供应链治理平台的研究,研究成果在多家大型企业进行了实践应用。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/536661.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

记一次生产慢sql索引优化及思考

记一次生产慢sql索引优化及思考 问题重现 夜黑风高的某一晚,突然收到一条运营后台数据库慢sql的报警,耗时竟然达到了60s。看了一下,还好不是很频繁,内心会更加从容排查问题,应该是特定条件下没有走到索引导致&#x…

OSCP靶场--Wheels

OSCP靶场–Wheels 考点(1.xpath注入 2.ssh爆破 3.相对路径绕过suid文件限制读取/etc/shadow 4./etc/shadow中root用户hash爆破提权) 1.nmap扫描 ┌──(root㉿kali)-[~/Desktop] └─# nmap -sV -sC -p- 192.168.155.202 --min-rate 2500 Starting Nmap 7.92 ( https://nmap…

JAVA初阶初阶结构练习(栈)

1 基础练习 答案&#xff1a;C 答案&#xff1a;B 2.打印栈 // 递归方式 void printList(Node head){ if(null ! head){ printList(head.next); System.out.print(head.val " "); } } // 循环方式 void printList(Node head){ if(null head){ return; } Stack<…

使用Nginx进行负载均衡

什么是负载均衡 Nginx是一个高性能的开源反向代理服务器&#xff0c;也可以用作负载均衡器。通过Nginx的负载均衡功能&#xff0c;可以将流量分发到多台后端服务器上&#xff0c;实现负载均衡&#xff0c;提高系统的性能、可用性和稳定性。 如下图所示&#xff1a; Nginx负…

【PHP + 代码审计】文件包含

&#x1f36c; 博主介绍&#x1f468;‍&#x1f393; 博主介绍&#xff1a;大家好&#xff0c;我是 hacker-routing &#xff0c;很高兴认识大家~ ✨主攻领域&#xff1a;【渗透领域】【应急响应】 【Java、PHP】 【VulnHub靶场复现】【面试分析】 &#x1f389;点赞➕评论➕收…

StarRocks实战——云览科技存算分离实践

目录 背景 一、平台现状&痛点 1.1 使用组件多&#xff0c;维护成本高 1.2 链路冗长&#xff0c;数据时效性难以保证 1.3 服务稳定性不足 二、StarRocks 存算分离调研 2.1 性能对比 2.2 易用性 2.3 存储成本 三、StarRocks 存算分离实践 3.1 查询优化 3.1.1 物化…

【QT+QGIS跨平台编译】之七十三:【QGIS_Analysis跨平台编译】—【错误处理:字符串错误】

文章目录 一、字符串错误二、处理方法三、涉及到的文件一、字符串错误 常量中有换行符错误:(也有const char * 到 LPCWSTR 转换的错误) 二、处理方法 需要把对应的文档用记事本打开,另存为 “带有BOM的UTF-8” 三、涉及到的文件 涉及到的文件有: src\analysis\processin…

数据结构:哈希表

1.散列表的概念: 根据要存储的数据记录的关键字值计算出应该存储的位置 基本思想:记录的存储位置与关键字之间存在对应关系 Loc(i)H(keyi)-----等号右边就称之为hash函数.等号左边就是对应的存储位置; 2.哈希表的优缺点 这个就是散列表的特点:查找效率高,空间利用率低;&am…

MATLAB中fseek函数用法

目录 语法 说明 示例 移动到文件中的新位置 fseek函数的功能是移至文件中的指定位置。 语法 fseek(fileID, offset, origin) status fseek(___) 说明 fseek(fileID, offset, origin) 在指定文件中设置文件位置指示符相对于 origin 的 offset 字节数。 当操作成功时&…

labview中6种机械动作的区别

1.单击时转换&#xff1a;单击时转换&#xff0c;需要手动转换或者赋值回复原来状态&#xff1b; 2.释放时转换&#xff1a;释放时时转换&#xff0c;需要手动转换或者赋值回复原来状态&#xff1b; 3.单击时转换保持到鼠标释放&#xff1a;触发两次&#xff0c;自动恢复原来状…

学习Vue(1)环境搭建与运行一个vue项目

下载node.js 下载地址&#xff1a;下载 | Node.js 中文网 安装 双击下载好的安装文件&#xff0c;选择安装路径即可。 安装完成&#xff0c;输入命令&#xff1a;nodel -v&#xff0c;查看版本&#xff0c;正常显示版本即安装成功。 自定义全局安装路径和缓存路径&#xff0…

OpenCV 配置 VS 2022并识别人脸框出

文章目录 前言一、什么是OpenCV&#xff1f;二、OpenCV的安装和配置1. OpenCV 下载2. 安装3. 配置环境变量4.vs2022环境配置 三、OpenCV识别图片人脸四、总结 前言 在计算机视觉领域&#xff0c;人脸识别是一项具有挑战性且备受关注的任务。借助于开源的计算机视觉库OpenCV&am…