Day 2 - 10th July, 2020 - Session 3 SESSION 3: Analysis, Synthesis, Optimization (9.00 am to 11.30 am) Session Chair: Rahul Purandare, IIIT Delhi
|
TALK 1: Effective MHP Analysis - Krishna Nandivada, IIT Madras
|
TALK 2: Static Analysis of Detecting High Level races in RTOS Kernels - Meenakshi D'Souza, IIIT Bengaluru
|
|
|
|
|
TALK 3: Manthan: A Data-Driven Approach for Boolean Function Synthesis - Priyanka Golia, IIT Kanpur/ NUS Singapore
|
TALK 4: Efficiency in Pointer Analysis: The Road Ahead - Manas Thakur, IIT Mandi
|
|
|
Day 2 - 10th July, 2020 - Session 4 SESSION 4: Testing, Verification, Validation (11.30 am to 1.40 pm) Session Chair: K Raghavan, IISc Bengaluru
|
TALK 1: Mahtab: Phase-wise acceleration of regression testing of C - Shouvick Mondal, IIT Madras
|
TALK 2: Verification of Database driven applications - Geetam Chawla, IISc Bengaluru
|
|
|
|
|
TALK 3: Interactive Debugging of concurrent programs under related memory models - Pankaj Kumar Kalita, IIT Kanpur
|
TALK 4: Verifying Array Manipulating Programs with Full-Program Induction - Divyesh Unadkat, IIT Bombay
|
|
|