2019年软件理论讨论班日程安排
注： 自9月18日起，除特殊说明外，每次讨论班时间为周三上午10点开始。
|
|
时间（Date）
|
地点（Place） |
报告题目（Title）
|
报告人 |
1 |
2019.2.21 |
1303 |
Plan |
|
|
2
|
2019.2.28 |
1303 |
Safety Verification of Deep Neural Networks |
Yi-Chun Feng |
|
3
|
2019.3.7 |
1303 |
Concolic Testing for Deep Neural Networks / Feature-Guided Black-Box Safety Testing of Deep Neural Networks |
Yuteng Lu |
|
4
|
2019.3.14 |
1303 |
Abstraction-driven Concolic Testing |
Qi Zhang |
|
5
|
2019.3.21 |
1303 |
Formal Validation of Neural Networks as Timed Automata |
Yuteng Lu |
|
6
|
2019.4.4 |
1303 |
A Composition Modelling and Verification Framework for Stochastic Hybrid Systems |
Weidi Sun |
|
7
|
2019.4.11 |
1304 |
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks |
Yuteng Lu |
|
8
|
2019.4.18 |
1303 |
Reluplex: An Efficient SMT Solver for Verifying
Deep Neural Networks |
Yuteng Lu |
|
9
|
2019.4.25 |
1303 |
Semantic Adversarial Deep Learning |
Qi Zhang |
10 |
2019.5.2 |
五一放假，讨论班暂停一次。 |
||
|
11
|
2019.5.9 |
1303 |
Thesis Defense Practice Talk |
Saqib Nawaz & Yuanyi Ji |
|
12
|
2019.5.16 |
1303 |
Thesis Defense Practice Talk |
Yi Li, Shun Wang & Heyuan Xu |
|
13
|
2019.5.23 |
1303 |
Matching mu-logic: A powerful logic for specifying and reasoning about fixpoints and induction, programming languages, and program specification and verification |
Xiaohong Chen (UIUC) |
|
14
|
2019.5.30 |
1303 |
Blockchain based protocols for fair trading |
Yu Guo (SETBIT Labs) |
|
15
|
2019.6.6 |
1569 |
1. Coordination and Composition: From Reo to Mediator 2. Using UTP and PVS for Formal Verification of Composition and Coordination Models |
Yi Li & Saqib Nawaz(博士论文答辩) |
16 |
2019.6.13 |
期末考试周，讨论班暂停一次。 |
||
|
17
|
2019.6.20 |
1303 |
SMT-based Modeling and Verification of Cloud Applications |
Xiyue Zhang |
18 |
2019.6.27 |
SERVICES 2019会议，讨论班暂停一次。 |
||
|
19
|
2019.7.4 |
1569 |
PRISM Code Generation for Verification of Mediator Models Trusted Computing based Protocols: Modeling and Analysis |
Weidi Sun Guangdong Bai (Univ. of Queensland) |
20 |
2019.7.11 |
可信AI暑期学校，讨论班暂停一次。 |
||
|
21
|
2019.7.18 |
讨论班暂停一次。 |
||
|
22
|
2019.7.25 |
1569 |
程序侧信道安全形式化验证 |
Fu Song (ShanghaiTech Univ.) |
|
23
|
2019.9.4 |
1303 |
Group Meeting |
Meng Sun |
|
24
|
2019.9.11 |
1303 |
Safe Inputs Generation for Black-box Systems |
Bai Xue (ISCAS) |
|
25
|
2019.9.18 |
1303 |
The Opacity of Real-time Automata |
Lingtai Wang (ISCAS) |
|
26
|
2019.9.25 |
1303 |
A Coalgebraic Semantics Framework for Quantum Systems |
Ai Liu |
27 |
2019.10.2 |
国庆放假，讨论班暂停一次。 |
||
28 |
2019.10.9 |
出差开会，讨论班暂停一次。 |
||
|
29
|
2019.10.16 |
1303 |
Verification of Neural Networks Based on UPPAAL |
Yuteng Lu |
|
30
|
2019.10.23 |
1303 |
How to Write a Good Paper and Get it Published |
Meng Sun |
|
31
|
2019.10.30 |
1432 |
Formal Verification of Probabilistic Programs: Termination, Cost Analysis and Sensitivity |
Hongfei Fu (SJTU) |
32 |
2019.11.6 |
出差开会，讨论班暂停一次。 |
||
|
33
|
2019.11.13 |
1303 |
TBD |
Weidi Sun |
|
34
|
2019.11.20 |
1304 |
A Reo Model of Software Defined Networks |
Hui Feng (Leiden Univ.) |
|
35
|
2019.11.22 |
1114 |
On the Very Nature of Symbolic Execution |
Marcello Bonsangue (Leiden Univ.) |
|
36
|
2019.11.27 |
1303 |
Probabilistic Extension of Mediator |
Xiaoyong Xue |
37 |
2019.12.4 |
讨论班暂停一次。 |
||
|
38
|
2019.12.11 |
1303 |
Compositional Techniques for the Verification of a Separation Micro-Kernel for Multi-Core Architectures |
David Sanan (NTU) |
往年讨论班信息