PROGRAM
Wednesday, October 9th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 2: Invited talk
Location: main building
09:00 | Top-down Horn Clause-based Program Analysis in the Ciao Language (abstract) |
10:00-10:30Coffee Break
10:30-12:00 Session 3: Modeling and Verification
Location: main building
10:30 | Modeling Concurrent Behaviors as Words (abstract) |
11:00 | Static Detection of Event-Driven Races in HTML5-Based Mobile Apps (abstract) |
11:30 | Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems (abstract) |
12:30-14:00Lunch Break
14:00-15:00 Session 4: Invited talk
Location: Hotel Vincci Porto
14:00 | 1968 to 2019: Half a Century of Correctness Enhancement (abstract) |
15:00-15:30Coffee Break
15:30-16:30 Session 5: Security Analysis
Location: Hotel Vincci Porto
15:30 | Analysing Security Protocols Using Scenario Based Simulation (abstract) |
16:00 | Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis (abstract) |
16:30-17:30 Session 6: Timed systems
Location: Hotel Vincci Porto
16:30 | Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems (abstract) |
17:00 | Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules (abstract) |