Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 19 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Thu 19 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
08:15 - 14:00 | |||
09:00 - 10:30 | |||
09:00 90mTalk | Workshop on Generative AI and Software Engineering (Gen AI & SE) Tutorials and Workshops Lalit Mohan Sanagavarapu Infosys Limited, Raveendra Kumar Medicherla TCS Research, Tata Consultancy Services, Vibhu Saujanya Sharma Accenture Labs, Ravindra Naik Tata Consultancy Services, Karthik Vaidhyanathan IIIT Hyderabad | ||
09:00 - 10:30 | |||
09:00 90mTalk | Tutorial :MAVERICK: A Workbook-Driven Approach for Comprehending Large Software Systems Tutorials and Workshops | ||
09:00 - 10:30 | |||
09:00 90mTalk | Workshop: From Testing Automation to Fault Prediction using LLM Tutorials and Workshops Sangharatna Godboley National Institute of Technology Warangal, A: Lov Kumar National Institute of Technology, Kurukshetra, P. Radha Krishna National Institute of Technology Warangal, Warangal | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 90mTalk | Workshop on Generative AI and Software Engineering (Gen AI & SE) Tutorials and Workshops Lalit Mohan Sanagavarapu Infosys Limited, Raveendra Kumar Medicherla TCS Research, Tata Consultancy Services, Vibhu Saujanya Sharma Accenture Labs, Ravindra Naik Tata Consultancy Services, Karthik Vaidhyanathan IIIT Hyderabad | ||
11:00 - 12:30 | |||
11:00 90mTalk | Tutorial :MAVERICK: A Workbook-Driven Approach for Comprehending Large Software Systems Tutorials and Workshops | ||
11:00 - 12:30 | |||
11:00 90mTalk | Workshop: From Testing Automation to Fault Prediction using LLM Tutorials and Workshops Sangharatna Godboley National Institute of Technology Warangal, A: Lov Kumar National Institute of Technology, Kurukshetra, P. Radha Krishna National Institute of Technology Warangal, Warangal | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Break | ||
14:00 - 15:30 | Technical Briefings 1 at Seminar HallTutorials and Workshops | ||
14:00 90mTalk | Tech Briefing:Uncovering Vulnerabilities through symbolic execution using KLEE Tutorials and Workshops | ||
14:00 - 15:30 | |||
14:00 90mTalk | Workshop on Generative AI and Software Engineering (Gen AI & SE) Tutorials and Workshops Lalit Mohan Sanagavarapu Infosys Limited, Raveendra Kumar Medicherla TCS Research, Tata Consultancy Services, Vibhu Saujanya Sharma Accenture Labs, Ravindra Naik Tata Consultancy Services, Karthik Vaidhyanathan IIIT Hyderabad | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Break | ||
16:00 - 17:30 | Technical Briefings 2 at Seminar HallTutorials and Workshops | ||
16:00 90mTalk | Tech Briefing:From Artifacts to Answers: Query Search Interpretation Response (QSIR) as a Foundation for Knowledge-Centric Software Engineering Tutorials and Workshops | ||
16:00 - 17:30 | |||
16:00 90mTalk | Workshop on Generative AI and Software Engineering (Gen AI & SE) Tutorials and Workshops Lalit Mohan Sanagavarapu Infosys Limited, Raveendra Kumar Medicherla TCS Research, Tata Consultancy Services, Vibhu Saujanya Sharma Accenture Labs, Ravindra Naik Tata Consultancy Services, Karthik Vaidhyanathan IIIT Hyderabad | ||
Fri 20 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Fri 20 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
08:15 - 14:00 | |||
09:00 - 09:30 | |||
09:30 - 10:30 | |||
09:30 60mKeynote | Software Dependencies: Then, Now, and What’s Next ISEC 2026 Keynotes Sarah Nadi New York University Abu Dhabi | ||
10:30 - 11:00 | |||
11:00 - 11:15 | |||
11:15 - 12:40 | |||
11:15 20mResearch paper | Proactive Software Fault Prediction with LLMs, Balanced ML, and Postmortem Analysis Research Papers Monika Yadav Central University of Haryana, Mahendergarh, Lov Kumar National Institute of Technology, Kurukshetra, Vishal Passricha Central University of Haryana, Mahendergarh | ||
11:35 20mResearch paper | Enhancing GitHub Actions Failure Explanations: Log Preprocessing and Prompt Optimization with LLMs Research Papers Venkata Sai Sravya Sambaturu University of Michigan-Flint, Meriem Mastouri University of Michigan-Flint, Belhassen Khefacha University of Michigan-Flint, Ameen Vathimattom Ashraf University of Michigan-Flint, Rafique Agyare University of Michigan-Flint, Mohamed Wiem Mkaouer University of Michigan-Flint | ||
11:55 20mResearch paper | Refining Tests through API Response Evaluation Research Papers | ||
12:15 12mShort-paper | kS-LLM: k-Step based Automatic LLM Test Case Generator using Caching Mechanism to Achieve Higher Code Coverage Research Papers Anand Sharma National Institute of Technology Warangal, VIVEK YELLETI National Institute of Technology Warangal, Sangharatna Godboley National Institute of Technology Warangal, P. Radha Krishna National Institute of Technology Warangal, Warangal | ||
12:27 12mShort-paper | A Data-Driven Framework for Evaluating Mobile UI Usability through Interaction Elements and Design Semantics Research Papers Gundala Shanmukhi Rama National Institute of Technology Warangal, Sangharatna Godboley National Institute of Technology Warangal, RAVICHANDRA SADAM National Institute of Technology Warangal | ||
11:20 - 12:40 | |||
11:20 30mDemonstration | QUERYGEN: A Tool for SQL Query Generation from Natural Language using Prompt Engineering Demo Papers Suyash Vikram Singh ABV-IIITM Gwalior, India, Santosh Singh Rathore ABV-Indian Institute of Information Technology and Management Gwalior, Saurabh Tiwari Dhirubhai Ambani University, formerly DA-IICT Gandhinagar, India | ||
11:50 25mDoctoral symposium paper | Towards Reliable Task-Based Chatbots: Coverage, Mutation, and Repair Doctoral Symposium | ||
12:15 20mDoctoral symposium paper | Neuron-Centric White-Box Testing Framework: Advancing Deep Learning Model Validation with Fuzz Testing, Optimization Algorithms, and Application Development Doctoral Symposium GEEDIKANTI SRIKANTH NITW | ||
12:40 - 14:00 | |||
14:00 - 15:00 | |||
14:00 60mKeynote | On Estimating Incorrectness in the Absence of Evidence ISEC 2026 Keynotes Marcel Böhme MPI for Security and Privacy | ||
15:00 - 16:00 | |||
15:00 20mResearch paper | DAVi: A Slim, Secure and Scalable Framework for Developing Data Analytics and Visualization Platforms Research Papers Manish Agrawal IIT Kanpur, Prashik Ganer IIT Kanpur, Amit Bhasita IIT Kanpur, Khushwant Kaswan IIT Kanpur, Tippireddy Yashwanth IIT Kanpur, Soumya Dutta IIT Kanpur, Purushottam Kar IIT Kanpur | ||
15:20 20mShort-paper | Towards a Decentralised Peer-To-Peer Framework for Inter-Cluster Communication in Kubernetes Research Papers Chaitanya Tandon Indian Institute of Technology, Jammu, Mohd Sarim Shamim Indian Institute of Technology, Jammu, Sohit Dhawan Indian Institute of Technology, Jammu, Himanshu IIT Jammu, Subrata Goswami Samsung R&D Institute, Bangalore, Harsh Mehra Samsung R&D Institute, Bangalore, Avanish Pandey Samsung R&D Institute, Bangalore, Sarada Prasad Gochhayat Indian Institute of Technology, Jammu | ||
15:40 12mShort-paper | Leveraging LLMs for Generating Infrastructure as Code: An Exploratory Empirical Study Research Papers Sabyasachi Mukhopadhyay International Institute of Information Technology - Hyderabad, Manish Shrivastava IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad, Ganesh Srivatsa Kalahasti IIIT Hyderabad | ||
15:00 - 16:00 | |||
15:00 - 16:00 | |||
15:00 25mDoctoral symposium paper | Advancements in Runtime Enforcement Frameworks for Reactive Systems Doctoral Symposium Ayush Anand Indian Institute of Technology Bhubaneswar, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA | ||
15:25 25mDoctoral symposium paper | An Integrated Approach to Hybrid Fuzz–Combinatorial and Structured Testcase Generation for Improved Coverage and Fault Detection Efficiency Doctoral Symposium Nethravathi Rippika national institute of technology warangal, Sangharatna Godboley National Institute of Technology Warangal | ||
16:00 - 16:30 | |||
16:30 - 18:00 | |||
16:45 - 17:30 | |||
16:30 25mDoctoral symposium paper | Modeling Code Understandability Doctoral Symposium Vikas Kushwaha Indian Institute of Technology Kanpur | ||
16:55 25mDoctoral symposium paper | Formal verification of distributed, data-intensive microservice applications using Petri Nets Doctoral Symposium | ||
19:00 - 22:00 | |||
Sat 21 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Sat 21 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:00 - 09:45 | |||
09:00 45mTalk | Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming ISEC 2026 Keynotes Saikat Chakraborty Microsoft Research | ||
09:45 - 10:30 | |||
09:45 45mTalk | A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification ISEC 2026 Keynotes Nian-Ze Lee National Taiwan University, Taiwan | ||
10:30 - 11:00 | |||
11:00 - 11:30 | |||
11:00 30mTalk | Impact of Feature Selection Techniques on Bug Prediction Models ISEC 2026 Keynotes | ||
11:30 - 12:40 | |||
11:30 20mResearch paper | From Correctness to Code Quality: Formalizing Software Engineering Metrics for Evaluating General LLMs Research Papers JAYESH UMRE PDPM Indian Institute of Information Technology, Design and Manufacturing (IIITDM), Jabalpur, MP, India, Ashish Singh Parihar PDPM Indian Institute of Information Technology, Design and Manufacturing (IIITDM), Jabalpur, MP, India, Atul Gupta PDPM Indian Institute of Information Technology, Design and Manufacturing (IIITDM), Jabalpur, MP, India | ||
11:50 20mResearch paper | Cp2SRust: A Transpiler for C/C++ to Safer Rust Research Papers Vedanta Mohapatra Indian Institute of Technology, Bhubaneswar, Dhiren Tripuramallu Indian Institute of Technology, Bhubaneswar, Arnav Kumar Behera Indian Institute of Technology, Bhubaneswar, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Shinde Arjun Shivaji Samsung R&D Inst., Bangalore, Ajaganna Bandeppa Samsung R&D Inst., Bangalore | ||
12:10 20mResearch paper | Modeling and Verification of Enhanced MTIP: Secure and Sleepy Research Papers Manan Khanna Indian Institute of Technology Bhubaneswar, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar | ||
12:30 12mShort-paper | Correlation-Aware Voting for Robust Code Smell Detection: An Efficient Feature Selection Approach Research Papers | ||
11:30 - 12:45 | |||
12:40 - 14:00 | |||
14:00 - 15:00 | |||
14:00 60mKeynote | Shipping Models, Not Just Code: How AI Is Forcing Software Engineering to Evolve ISEC 2026 Keynotes Siddhartha Asthana Mastercard | ||
15:00 - 15:52 | |||
15:00 20mResearch paper | cfgLLM: Automated assistance for software requirements using multi-LLM Fusion Agentic Framework Research Papers Chigilipalli Lohit Aryan Chakravarthi National Institute of Technology Warangal, VIVEK YELLETI National Institute of Technology Warangal, Sangharatna Godboley National Institute of Technology Warangal, P. Radha Krishna National Institute of Technology Warangal, Warangal | ||
15:20 20mResearch paper | UCGen: Leveraging LLMs for Automated Generation of Use Case Textual Descriptions from Requirements Specification Research Papers Mohammed Ammar Karimi Dhirubhai Ambani University, formerly DA-IICT Gandhinagar, India, Saurabh Tiwari Dhirubhai Ambani University, formerly DA-IICT Gandhinagar, India | ||
15:40 12mShort-paper | STARK: A Comprehensive Framework for PLC Structured Text Assistant for Reasoning and Knowledge Research Papers Diya Saha TCS Research, Biswajit Chatterjee TCS Research, Supriya Gain TCS Research, Manjira Sinha TCS Research, Tirthankar Dasgupta TCS Research, Chirabrata Bhaumik TCS Research | ||
16:00 - 16:30 | |||
16:30 - 17:30 | Industry Panel Discussion: Will Agentic SE Kill Junior Developers or Create Better Ones?Research Papers at Auditorium | ||
17:30 - 18:00 | |||