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

✦  +

+

日程安排

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

时间:    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.mzph.cn/news/742843.shtml

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

相关文章

2024 前端javaScript+ES6

JavaScript 基础 1、基本数据类型: 1.1 基本数据类型: Number(数值):表示数字,包括整数和浮点数。例如:5、3.14。 String(字符串):表示文本数据&#xff…

视觉图像处理和FPGA实现第三次作业--实现一个加法器模块

一、adder模块 module adder(ina, inb, outa); input [5:0] ina ; input [5:0] inb ; output [6:0] outa ;assign outa ina inb; endmodule二、add模块 module add(a,b,c,d,e); input [5:0] a ; input [5:0] b ; input [5:…

PTA L2-020 功夫传人

一门武功能否传承久远并被发扬光大,是要看缘分的。一般来说,师傅传授给徒弟的武功总要打个折扣,于是越往后传,弟子们的功夫就越弱…… 直到某一支的某一代突然出现一个天分特别高的弟子(或者是吃到了灵丹、挖到了特别的…

从零开始,一步步构建服务网格istio

一、环境情况 环境:Ubuntu20.04 机器数量:单机1台 IP:10.9.2.83 二、准备知识 为什么使用 Istio? Istio提供了一种更高级别的服务网格解决方案,它可以简化和加强 Kubernetes 集群中的服务间通信、流量管理、安全…

鸿蒙开发之MPChart图表开发

一、简介 随着移动应用的不断发展,数据可视化成为提高用户体验和数据交流的重要手段之一,因此需要经常使用图表,如折线图、柱形图等。OpenHarmony提供了一个强大而灵活的图表库是实现这一目标的关键。 在 ohpm 中心仓(https://ohpm.openharmony.cn/)中,汇聚了众多开发者…

ubuntu如何添加快捷方式到收藏夹、桌面

一、背景 有时候单独下载的软件包需要在特定路径里启动,这样使用起来非常不方便。因此需要在桌面和收藏夹里创建启动快捷方式。 二、具体步骤 这里以下载的zotero软件(一款用于文献管理的软件)为例。官网地址: Zotero | Your personal res…

【gpt实践】同时让chatgpt和claude开发俄罗斯方块

最近chatgpt和claude都在使用,其实大部分日常使用场景表现都没有相差太多,想搞一个有趣的小实验,如果同时让chatgpt和claude开发俄罗斯方块谁会表现的更好呢,说干就干! prompt 我选择了用英文描述,毕竟英…

《如何使用C语言去下三子棋?》

目录 一、环境配置 二、功能模块 1.打印菜单 2.初始化并打印棋盘 3、行棋 3.1玩家行棋 3.2电脑行棋 4、判断是否和棋 5.判赢 三、代码实现 1、test.c文件 2、game.c文件 3、game.h文件 一、环境配置 本游戏用到三个文件,分别是两个源文件test.c game.c 和…

cad转shp再转3dtiles生成白模

1、准备CAD数据 2、arcgis中添加cad数据 添加面 cad中的标高字段是能带进arcgis中的,如果这个数据是建筑高度,可以直接用了 3、转shp 4、shp转3dtiles白模 cesiumlab中shp转3dtiles白模效果一

Spring Cloud Alibaba微服务从入门到进阶(三)

Spring Cloud Alibaba是spring Cloud的子项目 Spring Cloud Alibaba的主要组件(红框内是开源的) Spring Cloud是快速构建分布式系统的工具集, Spring Cloud提供了很多分布式功能 Spring Cloud常用子项目 项目整合 Spring Cloud Alibaba …

搭建项目后台系统基础架构

任务描述 1、了解搭建民航后端框架 2、使用IDEA创建基于SpringBoot、MyBatis、MySQL、Redis的Java项目 3、以原项目为参照搭建项目所涉及到的各个业务和底层服务 4、以原项目为例,具体介绍各个目录情况并参照创建相关文件夹 1、创建项目后端 BigData-KongGuan …

海豚调度系列之:任务类型——SQL节点

海豚调度系列之:任务类型——SQL节点 一、SQL节点二、创建任务三、任务参数四、任务样例五、运行该任务成功之后在hive中查询结果六、使用前置sql和后置sql示例 一、SQL节点 SQL任务类型,用于连接数据库并执行相应SQL。 二、创建任务 点击项目管理-项…

清廉机关建设宣传稿件怎样联系媒体投稿发表?

在推进清廉机关建设的伟大征程中,我们深知信息宣传的重要性。如何将清廉机关建设的成果和理念广泛传播,让更多人了解并参与到这一伟大事业中来,成为我们面临的重要课题。 过去,我们或许曾经历过联系媒体投稿的种种心酸。一家家媒体的联系,一次次的等待与回复,其中的艰辛与不易…

春风吹又生的开源项目「GitHub 热点速览」

随着上周知名 Switch 开源模拟器 Yuzu(柚子)被任天堂起诉,该项目作者就删库了,但还是要赔偿任天堂数百万美元。此事还在 GitHub 上掀起了一波 Yuzu fork 项目的小浪潮,正所谓野火烧不尽,春风吹又生。 很多读…

Unity使用Addressable热更新

先看热更新的gif: Addressable是Unity推出的打ab包方案。不需要手动写AB打包脚手架了,不需要关心依赖,这也简化了ab热更新的流程。Addressable打包需要先将资源放入group中,按group来打包,每个group对应一个ScriptableObject的配置…

大模型学习笔记(一):部署ChatGLM模型以及stable-diffusion模型

大模型学习笔记(一):部署ChatGLM模型以及stable-diffusion模型 注册算力平台(驱动云平台)1.平台注册2.查看算力3.进入平台中心 部署ChatGLM3-6B模型1.创建项目2.配置环境设置镜像源、克隆项目修改requirements 3.修改w…

【git报错】【重置代理】Failed to connect to github.com port 443: Connection refused

重置代理 git config --global --unset http.proxy git config --global --unset https.proxy

VC-旅游系统-213-(代码+说明)

转载地址: http://www.3q2008.com/soft/search.asp?keyword旅游系统 旅游信息管理系统开题报告 一、研究目的 旅游信息管理系统能帮助旅行社在游客的市场开拓、游客的信息管理、客户服务等方面进行综合处理。使旅行社能够准确的掌握客户的市场动态,充分了解对客户…

嵌入式学习day37 数据结构

1.sqlite3_open int sqlite3_open( const char *filename, /* Database filename (UTF-8) */ sqlite3 **ppDb /* OUT: SQLite db handle */ ); 功能: 打开数据库文件(创建一个数据库连接) 参数: filename:数据库文…

华为配置OSPF的Stub区域示例

配置OSPF的Stub区域示例 组网图形 图1 配置OSPF Stub区域组网图 Stub区域简介配置注意事项组网需求配置思路操作步骤配置文件 Stub区域简介 Stub区域的ABR不传播它们接收到的自治系统外部路由,在Stub区域中路由器的路由表规模以及路由信息传递的数量都会大大减少…