2022年软件理论讨论班日程安排
注： 自2月23日起，除特殊说明外，每次讨论班时间为周三上午10-12点。
|
|
时间（Date）
|
地点（Place） |
报告题目（Title）
|
报告人 |
1 |
2022.2.23 |
1304 |
seminar plan |
|
|
2
|
2022.3.2 (13:30-15:30) |
1304 |
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification（13:30-14:30） Causality-based Neural Network Repair（14:30-15:30） |
Xiaoyong Xue Jun Sun (SMU) |
|
3
|
2022.3.9 |
1304 |
数据库软件安全测试（10:00-11:00） Formal Methods in Real World（11:00-12:00） |
Yu Jiang (Tsinghua Univ.) Yi Li (Huawei) |
|
4
|
2022.3.17 |
1304 |
Lei Bu (Nanjing Univ.) |
|
|
5
|
2022.3.23 |
1304 |
Self-Checking Deep Neural Networks in Deployment |
Hao Bu |
|
6
|
2022.3.30 |
1304 |
Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes |
Xiaokun Luan |
|
7
|
2022.4.6 |
1304 |
Towards a Unifying Logical Framework for Neural Networks（10:00-11:00） Extracting Weighted Finite Automata from Recurrent Neural Networks（11:00-12:00） |
Xiyue Zhang Zeming Wei |
|
8
|
2022.4.14 |
1304 |
Pengfei Yang (IOS, ISCAS) |
|
|
9
|
2022.4.20 |
1304 |
kProp: Propagation-based Multi-neuron Method for Neural Network Certification |
Xiaoyong Xue |
|
10
|
2022.4.27 |
21楼316 |
Scalable Quantitative Verification For Deep Neural Networks |
Hao Bu |
|
11 |
2022.5.4 |
五一放假，讨论班停一次 |
||
|
12 |
2022.5.11 |
online |
Fei He (Tsinghua Univ.) |
|
|
13
|
2022.5.18 |
online |
Thesis Defense Practice |
Xiyue Zhang &Xiaoyu Yang |
|
14
|
2022.5.25 |
online |
神经网络模型复用检测 |
Xiaokun Luan |
|
15
|
2022.5.26（14:00-15:30） |
online |
Trustworthiness Assurance of Deep Learning
Systems with Certification Techniques （PhD Defense） |
Xiyue Zhang |
16 |
2022.6.1 |
online |
分支限界法在神经网络验证中的应用 |
Xiaoyong Xue |
17 |
2022.6.2（14:00-15:00） |
online |
基于区块链的供应链金融设计模式 （Master Defense） |
Xiaoyu Yang |
18 |
2022.6.8 |
online |
Research Progress Report |
Hao Bu |
19 |
2022.6.29 |
online |
Deep Cooperation of CDCL and Local Search for SAT (ECNU可信软件学术沙龙) |
Shaowei Cai (IOS, ISCAS) |
20 |
2022.6.30 |
online |
Neural Network Model Reuse Detection |
Xiaokun Luan |
21 |
2022.7.20 |
online |
RGChaser: A RL-Guided Fuzz and Mutation Testing Framework for Deep Learning Systems |
Yuteng Lu |
22 |
2022.8.31 |
1304 |
seminar plan |
|
23 |
2022.9.7 |
1304 |
Bisimulation for Neural Network Reduction |
Xiaoyong Xue |
24 |
2022.9.14 |
1304 |
Simplifying Neural Networks Using Formal Verification |
Hao Bu |
25 |
2022.9.21 |
1304 |
Fast Test Input Genetration for Finding Deviated Behaviors in Compressed Deep Neural Network |
Xiaokun Luan |
26 |
2022.9.28 |
1304 |
Fu Song (Shanghai Tech Univ.) |
|
27 |
2022.10.5 |
1304 |
Effi cient Neural Network Analysis with Sum-of-Infeasibilities |
Xiaoyong Xue |
28 |
2022.10.12 |
1304 |
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails Statistical Model Checking |
Xiangyu Li Hao Bu |
29 |
2022.10.17 |
二教315 |
SAT and SMT Solving: CDCL and CDCL(T) |
Shaowei Cai (ISCAS) |
30 |
2022.10.19 |
1304 |
ICFEM & SETTA practice talks |
Zeming Wei, Yuteng Lu & Weidi Sun |
31 |
2022.10.26 |
1304 |
Basic Paxos in Mediator |
Xiaokun Luan |
32 |
2022.11.2 |
1304 |
Jingyi Wang (Zhejiang Univ.) |
|
33 |
2022.11.9 |
1304 |
On Quantum Computing for Neural Network Robustness Verification |
Yihao Zhang |
34 |
2022.11.16 |
online |
统计模型检查中的估计问题 |
Hao Bu |
35 |
2022.11.23 |
online |
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition |
Xiaoyong Xue |
36 |
2022.11.30 |
online |
Model Reuse Detection: A Neuron Functionality Analysis Approach |
Xiaokun Luan |
37 |
2022.12.7 |
online |
Thesis Pre-defense |
Weidi Sun, Yi Li |
38 |
2022.12.14 |
online |
Types and Computing States of Mediator Language |
Xiangyu Li |
往年讨论班信息