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

news2024/11/19 10:33:20

✦  +

+

日程安排

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

时间:    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.coloradmin.cn/o/1514584.html

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

相关文章

cms垃圾回收

cms垃圾回收 CMS概述CMS收集器整体流程初始标记并发标记重新标记并发清除 CMS卡表什么是卡表(card table)什么是mod-union table CMS概述 CMS(Concurrent Mark Sweep)收集器是Java虚拟机中的一种老年代(old Generation)垃圾收集器,他主要目标是减少垃圾收集时的应用…

Redis实现分布式锁源码分析

为什么使用分布式锁 单机环境并发时,使用synchronized或lock接口可以保证线程安全,但它们是jvm层面的锁,分布式环境并发时,100个并发的线程可能来自10个服务节点,那就是跨jvm了。 简单分布式锁实现 SETNX 格式&…

k8s关于pod

目录 1、POD 的创建流程 kubectl 发起创建 Pod 请求: API Server 接收请求并处理: 写入 Etcd 数据库: Kubelet 监听并创建 Pod: Pod 状态更新和汇报: 2、POD 的状态解析 1. Pending Pod 2. Running Pod 3. S…

【PRIVGUARD-privguard-artifact-main】代码学习(parser部分)

privguard-artifact-main:parser部分简述 1.abstract_domain.py (1)简介 实现PrivGuard中的抽象域功能。PrivGuard是一个旨在确保Python程序符合特定隐私策略的工具。代码中定义了两种类型的抽象域:闭区间格(ClosedIn…

霹雳学习笔记——6.1.2 ResNeXt

相比于ResNet,更新了block 效果:错误率低于ResNet,并且计算量一样。 对比卷积和组卷积,参数个数会变成1/g倍,g是分成了g组 最终输出的channel与卷积核的个数相同。 (好像是。。。好像之前听过这个&#xff…

【LeetCode热题100】73. 矩阵置零(矩阵)

一.题目要求 给定一个 m x n 的矩阵,如果一个元素为 0 ,则将其所在行和列的所有元素都设为 0 。请使用 原地 算法。 二.题目难度 中等 三.输入样例 示例 1: 输入:matrix [[1,1,1],[1,0,1],[1,1,1]] 输出:[[1,0…

文字弹性跳动CSS3代码

文字弹性跳动CSS3代码,源码由HTMLCSSJS组成,记事本打开源码文件可以进行内容文字之类的修改,双击html文件可以本地运行效果,也可以上传到服务器里面,重定向这个界面 下载地址 文字弹性跳动CSS3代码

Rust 构建开源 Pingora 框架可以与nginx媲美

一、概述 Cloudflare 为何弃用 Nginx,选择使用 Rust 重新构建新的代理 Pingora 框架。Cloudflare 成立于2010年,是一家领先的云服务提供商,专注于内容分发网络(CDN)和分布式域名解析。它提供一系列安全和性能优化服务…

4.MAC平台Python的下载、安装(含Python2.7+Python3.12双版本环境变量配置)——《跟老吕学Python编程》

4.MAC平台Python的下载、安装(含Python2.7Python3.12双版本环境变量配置)——《跟老吕学Python编程》)——跟老吕学Python编程 一、下载MAC版Python1.Python官网2.MAC版Python下载网址 二、在MAC安装Python1.在MAC安装Python2.阅读Python重要…

【Ubuntu-20.04】OpenCV-3.4.16的安装并对图片与视频处理

【Ubuntu-20.04】OpenCV-3.4.16的安装并对图片与视频处理 一、安装OpenCV-3.4.161.下载OpenCV-3.4.16安装包2.将安装包放到/home,并解压3.使用 cmake 安装 opencv4.配置环境5.查看 opencv 的版本信息 二、处理图片(一)创建文件夹 code &#…

【TB作品】MSP430,波形发生器,单片机,Proteus仿真

文章目录 题目效果梯形波100个点产生方法锯齿波100个点产生方法c代码和proteus仿真 题目 114 波形发生器的制作 设计要求 设计一个能产生正弦波、方波、三角波、梯形波、锯齿波的波形发生器。设置5个开关K1~K5(从 上到下),分别对应正弦波、方波、三角波、梯形波、锯齿波,按一下…

Redis中缓存和数据库双写数据不一致

先更新数据库,还是先更新缓存? 1.先更新数据库,再更新缓存 2.先更新缓存,再更新数据库 1.先更新数据库,再更新缓存 举个例子,比如【请求A】和【请求B】两个请求,同时更新【同一条】数据, 则…

分布式搜索引擎elasticsearch(2)

1.DSL查询文档 elasticsearch的查询依然是基于JSON风格的DSL来实现的。 1.1.DSL查询分类 Elasticsearch提供了基于JSON的DSL([Domain Specific Language](https://www.elastic.co/guide/en/elasticsearch/reference/current/query-dsl.html))来定义查…

python爬虫实战——小红书

目录 1、博主页面分析 2、在控制台预先获取所有作品页的URL 3、在 Python 中读入该文件并做准备工作 4、处理图文类型作品 5、处理视频类型作品 6、异常访问而被中断的现象 7、完整参考代码 任务:在 win 环境下,利用 Python、webdriver、JavaS…

让手机变相机,微单变全画幅的外设-斯莫格摄影套装开箱

大家好,我是Circaboy,近期给我的手机和相机入了一整套专业的摄影外设套装,然后我发现专业设备加持下的摄影着实是比我之前的要好很多,所以我就写了个文章做个简单的介绍和专业外设加持下的摄影对比。 本次入手的是斯莫格摄影套装…

Linux学习(4)——使用编辑器

1.gedit编辑器 简单易懂,依赖图形界面。可以使用ctrlc ctrlv等快捷键,ctrls进行保存,与windows系统中相类似。 2.vi/vim编辑器 vi/vim可以直接通过控制台的终端完成文本的编辑,不依赖图形界面,使用范围更广。它的编辑…

cesiumlab中shp转3dtiles白模效果一

安装cesiumlab 如果没有安装cesiumlab,去官网下载安装一个即可 http://www.cesiumlab.com/cesiumlab.html 效果 步骤 1、准备shp面数据 2、打开cesiumlab软件转换 选择shp面数据 设置高度,如果shp面中有高度字段,可以用高度字段&#xff…

ASP.NET排课实验室排课,生成班级课表实验室课表教师课表(vb.net)-214-(代码+说明)

转载地址: http://www.3q2008.com/soft/search.asp?keyword214 要看成品演示 请联系客服发给您成品演示 课题:实验课排课系统 计算机 上机课 一周上5天课,周一到周五 一周上5天课,周一到周五 因为我排的是实验课,最好1&#xf…

javaweb day16 mysql

mysql 安装: 企业开发使用方法 安装虚拟机代替服务器 数据模型 创建数据库 写法 sql简介

【考研数学】打基础用张宇《30讲》还是武忠祥《基础篇》?

基础课不太可能所有的东西全都覆盖,还是先搭起一个知识框架,然后不断的填充和完善。 所以不必太过于在意少一些东西,我们不可能一口吃成胖子,基础知识肯定不会遗漏的,只可能一些技巧不到位。 从自己的情况考虑&#…