Home

News+
2025-04-10

中心冯宇研究成果荣获ASPLOS 2025最佳论文奖

本篇是大陆地区唯一获此殊荣的论文

2025-01-23

中心四位教师获评上海交通大学2024年度“优秀班主任”荣誉称号

祝贺陈晨、刘笑宏、纪幸辰、陶表帅四位老师!

2024-12-31

John中心年度盘点 | 致我们精彩且难忘的2024

祝大家在新的一年里,探索不止,所愿成真!

Seminar+

2025-04-28

Edge-type strong spatial mixing for the entire Lee-Yang zero-free region

邵帅,中国科学技术大学

上海交通大学软件大楼专家楼1319会议室

2025-04-23

TrainMover: Live Migration for ML Training

Chon Lam Lao (刘俊林), Harvard University

上海交通大学电信群楼1-418会议室

2025-03-11

双变量含公理的一阶逻辑模型计数

邝启鹏, 香港大学博士生

上海交通大学软件大楼专家楼1319会议室

2024-12-17

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata

周喆,普渡大学

上海交通大学软件大楼专家楼1319会议室

© John Hopcroft Center for Computer Science, Shanghai Jiao Tong University
分享到

地址:上海市东川路800号上海交通大学软件大楼专家楼
邮箱:jhc@sjtu.edu.cn 电话:021-54740299
邮编:200240