| S.No |
Speaker Name |
Institute |
Presentation Title |
| 1 |
V Krishna Nandivada |
IIT Madras |
Efficient MHP Analysis |
| 2 |
Ravindra Naik |
TCS Research |
Transformations: Here to Stay! |
| 3 |
Sonu Mehta |
Microsoft Research |
Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated Change Analysis |
| 4 |
Vikrant Kaulgud |
Accenture Labs, Accenture |
Developing Responsible Software - Research Framework and Early Results in Green ML |
| 5 |
Divyesh Unadkat |
IIT Bombay |
Verifying Array Manipulating Programs with Full-Program Induction |
| 6 |
Venkatesh Choppella |
IIIT Hyderabad |
A small language for Tensor Combinators and its type system |
| 7 |
Atri Mandal |
IBM Research, India |
Practical considerations of deploying AI infused Software Application at Scale: A Case Study |
| 8 |
Pankaj Kumar Kalita |
IIT Kanpur |
Interactive debugging of concurrent programs under relaxed memory models. |
| 9 |
Shouvick Mondal |
IIT Madras |
Mahtab: Phase-wise acceleration of regression testing for C |
| 10 |
Naveen Kulkarni |
IIIT-Hyderabad |
Supporting comprehension of unfamiliar programs by modelling cues |
| 11 |
Chanchal Roy |
University of Saskatchewan |
Clone detection in big code: techniques, benchmarks and applications |
| 12 |
Diptikalyan Saha |
IBM Research AI |
Data Synthesis for AI Testing |
| 13 |
Manas Thakur |
IIT Mandi |
Efficiency in Pointer Analysis: The Road Ahead |
| 14 |
Devika Sondhi |
IIIT Delhi |
Mining Similar Methods for Test Generation |
| 15 |
Sangharatna Godboley |
NIT Warangal |
Optimal MC/DC Test Case Generation |
| 16 |
Meenakshi D'Souza |
IIIT-Bangalore |
Static Analysis for Detecting High-Level Races in RTOS Kernels |
| 17 |
Priyanka Golia |
IIT Kanpur, NUS Singapore |
Manthan: A Data-Driven Approach for Boolean Function Synthesis |
| 18 |
Arpit Sharma |
IISER Bhopal |
Automatic Word Embeddings-Based Glossary Term Extraction from Large-Sized Software Requirements |
| 19 |
Nitin Ramrakhiyani |
TCS Research, IIIT Hyderabad |
Extraction of Message Sequence Charts from Software Use-Case Descriptions |
| 20 |
Prantik Chatterjee |
IIT Kanpur |
Distributed Bounded Model Checking |
| 21 |
Geetam Chawla |
IISc Bengaluru |
Verification of Database-driven Applications |
| 22 |
A Eashaan Rao |
IIT Tirupati |
An Exploratory Study Towards Understanding Lambda Expressions in Python |
| 23 |
Hitesh Sajnani |
Microsoft Research |
Monitoring and Optimizing the "Inner Loop" of Software Development |
| 24 |
Balwinder Sodhi |
IIT Ropar |
Quantum computers :: Implications for software engineering practice |
|
| Waitlist Presentations |
| S.No |
Speaker Name |
Institute |
Presentation Title |
| 1 |
Anshuman Dhuliya |
IIT Bombay |
Synergistic Program Analyzer (SPAN) |
| 2 |
Shivali Agarwal |
IBM Research India |
Automatic Microservice Candidate Identification from Monolithic Applications |
| 3 |
Giriprasad Sridhara |
IBM Research India |
Dependency Migration Assistant (DMA) |
| 4 |
Akhila Sri Manasa Venigalla |
IIT Tirupati |
SOTagger - Towards Classifying Stack Overflow Posts through Contextual Tagging |
| 5 |
Divyanjali |
IIT Delhi |
Partial Order based Thread-modular Analysis of Release-Acquire Concurrency |
