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

news/2024/7/10 22:17:33 标签: 开源

✦  +

+

日程安排

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

时间:    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.niftyadmin.cn/n/5426679.html

相关文章

Redis实现分布式锁源码分析

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

【定向合作计划】学生时期学习资源同步-全栈开发基础学习书单

原创作者:田超凡(程序员田宝宝) 版权所有,引用请注明原作者,严禁复制转载 【定向合作计划】以下为本人在学生时期2015-2017学习全栈开发基础的书单,因为资料太多,外接硬盘一共大概10个T&…

Python XML数据处理库之xmltodict使用详解

概要 在 Python 的开发中,处理 XML 数据是一项常见的任务。然而,Python 标准库中的 XML 解析器使用起来可能较为繁琐,需要编写大量的代码来处理 XML 数据。幸运的是,有一个名为 xmltodict 的第三方库可以帮助我们简化这个过程。本文将深入探讨 xmltodict 库的各个方面,包…

开源导出html表格项目-easyHtml

开源导出html表格项目-easyHtml 背景介绍 背景 项目的由来,在面试的过程中,发现这个需求(导出html表格)比较常见,同时也引起我的兴趣,所以就有了开源项目easyHtml第一个版本 介绍 功能 支持自定义表格标…

【NestJS 编程艺术】3. 探索NestJS的高效开发:nest-cli的全面指南

在现代的 Node.js 服务端开发中,NestJS 以其优雅的架构和强大的功能集成为了开发者的首选框架之一。而这一切的起点,都始于nestjs/cli这个强大的命令行工具。本文将深入探讨nest-cli的核心功能,帮助开发者高效地创建、构建和管理 NestJS 项目…

[企业宣传]江苏地区邀约媒体资源汇总

传媒如春雨,润物细无声,大家好,我是51媒体网胡老师。 江苏地区拥有丰富的媒体资源,包括电视台、广播电台、报纸、网络媒体等。以下是一些可以邀约的媒体资源汇总: 电视台: 江苏卫视:江苏省唯…

机器学习实验------K-means聚类算法

第1关:计算欧几里得距离 任务描述 本关实现一个函数来计算欧几里得距离。 # -*- coding: utf-8 -*- import numpy as np def euclid_distance(x1, x2):"""计算欧几里得距离参数:x1 - numpy数组x2 - numpy数组返回值:distance - 浮点数…

LLM之RAG实战(二十九)| 探索RAG PDF解析

对于RAG来说,从文档中提取信息是一种不可避免的场景,确保从源文件中提取出有效的内容对于提高最终输出的质量至关重要。 文件解析过程在RAG中的位置如图1所示: 在实际工作中,非结构化数据比结构化数据丰富得多。如果这些海量数据无…