The Brochure can be downloaded here.
| Sunday January 5, 2020 | ||||
| TIME | ACTIVITIES | VENUE (FIT Building) |
||
| 16:30-17:30 | Registration | Lobby (1st Floor) |
||
| 18:00-20:00 | Banquet | Quanjude Restaurant | ||
| Monday January 6, 2020 | ||||
| TIME | ACTIVITIES | VENUE (FIT Building) |
||
| 08:30-09:00 | Registration | Lobby of Lecture Hall (2nd Floor) |
||
| 09:00-09:15 | Opening Remarks | Lecture Hall (2nd Floor) |
||
| 09:15-10:05 | Keynote Talk 1 Chair: Andrew Yao |
An Introduction to AI and Deep Learning (slide) John Hopcroft (Cornell University) |
||
| 10:05-10:45 | Group Photo (1st Floor) + Coffee Break | Lobby of Lecture Hall (2nd Floor) |
||
| 10:45-11:35 | Plenary Talk 1 Chair: Baoquan Chen |
Quantum Computing and Quantum Machine Learning Luming Duan (Tsinghua University) |
Lecture Hall (2nd Floor) |
|
| 11:45-13:30 | Lunch Break | Lobby of RM 1-222 (2nd Floor) |
||
| 14:00-14:50 | Keynote Talk 2 Chair: Andrew Yao |
Digital Retina – Improvement of Cloud Artificial Vision System from Enlighten of HVS Evolution (slide) Wen Gao (Peking University) |
Lecture Hall (2nd Floor) |
|
| 14:50-15:20 | Coffee Break | Lobby of Lecture Hall (2nd Floor) |
||
| 15:20-17:40 | Parallel Sessions | |||
| Parallel Sessions | ||||
| Artificial Intelligence Session Chair: Chongjie Zhang Room 1-315 (3rd Floor, FIT Building) |
||||
| Jan 6 | 15:20-15:55 | From Deep Generation to Creation Hao Dong (Peking University) |
||
| 15:55-16:30 | On Generalization and Implicit bias of Gradient Methods in Deep Learning Jian Li (Tsinghua University) |
|||
| 16:30-17:05 | Online Learning to Rank Shuai Li (Shanghai Jiao Tong University) |
|||
| 17:05-17:40 | Learning Based Optimization Zhouchen Lin (Peking University) |
|||
| Data Science Session Chair: Yihan Gao Room 1-202 (2nd Floor, FIT Building) |
||||
| Jan 6 | 15:20-15:55 | Mobile Crowdsensing in Instant Delivery (slide) Yunhuai Liu (Peking University) |
||
| 15:55-16:30 | Advances of Deep Learning and Reinforcement Learning on Recommender Systems (slide) Weinan Zhang (Shanghai Jiao Tong University) |
|||
| 16:30-17:05 | Adaptive Databases Yihan Gao (Tsinghua University) |
|||
| Theoretical Computation & Quantum Information Session Chair: Dongling Deng Lecture Hall (2nd Floor, FIT Building) |
||||
| Jan 6 | 15:20-15:55 | Formal Verification of Probabilistic Programs: Termination, Cost Analysis and Sensitivity (slide) Hongfei Fu (Shanghai Jiao Tong University) |
||
| 15:55-16:30 | Quantum Adversarial Machine Learning Dongling Deng (Tsinghua University) |
|||
| 16:30-17:05 | Adversarial Quantum Learning (slide) Nana Liu (Shanghai Jiao Tong University) |
|||
| 17:05-17:40 | Dominantly Truthful Multi-task Peer Prediction with a Constant Number of Tasks (slide) Yuqing Kong (Peking University) |
|||
| Systems and Architecture Session Chair: Mingyu Gao Room 1-222 (2nd Floor, FIT Building) |
||||
| Jan 6 | 15:20-15:55 | Serikos: a Platform for Electronic Design Algorithm Development and Execution (slide) Guojie Luo (Peking University) |
||
| 15:55-16:30 | Algorithm and Architecture Co-design for Robust and Low-latency Computer Vision (slide) Jingwen Leng (Shanghai Jiao Tong University) |
|||
| 16:30-17:05 | Understanding and Optimizing Hierarchical Dataflow Scheduling for Scalable NN Accelerators (slide) Mingyu Gao (Tsinghua University) |
|||
| Networking Session Chair: Wenfei Wu Reception Hall (1st Floor, FIT Building) |
||||
| Jan 6 | 15:20-15:55 | Smart Content Delivery and Adaptive Rate Selection for Video Streaming at Network Edge Kaigui Bian (Peking University) |
||
| 15:55-16:30 | Data-Driven Design for Smart Transportation Systems Haiming Jin (Shanghai Jiao Tong University) |
|||
| 16:30-17:05 | A DevOps Framework for Network Functions Wenfei Wu (Tsinghua University) |
|||
| Tuesday January 7, 2020 | ||||
| TIME | ACTIVITIES | VENUE (FIT Building) |
||
| 09:00-09:30 | Book Launch | Lecture Hall (2nd Floor) |
||
| 09:30-10:20 | Keynote Talk 3 Chair: Xiaotie Deng |
Some Theoretical Aspects of Blockchain Design Andrew Yao (Tsinghua University) |
||
| 10:20-10:50 | Coffee Break | Lobby of Lecture Hall (2nd Floor) |
||
| 10:50-11:40 | Plenary Talk 2 Chair: Jian Li |
Game Theoretical Analysis in Economies of Sharing Xiaotie Deng (Peking University) |
Lecture Hall (2nd Floor) |
|
| 12:00-13:30 | Lunch Break | Lobby of RM1-222 (2nd Floor) |
||
| 14:00-15:45 | Parallel Sessions | |||
| 15:45-16:05 | Coffee Break | Lobby of RM 1-222 (2nd Floor) |
||
| 16:05-17:15 | Parallel Sessions | |||
| Parallel Sessions | ||||
| Artificial Intelligence Session Chair: Chongjie Zhang Room 1-315 (3rd Floor, FIT Building) |
||||
| Jan 7 | 14:00-14:35 | Knowledge Self-distillation and Scalable Neural Networks: Towards Accurate, Efficient and Robust Neural Networks Kaisheng Ma (Tsinghua University) |
||
| 14:35-15:10 | AI Characters – Bring 3D Characters to Life Ye Pan (Shanghai Jiao Tong University) |
|||
| 15:10-15:45 | Towards Efficient Deep Reinforcement Learning Chongjie Zhang (Tsinghua University) |
|||
| 15:45-16:05 | Coffee Break Lobby of Room 1-222 (2nd Floor) |
|||
| 16:05-16:40 | Deep Learning: Interpretability, Capacity, and Evaluation Quanshi Zhang (Shanghai Jiao Tong University) |
|||
| 16:40-17:15 | A Stratified Approach to Robustness for Randomly Smoothed Classifiers Yang Yuan (Tsinghua University) |
|||
| Data Science Session Chair: Wei Xu Room 1-202 (2nd Floor, FIT Building) |
||||
| Jan 7 | 14:00-14:35 | Theoretical Understanding of Stochastic Gradient Descent in Deep Learning (slide) Zhanxing Zhu (Peking University) |
||
| 14:35-15:10 | Scalable and General Privacy-Preserving Data Mining: From Research to Production Wei Xu (Tsinghua University) |
|||
| 15:45-16:05 | Coffee Break Lobby of Room 1-222 (2nd Floor) |
|||
| Theoretical Computation & Quantum Information Session Chair: Dongling Deng Room 1-312 (3rd Floor, FIT Building) |
||||
| Jan 7 | 14:00-14:35 | Abstraction in Theorem Proving Qinxiang Cao (Shanghai Jiao Tong University) |
||
| 14:35-15:10 | Coreset: A Technique to Turn BIG DATA into Tiny Data Jian Li (Tsinghua University) |
|||
| 15:10-15:45 | A Fast Algorithm for Sampling k-SAT Solutions in the Local Lemma Regime Chihao Zhang (Shanghai Jiao Tong University) |
|||
| 15:45-16:05 | Coffee Break Lobby of Room 1-222 (2nd Floor) |
|||
| Systems and Architecture Session Chair: Mingyu Gao Room 1-222 (2nd Floor, FIT Building) |
||||
| Jan 7 | 14:00-14:35 | Accelerating IC Backend Design with Deep learning (slide) Yibo Lin (Peking University) |
||
| 14:35-15:10 | Beyond Fourier Transform: Super-solving Optical Coherence Tomography via Optimization Yuye Ling (Shanghai Jiao Tong University) |
|||
| 15:10-15:45 | Sparse-aware DNN Architecture Design: Insights from Resource Utilization and Memory Bandwidth Kaisheng Ma (Tsinghua University) |
|||
| 15:45-16:05 | Coffee Break Lobby of Room 1-222 (2nd Floor) |
|||
| Networking Session Chair: Chenye Wu Reception Hall (1st Floor, FIT Building) |
||||
| Jan 7 | 14:00-14:35 | Bitrate Adaptation for Scalable Video Coding Bo Jiang (Shanghai Jiao Tong University) |
||
| 14:35-15:10 | Elastic Sketch: Adaptive and Fast Network-wide Measurements Tong Yang (Peking University) |
|||
| 15:10-15:45 | Power the Future Energy System with Computer Science Chenye Wu (Tsinghua University) |
|||
| 15:45-16:05 | Coffee Break Lobby of Room 1-222 (2nd Floor) |
|||
| 16:05-16:40 | The First Step Towards Optical Circuit Switched Data Center Shizhen Zhao (Shanghai Jiao Tong University) |
|||