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

✦  +

+

日程安排

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

时间:    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,一经查实,立即删除!

相关文章

ROS 语音交互(二)nlp

目录 背景: 一、模型选择 二、操作流程 三、核心代码展示 背景: 成功设置自己的知识库,语音交互问答会优先选择自己的知识库的答案进行回答,减少了耗时 一、模型选择 商汤 商量日日新 二、操作流程 文档中心 | 日日新开放…

Node.js的事件驱动模型(非阻塞I/O)

Node.js的事件驱动模型是它能高效处理并发的关键。这个模型允许Node.js在单个线程上运行,同时通过非阻塞I/O操作来处理成千上万的并发连接。下面是对Node.js事件驱动模型的详细解释: 事件循环(Event Loop) 事件循环是Node.js事件…

ChatGLM3 源码解析(五)

PrefixEncoder # 根据前缀 ID 获取前缀嵌入 # 前缀嵌入将连接到分头之后的 K 和 V 上 class PrefixEncoder(torch.nn.Module):"""The torch.nn model to encode the prefixInput shape: (batch-size, prefix-length)Output shape: (batch-size, prefix-length,…

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:…

阿里云国际修改域名绑定的DDoS高防服务器

本文九河云介绍当您的业务需要绑定多个DDoS高防实例,或者已有的DDoS高防实例已过期需要更换时,如何修改域名接入的配置,才能在业务不中断的前提下平滑迁移。 需绑定多个DDoS高防实例的场景 当网站业务有如下业务需求时,可以为域…

PTA L2-020 功夫传人

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

netty服务器监听和接收数据

1.pom依赖 <dependency><groupId>io.netty</groupId><artifactId>netty-all</artifactId><!-- 根据需要选择版本 --><version>4.1.86.Final</version> </dependency>2.配置属性 application.properties #启动端口 ser…

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

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

Git操作指南:子模块、用户名修改和Subtree

引言 在软件开发中&#xff0c;版本控制是一个至关重要的环节。Git 作为目前最流行的版本控制工具之一&#xff0c;提供了丰富的功能和灵活的操作方式。本文将介绍一些常用的 Git 操作&#xff0c;包括管理子模块、修改用户名、使用 Git Subtree 合并项目以及其他一些常见操作…

基于R语言APSIM模型应用

随着数字农业和智慧农业的发展&#xff0c;基于过程的农业生产系统模型在模拟作物对气候变化的响应与适应、农田管理优化、作物品种和株型筛选、农田固碳和温室气体排放等领域扮演着越来越重要的作用。APSIM (Agricultural Production Systems sIMulator)模型是世界知名的作物生…

鸿蒙开发之MPChart图表开发

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

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

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

python控制语句-2.1

目录 while循环 while循环练习-1 while 循环 - break 语法 while 循环 - continue 语法 while 循环 - else 语法 while循环练习-2 while循环 while循环练习-1 求1到n的交错和输入正整数 n&#xff0c;求 1 到 n 的交错和&#xff1a;即 -12-34-56-7...((-1)^n)*nn eval(…

shell脚本中数组元素赋值

在Shell&#xff08;特别是Bash&#xff09;脚本中定义和赋值数组有几种不同的方法。基本的数组赋值语句如下&#xff1a; # 无索引数组的赋值 array_name(element1 element2 element3)其中 element1 element2 element3 是数组 array_name 的元素。 如果你想要更新现有数组的…

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

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

Unity中计算两个三维坐标点的各种方法

1、 根据勾股定理计算两点的距离 /// <summary>/// 根据勾股定理计算两点的距离/// </summary>/// <param name"point1"></param>/// <param name"point2"></param>/// <returns></returns>private float…

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

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

JWT令牌校验是什么东西?举个例子

JWT&#xff08;JSON Web Token&#xff09;令牌校验是验证JWT令牌的有效性和真实性的过程。JWT是一种用于在网络应用间安全传递信息的开放标准&#xff08;RFC 7519&#xff09;&#xff0c;它由三部分组成&#xff1a;头部&#xff08;header&#xff09;、载荷&#xff08;p…

zabbix-server-pgsql docker镜像备忘

Environment Variables 基本变量 When you start the zabbix-server-pgsql image, you can adjust the configuration of the Zabbix server by passing one or more environment variables on the docker run command line. DB_SERVER_HOST This variable is IP or DNS nam…