Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 16 JulDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Thu 16 Jul
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
10:00 - 10:50 | |||
10:00 50mTalk | From Convergence to Confidence: Push-Button Verification for Replicated Data TypesInvited Talk SERI 2026 KC Sivaramakrishnan IIT Madras and Tarides File Attached | ||
10:50 - 11:20 | |||
10:50 30mCoffee break | Break Catering | ||
13:00 - 14:30 | |||
13:00 90mLunch | Lunch at H105 Corridor Catering | ||
14:30 - 16:00 | |||
14:30 50mTalk | Verified Autonomy: Why Large Language Models Alone Aren't Enough, and What a Neuro-Formal Stack Looks LikeInvited Talk SERI 2026 | ||
15:20 20mTalk | Assertions as part of Code generation - Test-Driven Prompting Full Presentation SERI 2026 Brahma Reddy Korraprolu IIIT Hyderabad | ||
15:40 20mTalk | Memory-Safety Verification of Open Programs with Angelic AssumptionsFull Presentation SERI 2026 | ||
16:00 - 16:30 | |||
16:00 30mCoffee break | Break Catering | ||
16:30 - 18:00 | Session-3 Software ReliabilitySERI 2026 at H105 Chair(s): Snigdha Athaiya Siemens Technology Bangalore | ||
16:30 50mTalk | Mainframe Application Reliability in the Agentic AI EraInvited Talk SERI 2026 Diptikalyan Saha IBM Research | ||
17:20 20mTalk | Which Variables Really Matter? Rethinking Reliability in 5G/6G Systems under Transient FaultsFull Presentation SERI 2026 Ganesha IIITB - International Institute of Information Technology Bangalore, Sujit Kumar Chakrabarti International Institute of Information Technology Bangalore | ||
17:40 20mTalk | Trust-Aware and Explainable Self-Healing Framework for Reliable Software SystemsFull Presentation SERI 2026 | ||
19:00 - 21:00 | |||
19:00 2hDinner | Dinner Catering | ||
Fri 17 JulDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Fri 17 Jul
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:30 - 10:20 | |||
09:30 50mTalk | Bringing UNITY to Software and Hardware DesignInvited Talk SERI 2026 | ||
10:20 - 10:50 | |||
10:20 30mCoffee break | Break Catering | ||
10:50 - 12:10 | |||
10:50 20mTalk | Micro Frontend Based Performance and Maintainability Improvement of Microservices Architecture Based ApplicationsFull Presentation SERI 2026 | ||
11:10 20mTalk | The Sovereign Agent: Architectural Patterns for Privacy-Preserving Multi-Agent Systems within Corporate PerimetersFull Presentation SERI 2026 Mumtaz Shaik Octave India | ||
11:30 20mTalk | Quantum Software Architecture Framework (QSAF): A Component-Based Framework for Designing Hybrid Quantum–Classical SystemsFull Presentation SERI 2026 Arvind Kiwelekar Dr Babasaheb Ambedkar Technological University | ||
11:50 10mTalk | Cross-Modal Consistency is the Missing Abstraction in Software Engineering for AI SystemsShort Presentation SERI 2026 | ||
12:00 10mTalk | Code Augmentation: Improving Quality Of The Pipeline : A frameworkShort Presentation SERI 2026 | ||
12:10 - 13:00 | |||
12:10 50mTalk | Prompt. Pray. Deploy. — The Agentic AI Wake-Up Call for Requirements EngineeringInvited Talk SERI 2026 Chetan Arora Monash University | ||
13:00 - 14:30 | |||
13:00 90mLunch | Lunch at H105 Corridor Catering | ||
15:00 - 16:00 | |||
15:00 30mTalk | iSOFT ASCENT Presentations SERI 2026 | ||
15:30 30mTalk | SE Research In India - Opportunities Presentations SERI 2026 | ||
16:00 - 16:30 | |||
16:00 30mCoffee break | Break Catering | ||
Sat 18 JulDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Sat 18 Jul
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:15 - 09:30 | |||
09:15 15mDay opening | Welcome Note and Agenda for the Industry Talk SERI 2026 | ||
09:30 - 10:30 | |||
09:30 60mKeynote | Scaling Innovation Without Losing ControlKeynote SERI 2026 | ||
09:45 - 10:30 | |||
09:45 45mKeynote | Responsible and Safe AI EngineeringGlobal Keynote SERI 2026 Qinghua Lu Data61, CSIRO | ||
10:30 - 11:15 | |||
10:30 45mTalk | The Software Engineering Trends That Will Define the Next DecadeInvited Talk SERI 2026 Dr. Santhosh Reddy CEO at TiHAN IIT Hyderabad | ||
10:30 - 11:15 | |||
10:30 45mKeynote | Responsible AI desiderata for testing AI AgentsFeatured Keynote SERI 2026 | ||
11:15 - 11:30 | |||
11:15 15mCoffee break | Break Catering | ||
11:30 - 11:55 | |||
11:30 25mPanel | Industry PanelPanel Discussion SERI 2026 Raktim Singh Infosys, Harleen Bedi Associate Vice President & Unit Technology Officer – Quality Engineering, Infosys, Laxmi Kumar Sammeta JP Morgan Chase & Co., Prantik Chatterjee MathWorks, Vibhu Saujanya Sharma Accenture Labs, Dr. Nidhi Tiwari Microsoft | ||
11:30 - 13:00 | |||
11:30 90mPanel | Round Table Discussion: Concept to Commerce SERI 2026 | ||
11:55 - 13:15 | |||
11:55 20mTalk | Evaluation Spotlight: Assuring Autonomous Agents in the Real WorldSpotlight SERI 2026 Chetana Amancharla Infosys Limited | ||
13:00 - 14:00 | |||
13:00 60mLunch | Lunch at H105 Corridor Catering | ||
14:00 - 14:45 | |||
14:00 15mTalk | IaC-Bench - A Metric-driven Benchmark for Evaluating LLM-Generated Terraform Infrastructure-as-CodeExtended Abstract Presentation SERI 2026 Sabyasachi Mukhopadhyay International Institute of Information Technology - Hyderabad, Arihant Tripathy IIIT Hyderabad, India, Manish Shrivastava IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad | ||
14:15 15mTalk | From Prototype to Production: Deploying MCP-Driven LLM Workflows in Enterprise EngineeringExtended Abstract Presentation SERI 2026 Hemant Bansal Siemens | ||
14:30 15mTalk | Verification and Validation Methods for Enterprise Digital TwinsExtended Abstract Presentation SERI 2026 Suman Roychoudhury Tata Consultancy Services Research, Dushyanthi Mulpuru , Ansuman Banerjee , Rohan Raj Padhy Indian Statistical Institute | ||
14:00 - 14:20 | |||
14:00 20mPanel | Academic PanelPanel Discussion SERI 2026 Ashish Mishra IIT Hyderabad, Abhishek Kr Singh IIIT Hyderabad, Sangharatna Godboley NIT Warangal, Shouvick Mondal IIT Gandhinagar, M: Raktim Singh Infosys, Raghu Reddy IIIT Hyderabad, India | ||
14:20 - 15:40 | |||
14:20 25mTalk | Industry Spotlight: Keeping AI Agents Honest in ProductionSpotlight SERI 2026 Laxmi Kumar Sammeta JP Morgan Chase & Co. | ||
14:45 25mTalk | Research Spotlight: Governing the Autonomous: Requirements Engineering for Agentic AISpotlight SERI 2026 Chetan Arora Monash University | ||
15:45 - 16:00 | |||
15:45 15mCoffee break | Break Catering | ||
16:00 - 17:20 | |||
16:00 60mPanel | Building Trustworthy Systems in an Untrustworthy World - CISO/CTO/VP EnggPanel Discussion SERI 2026 M: Abhishek Kumar Thakur Institute for Development and Research in Banking Technology, Saurabh Joshi Supra Research, Prasad Sivalanka Gloplax/Ex-HSBC, Praveen Tangella Allianttalent | ||
16:00 60mPanel | Agentic Software Engineering in India and Beyond: What's Working, What's NotPanel Discussion SERI 2026 Sridhar Chimalakonda Indian Institute of Technology Tirupati, Abhishek Kumar Thakur Institute for Development and Research in Banking Technology, Vishal Pratapwant , Sibanjan Das Service Now | ||
16:40 20mTalk | Security Spotlight: Reliability, Trust, and Compliance for Software Engineering AgentsSpotlight SERI 2026 Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
17:00 20mTalk | Practice Spotlight: Agent Assessment Framework: Evaluating Agentic AI Systems beyond Task CompletionSpotlight SERI 2026 Karthik Vaidhyanathan IIIT Hyderabad | ||
17:20 - 18:00 | |||
17:20 40mDay closing | Key Takeaways and Collaboration Beyond SERI SERI 2026 | ||