[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