SETTA 2024
Symposium on Dependable Software Engineering
Theories, Tools and Applications
Hong Kong, China, Nov. 26-28, 2024
KEYNOTE SPEAKERS
CONFERENCE TECHNICAL PROGRAM (Download Full Program)
All times are given in Beijing time (UTC+08:00)
Day 1 (November 26, 2024)
08:30 – 08:50
Registration
08:50 – 09:00
Opening
09:00 – 10:00
Keynote speaker 1
MIMOS: A New Paradigm and Tools for Embedded Systems Design and Updates
10:00 – 10:30
Coffee Break
10:30 – 12:10
Session I: Dependable CPS and concurrent systems
10:30 – 10:55
The Design of Intelligent Temperature Control System of Smart House with MARS
10:55 – 11:20
Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects
11:20 – 11:45
Cache Behavior Analysis with SP-relative Addressing for WCET Estimation
11:45 – 12:10
Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals
12:10 – 13:30
Lunch
13:30 – 15:10
Session II: Proving and Verification
13:30 – 13:55
Formal Verification of RISC-V Processor Chisel Designs
13:55 – 14:20
The Principle of Staking: Formal Verification of Staking Smart Contract
14:20 – 14:45
A Contract-based Framework for Formal Verification of Embedded Software
14:45 – 15:10
Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness
15:10 – 15:40
Coffee Break
15:40 – 16:55
Session III: Testing and Verification of Deep Learning Systems
15:40 – 16:05
Runtime Verification of Neural-Symbolic Systems
16:05 – 16:30
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds
16:30 – 16:55
MILE: A Mutation Testing Framework of In-Context Learning Systems
17:00 – 20:00
Reception
Day 2 (November 27, 2024)
09:00 – 10:00
Keynote speaker 2
TBD
10:00 – 10:30
Coffee Break
10:30 – 12:10
Session IV: Program Analysis
10:30 – 10:55
An Assertion-Based Separation Logic for Probabilistic Programs with Unbounded Loops
10:55 – 11:20
Extending Symbolic Heap to Support Shared Ownership
11:20 – 11:45
Constraint Based Invariant Generation with Modular Operations
11:45 – 12:10
Data-Dependent WAR Analysis for Efficient Task-Based Intermittent Computing
12:10 – 13:30
Lunch
13:30 – 14:45
Session V: Formal language and LLMs
13:30 – 13:55
A Derivative-based Membership Algorithm for Enhanced Regular Expressions
13:55 – 14:20
Enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-Expressions
14:20 – 14:45
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
15:00 – 18:00
Tour
18:00 – 20:00
Banquet
Day 3 (November 28, 2024)
09:00 – 10:00
Keynote speaker 3
LTL Synthesis with a Few Hints
10:00 – 10:30
Coffee Break
10:30 – 11:45
Session VI: Anomaly Detection and Program Optimization
10:30 – 10:55
NanoHook: An Efficient System Call Hooking Technique with One-Byte Invasive
10:55 – 11:20
EDSLog: Efficient Log Anomaly Detection Method Based on Dataset Partitioning
11:20 – 11:45
Faster Lifetime-optimal Speculative Partial Redundancy Elimination for Goto-free Programs
11:45 – 13:00
Closing & Lunch