博士讨论班

# Title & Location Speaker Time
1 Network Attack Detection of a Cyber-Physical System 童燕翔 Sep 12 (Thursday), 2019 19:00
计算机科学与技术系230
2 Effectively Migrating Object States for Dynamic Software Updates 赵泽林 Sep 20 (Friday), 2019 19:00
计算机科学与技术系230
3 Automatically Bug Report Management in Large Open Source Software 席圣渠 Sep 27 (Friday), 2019 19:00
计算机科学与技术系230
4 Synthesizing Test Cases to Detect Inefficient Image Displaying Issues in Android Apps 李文杰 Oct 11 (Friday), 2019 19:00
计算机科学与技术系230
5 A Generic Specification Framework for Replicated Data Types in Weakly Consistent Systems 江雪 Oct 18 (Friday), 2019 19:00
计算机科学与技术系230
6 Towards a new structure of container image 张营 Oct 25 (Friday), 2019 19:00
计算机科学与技术系230
7 Discerning Edge Influence for Network Embedding 王瑶菁 Nov 01 (Friday), 2019 19:00
计算机科学与技术系230
8 Testing File System Implementations via Layered Model Checking 陈冬杰 Nov 08 (Friday), 2019 19:00
计算机科学与技术系230
9 Optimizing Weak Consistency Checking by Incremental Minimal Visibility Computation 黄羿 Nov 15 (Friday), 2019 19:00
计算机科学与技术系230
10 TBD 张宇奇 Nov 20 (Wednesday), 2019 19:00
计算机科学与技术系230
11 TBD 李达 Nov 29 (Friday), 2019 19:00
计算机科学与技术系230
12 TBD 叶炜煜 Dec 06 (Friday), 2019 19:00
计算机科学与技术系230
13 TBD 张晨曦 Dec 13 (Friday), 2019 19:00
计算机科学与技术系230
14 TBD 徐圣斌 Dec 20 (Friday), 2019 19:00
计算机科学与技术系230
15 TBD 欧先飞 Dec 20 (Friday), 2019 19:45
计算机科学与技术系230
16 TBD 郭新琛 Dec 27 (Friday), 2019 19:00
计算机科学与技术系230
17 TBD 李聪 Dec 27 (Friday), 2019 19:45
计算机科学与技术系230
18 TBD 李泽南 Jan 03 (Friday), 2020 19:00
计算机科学与技术系230
19 TBD 黄开乐 Jan 03 (Friday), 2020 19:45
计算机科学与技术系230
20 TBD 唐瑞泽 Jan 10 (Friday), 2020 19:00
计算机科学与技术系230
21 TBD 屈道涵 Jan 10 (Friday), 2020 19:45
计算机科学与技术系230

© 2019 Institute of Computer Software, Nanjing University. All rights reserved.