Home

Seminar+

2024-12-17

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

周喆,普渡大学

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

2024-12-15

Just-in-time in-network gradient compression for distributed training via packet trimming

Xiaoqi Chen, Purdue University

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

2024-11-20

Batching and optimal multi-stage bipartite allocations

Yiding Feng, HKUST IEDA

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

2024-11-13

Beyond Regularity: Simple versus Optimal Mechanisms, Revisited

Yaonan Jin(金耀楠), Researcher at the Huawei TCS Lab

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

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

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