[HOME]

Software Engineering Research in India - 2020
Online Event, 9 - 11 July, 2020


Today's Presentations - 10th JULY 2020


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