博士讨论班

# 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 删除优先CRDT设计实现框架 张宇奇 Nov 20 (Wednesday), 2019 19:00
计算机科学与技术系230
11 Automatic Linux Device Driver Porting 李达 Nov 29 (Friday), 2019 19:00
计算机科学与技术系230
12 A survey of Resource Optimizing Techniques in Deep Learning Clusters 叶炜煜 Dec 06 (Friday), 2019 19:00
计算机科学与技术系230
13 Hunting Reference Error in JNI Programs 张晨曦 Dec 13 (Friday), 2019 19:00
计算机科学与技术系230
14 Help Understanding Code Changes:Salient Method Identification 徐圣斌 Dec 19 (Thursday), 2019 19:00
计算机科学与技术系230
15 Inline Assembly Demystified 欧先飞 Dec 19 (Thursday), 2019 19:45
计算机科学与技术系230
16 Deep API Misuse Detection 郭新琛 Dec 27 (Friday), 2019 19:00
计算机科学与技术系230
17 Towards Record and Cross-Device Resilient Replay Implementation of Android Applications 李聪 Dec 27 (Friday), 2019 19:45
计算机科学与技术系230
18 Testing Machine Learning Programs with Input-output based Metamorphic Relation 李泽南 Jan 03 (Friday), 2020 19:00
计算机科学与技术系230
19 多写环境下的Regularity一致性 黄开乐 Jan 03 (Friday), 2020 19:45
计算机科学与技术系230
20 Verifying Causal Consistency in MongoDB 唐瑞泽 Jan 10 (Friday), 2020 19:00
计算机科学与技术系230
21 AccompTesting:A Snapshot Approach to Test Server-Side Java Programs in Production Environments 屈道涵 Jan 10 (Friday), 2020 19:45
计算机科学与技术系230

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