[HOME]

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

Today's Presentations - 11th JULY 2020

Day 3 - 11th July, 2020 - Session 5 SESSION 5: Testing, Verification, Validation (9.30 am to 11.30 am) Session Chair: Amey Karkare, IIT Kanpur
TALK 1: Distributed Bounded Model Checking - Prankit Chatterjee, IIT Kanpur	TALK 2: Optimal MC/DC Test Case Generation - Sangrathna Godboley, NIT Warangal


TALK 3: Mining Similar methods for Test Generation - Devika Sondhi, IIIT Delhi	TALK 4: REX: Preventing Bugs and Misconfigurations in Large Services using Correlated Change Analysis - Sonu Mehta, Microsoft Research

Day 3 - 11th July, 2020 - Session 6 SESSION 6: Emerging Ideas and Position Statements in SE (11.30 am to 1.40 pm) Session Chair: Y. Raghu Reddy, IIIT Hyderabad
TALK 1: Monitoring and Optimizing the "Inner loop" for Software Development - Hitesh Sajnani, Microsoft Research	TALK 2: A Small language for Tensor Combinations and its type system - Venkatesh Choppella, IIIT Hyderabad


TALK 3: Quantum Computers: Implications for Software Engineering practice - Balwinder Sodhi, IIT Ropar	TALK 4: Transformations: Here to Stay! - Ravindar Naik, TCS Research