Talks

Tutorial

• Advances on SAT and SMT Solving

  Shaowei Cai

• Building Safe Autonomous Systems using Imperfect Components

  Samarjit Chakraborty

• Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems

  Kim Guldstrand Larsen

• Hardware-Software Leakage Contracts for Side-Channel Security

  Jan Reineke

• Model-based Software Engineering for Robotics

  Pedro Ribeiro

• Simulation Testing of Autonomous Driving Systems Based on Safety-Critical Scenario Generation

  Yinxing Xue

• Safeguarding Deep Reinforcement Learning Systems via Formal Methods: From Safety-by-Design to Runtime Assurance

  Min Zhang

Talk

• Certifying Adversarial Robustness in Quantum Machine Learning: From Theory to Physical Validation

  Ji Guan

• On Temporal Verification of Stateful P4 Programs

  Fei He

• Formal Synthesis of Neural Controllers for Autonomous Systems

  Wang Lin

• Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis

  Meng Sun

• Neural Code Generation Models with Programming Language Knowledge

  Yingfei Xiong

• Stochastic System Safety: Probabilistic Invariance Verification

  Bai Xue

• New Progress in Computational Number Theory and Number-Theoretic Cryptography

  Song Y. Yan