专题研讨会--SIGOPS

SIGAI China的工作宗旨: ChinaSys / ACM SIGOPS China是中国计算机系统及相关领域的学术团体,宗旨是为本领域的研究者和从业者提供资源共享、交换思想和会晤的平台。为了促进中国计算机系统行业的发展,于2023年7月28日-30日在武汉召开第24届ChinaSys研讨会(暨ACM图灵大会2023 SIGOPS分论坛),交流和探讨本领域的最新研究成果。

组织委员会

主席

董德尊(国防科技大学)

王蕾(国防科技创新研究院)

程序委员会主席

崔鹤鸣(香港大学)

张宸(上海交通大学)

会议日程

Date(2023-07-28)Venue(香港2厅)
8:50-9:00开幕式
Networking and Communication主持人
9:00-9:15 An Ultra-Low Latency and Compatible PCIe Interconnect for Rack-scale Communication 黄雨凯(复旦大学) 胡杏
9:15-9:30 SmartDS: Middle-Tier-centric SmartNIC Enabling Application-aware Message Split for Disaggregated Block Storage 张杰(浙江大学)
9:30-9:45 Characterizing Off-path SmartNIC for Accelerating Distributed Systems 魏星达(上海交通大学)
9:45-10:00 Persistent Memory Disaggregation for Cloud-Native Relational Databases 阮超逸(中国科学技术大学)
10:00-10:15 Roar: A Router Microarchitecture for In-network Allreduce 王瑞琦(国防科技大学)
茶歇 (10:15-10:25)
Security and Privacy/ 安全与隐私
10:25-10:40 Honeycomb: Secure and Efficient GPU Executions via Static Validation 郑鈜壬(清华大学)
10:40-10:55 Towards A Secure Yet Maintainable Encrypted Database 李明煜(上海交通大学)
10:55-11:10 SecretFlow-SPU: A Performant and User-Friendly Framework for Privacy-Preserving Machine Learning 马俊明(蚂蚁集团)
Performance Analysis and Optimization/ 性能分析与优化主持人
11:10-11:25 VClinic: A Portable and Efficient Framework for Fine-Grained Value Profilers 游心(北京航空航天大学)陈旭升
11:25-11:40 SPADA: Accelerating Sparse Matrix Multiplication with Adaptive Dataflow 陈泰杰(清华大学)
11:40-11:55 Bifrost: Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines 李鼎基(上海交通大学
11:55-12:10 Understanding and Optimizing Workloads for Unified Resource Management in Large Cloud Platforms 卢澄志(中国科学院深圳先进技术研究院)
午餐 (12:10-13:30)
Storage Systems / 存储系统
13:30-13:45 Redesigning High-Performance LSM-based Key-Value Stores with Persistent CPU Caches 钟一捷(厦门大学)
13:45-14:00 Baryon: Efficient Hybrid Memory Management with Compression and Sub-Blocking 李一苇(清华大学)
14:00-14:15 Light-Dedup: A Light-weight Inline Deduplication Framework for Non-Volatile Memory File Systems 潘延麒(哈尔滨工业大学(深圳))
14:15-14:30 Revitalizing the Forgotten On-Chip DMA to Expedite Data Movement in NVM-based Storage Systems 苏景波(中国科学技术大学)
Systems for Machine Learning I / 机器学习系统 I 主持人
14:30-14:45 SmartMoE: Efficiently Training Sparsely-Activated Models through Combining Offline and Online Parallelization 翟明书(清华大学)王卅
14:45-15:00 Optimizing Dynamic Neural Networks with Brainstorm 崔炜皞(上海交通大学)
15:00-15:15 Heron: Automatically Constrained High-Performance Library Generation for Deep Learning Accelerators Bi Jun(中国科学院计算技术研究所)
15:15-15:30 SDPipe: A Semi-Decentralized Framework for Heterogeneity-aware Pipeline-parallel Training 苗旭鹏(卡内基梅隆大学)
15:30-15:45 PetPS: Supporting Huge Embedding Models with Persistent Memory 谢旻晖(清华大学)
15:45-16:00 Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning 张晨(清华大学)
茶歇 (16:00-16:15)
Systems for Machine Learning II/ 机器学习系统 II
16:15-16:30 Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters 胡擎昊(南洋理工大学)
16:30-16:45 OliVe: Accelerating Large Language Models via Hardware-friendly Outlier-Victim Pair Quantization 郭聪(上海交通大学)
16:45-17:00 Realizing Emotional Interactions to Learn User Experience and Guide Energy Optimization for Mobile Architectures 李雪亮(深圳大学)
17:00-17:15 Legion: Automatically Pushing the Envelope of Multi-GPU System for Billion-Scale GNN Training 孙杰(浙江大学)
17:15-17:30 iCache: An Importance-Sampling-Informed Cache for Accelerating I/O-Bound DNN Model Training 陈伟剑(浙江大学)
17:30-17:45 EinNet: Optimizing Tensor Programs with Derivation-Based Transformations 郑立言(清华大学)
7月29号 (香港2厅)
TURC Program
午餐主持人
Keynote Speech 1 / 特邀报告 1崔鹤鸣、张宸
13:30-14:15 云原生体系结构 过敏意,上海交通大学“致远”讲席教授,国家杰青,欧洲科学院外籍院士,IEEE Fellow
Keynote Speech 2/ 特邀报告2
14:15-15:00 基于持久内存的多层级内存型存储系统 金海,华中科大教授,长江学者,国家杰青,国家万人计划,IEEE Fellow
茶歇 (16:00-16:15)
Keynote Speech 3 / 特邀报告 3
15:25-16:05 飞腾高性能通用CPU发展与思考 卢凯,国防科大计算机学院院长,国家百千万人才,国防卓青,长江学者
Keynote Speech 4 / 特邀报告 4
16:05-16:50 超大规模集成电路中的掩模优化 Bei Yu,香港中文大学副教授,IEEE CEDA 职业发展奖,ACM SIGDA功勋服务奖
Poster (16:50-18:00) / 海报
7月30号 (香港2厅)
TURC Program
午餐
Database Systems and Query Processing / 数据库与查询系统主持人
13:30-13:45 NeuChain: A Fast Permissioned Blockchain System with Deterministic Ordering 彭泽顺(东北大学)王则可
13:45-14:00 GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database 周慰星(东北大学)
14:00-14:15 VBase: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity 张虔熙(微软亚洲研究院)
Testing and Vulnerability Detection/ 图计算与分析
14:30-14:45 Achieving Sub-second Pairwise Query over Evolving Graphs 陈鸿韬(清华大学)
14:45-15:00 CompressGraph: Efficient Parallel Graph Analytics with Rule-Based Compression 陈政(中国人民大学)
15:00-15:15 XPGraph: XPline-Friendly Persistent Memory Graph Stores for Large-Scale Evolving Graphs 汪睿(浙江大学)
15:15-15:30 Bring orders into uncertainty: enabling efficient uncertain graph processing via novel path sampling on multi-accelerator systems 张珩(中国科学院软件研究所)
茶歇 (15:30-15:40)
Graph Processing and Analytics / 测试与漏洞检测主持人
15:40-15:55 Model Checking Guided Testing for Distributed Systems 王栋(中国科学院软件研究所)赵夏
15:55-16:10 ACETest: Automated Constraint Extraction for Testing Deep Learning Operators 石景宜(中国科学院信息工程研究所)
16:10-16:25 Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation 王欣熠(中国科学院信息工程研究所)
16:25-16:40 Detecting Isolation Bugs via Transaction Oracle Construction 崔紫玉(中国科学院软件研究所)
Emerging Computing Technology / 新兴计算技术
16:40-16:55 DataFlower: Exploiting the Data-flow Paradigm for Serverless Workflow Orchestration 李子俊(上海交通大学)
16:55-17:10 Adaptive Online Cache Capacity Optimization via Lightweight Working Set Size Estimation at Scale 顾荣(南京大学
17:10-17:25 Occamy: Elastically Sharing a SIMD Co-Processor Across Multiple CPU Cores 张忠诚(中国科学院计算技术研究所)
17:25-17:40 ANPL: Compiling Natural Programs with Interactive Decomposition 黄迪(中国科学院计算技术研究所)

过敏意

报告主题:云原生体系结构

摘要:云原生是云计算的新兴计算模式,已成为新一代云的任务执行标准。云原生计算将大规模应用分解为大量的小函数,并封装在容器中运行,具有按需使用,快速弹性等优点,在AI推理、图计算、科学计算等领域也有巨大的应用潜力。本报告主要介绍云原生概念,云原生的体系结构是什么,在系统、框架和支撑层各自的挑战和问题,最后介绍我们构建的一个完整的云原生系统,包括框架,调度,支撑这三层。 每一层对应的技术是什么。上述技术将显著提升云原生性能,推动该技术快速落地。

报告人:上海交通大学电子信息与电气工程学院“致远”讲席教授,国家杰青,欧洲科学院外籍院士,教育部创新团队学术带头人,973计划首席科学家,享受国务院特殊津贴。IEEE Fellow,ACM 杰出科学家,中国计算机学会常务理事和会士 。研究方向为高性能计算,并行编译与算法,并行与分布式系统,云计算与大数据 ,计算机体系结构 。现担任IEEE Transactions on Sustainable Computing主编,IEEE Transactions on Parallel and Distributed Systems、IEEE Transactions on Cloud Computing、Journal of Parallel and Distributed Computing等期刊编委;在IEEE/ACM Transactions、MICRO、ASPLOS、ISCA、HPCA等国内外著名期刊和会议发表了500余篇论文,出版中英文著作6部,授权发明专利40多项,国际学术会议上获得最佳论文7次。主持国家杰出青年基金、国家自然科学基金重点项目、国家重点研发计划、863项目、973项目等多项国家级项目,曾获得2019年度国家技术发明二等奖和多个省部级一等奖。

金海

报告主题: 基于持久内存的多层级内存型存储系统

摘要:新型存储级内存(SCM)打破了内存和外存的界限,使得构建多层级的大容量内存型存储系统成为可能。然而,SCM的涌现对传统体系结构、操作系统和编程模型都带来了巨大的冲击。我们团队经过多年深入的研究,在异构内存硬件架构、系统软件栈和分布式内存池系统方面提出了一系列的关键技术,实现了全栈协同优化的多层次分布式内存型存储系统。本报告将从多层级异构内存架构、支持多层级大内存的系统软件栈、分布式共享内存系统三个层次介绍团队在异构内存地址转换加速、内存动态管理、应用透明移植、持久内存事务机制、分布式内存数据可靠持久化,多副本容错等方面的研究工作。

报告人:华中科技大学教授、博士生导师,长江学者特聘教授,国家杰出青年基金获得者,国家“万人计划”科技创新领军人才。中国计算机学会副理事长、会士,IEEE Fellow,华中科技大学“大数据技术与系统国家地方联合工程研究中心”主任、“服务计算技术与系统教育部重点实验室”主任。国务院特殊津贴专家。“十三五”“云计算与大数据”国家重点研发计划专家组副组长、“十四五”“先进计算与新兴软件”国家重点研发计划专家组组长、“高性能计算”国家重点研发计划专家组副组长。湖北省计算机学会理事长。获国家自然科学二等奖1项、国家科技进步二等奖2项、国家发明二等奖1项。主要研究领域为计算机体系结构、并行与分布式处理等、云计算与大数据。

卢凯

报告主题: 飞腾高性能通用CPU发展与思考

摘要:CPU是高性能计算和各型信息系统的核心控制与运算部件。面对高性能计算领域不断增长的算力需求,CPU应如何发展与突破?本报告将回顾飞腾系列高性能通用CPU的发展脉络,总结取得的关键技术创新,并分享高性能通用CPU研制的思考与体会。

报告人:长期从事高性能计算、智能计算与大数据、信息安全等方向教学科研工作,是银河、天河团队带头人。领导研制的天河超级计算机、麒麟操作系统、飞腾微处理器、玉衡网络设备在国家和军队信息化建设中发挥重要作用,为国防和军队建设作出重要贡献。入选国家“百千万工程”人才库、国家有突出贡献的中青年专家、军队高层次创新人才工程领军人才、国防科技卓越青年科学基金、教育部新世纪优秀人才支持计划,受聘长江学者特聘教授;获得中国青年科技奖、中国科协“求是”奖,享受国务院政府特殊津贴。获国家科技进步特等奖1项、一等奖1项,国家科技进步创新团队奖1项,全国创新争先奖1项,国家级教学成果二等奖1项;获军队(省部) 级科技进步一等奖3项,省教学成果特等奖1项。

Bei Yu

报告主题:

摘要:

报告人: