ISEC 2026
Thu 19 - Sat 21 February 2026 Jaipur, Rajasthan, India
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 19 Feb

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

08:15 - 14:00
09:00 - 10:30
Workshop 1: Generative AI and Software EngineeringTutorials and Workshops at Auditorium
09:00
90m
Talk
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
Workshop 2: Generative AI and LLMs in Software EngineeringTutorials and Workshops at Seminar Hall
09:00
90m
Talk
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
Tea / Coffee BreakBreak at IIIM Campus
11:00 - 12:30
Workshop 1 (Continued)Tutorials and Workshops at Auditorium
11:00
90m
Talk
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
Workshop 2 (Continued)Tutorials and Workshops at Seminar Hall
11:00
90m
Talk
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
Lunch BreakBreak at IIIM Campus
12:30
90m
Lunch
Lunch
Break

14:00 - 15:30
Technical Briefings 1 at Seminar HallTutorials and Workshops
14:00
90m
Talk
Tech Briefing:Uncovering Vulnerabilities through symbolic execution using KLEE
Tutorials and Workshops
14:00 - 15:30
Workshop 1 (Continued)Tutorials and Workshops at Auditorium
14:00
90m
Talk
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
Tea/Coffee BreakBreak at IIIM Campus
15:30
30m
Coffee break
Break
Break

16:00 - 17:30
Workshop 1 (Final)Tutorials and Workshops at Auditorium
16:00
90m
Talk
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 Feb

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

08:15 - 14:00
09:00 - 09:30
Opening CeremonyResearch Papers at Auditorium
09:30 - 10:30
Keynote 1: Dr. Sarah NadiISEC 2026 Keynotes at Auditorium
09:30
60m
Keynote
Software Dependencies: Then, Now, and What’s Next
ISEC 2026 Keynotes
Sarah Nadi New York University Abu Dhabi
10:30 - 11:00
Tea / Coffee BreakBreak at IIIM Campus
11:00 - 11:15
Lightening Talks: Demo/Doctoral SymposiumResearch Papers at Auditorium
11:15 - 12:40
Research Session 1: AI-Driven Testing, Debugging, and Fault PredictionResearch Papers at Auditorium
11:15
20m
Research 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
20m
Research 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
20m
Research paper
Refining Tests through API Response Evaluation
Research Papers
Devika Sondhi IBM Research, Ananya Sharma IIIT Delhi, Diptikalyan Saha IBM Research
12:15
12m
Short-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
12m
Short-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
Doctoral Symposium / Demo Tracks SessionDoctoral Symposium / Demo Papers at Seminar Hall
11:20
30m
Demonstration
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
25m
Doctoral symposium paper
Towards Reliable Task-Based Chatbots: Coverage, Mutation, and Repair
Doctoral Symposium
Sandeep Romana , Sangharatna Godboley National Institute of Technology Warangal
12:15
20m
Doctoral symposium paper
Neuron-Centric White-Box Testing Framework: Advancing Deep Learning Model Validation with Fuzz Testing, Optimization Algorithms, and Application Development
Doctoral Symposium
12:40 - 14:00
14:00 - 15:00
Keynote 2: Dr. Marcel BöhmeISEC 2026 Keynotes at Auditorium
14:00
60m
Keynote
On Estimating Incorrectness in the Absence of Evidence
ISEC 2026 Keynotes
Marcel Böhme MPI for Security and Privacy
15:00 - 16:00
Research Session 2: Next-Generation Systems, Infrastructure, and ToolsResearch Papers at Auditorium
15:00
20m
Research 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
20m
Short-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
12m
Short-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
Doctoral Symposium SessionDoctoral Symposium at Seminar Hall
15:00
25m
Doctoral 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
25m
Doctoral 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
Tea / Coffee BreakBreak at IIIM Campus
16:30 - 18:00
Research Session 3: Software EvolutionResearch Papers at Auditorium
16:30
20m
Research paper
Adoption of AI Assisted Coding – Cognitive Barriers, Motivational Factors and Productivity Gains
Research Papers
Dhiraj SM Varanasi IIIT Hyderabad, India, Raghu Reddy IIIT Hyderabad, India, Sandip Potdar HSBC Software Development India, Himanshu S Warudkar HSBC Software Development India
16:50
20m
Research paper
Lost in the Backlog: A Thematic and Sentiment Analysis of Stale GitHub Issues
Research Papers
Mohit Kaushik Guru Nanak Dev University, Kuljit Kaur Chahal Guru Nanak Dev University
17:10
12m
Short-paper
EntroURL-Bench: A Feature-Rich Benchmark Dataset for Trustworthy Malicious URL Detection
Research Papers
Avijit Gayen IIIT Guwahati, Sayan Mondal IIIT Guwahati, Khokan Mondal Techno India University, Angshuman Jana IIIT Guwahati
17:22
12m
Short-paper
Unlocking Tacit Wisdom: A Knowledge Graph Framework for Querying Project Management Expertise
Research Papers
Anurag Agarwal IIIT Kottayam, Manu Madhavan IIIT Kottayam
17:34
12m
Short-paper
From Commits to Corrections: Toward Lightweight Mining of Python Bug-Fix Patterns from GitHub
Research Papers
Emil Spangenberg University of Southern Denmark, Jens Christian Toftdahl University of Southern Denmark, Joakim Leed University of Southern Denmark, Oliver Feldborg Hansen University of Southern Denmark, Torben Worm University of Southern Denmark, Abhishek Tiwari University of Southern Denmark, Mikkel Baun Kjærgaard University of Southern Denmark
16:30 - 18:00
16:45 - 17:30
Doctoral Symposium SessionDoctoral Symposium at Seminar Hall
16:30
25m
Doctoral symposium paper
Modeling Code Understandability
Doctoral Symposium
Vikas Kushwaha Indian Institute of Technology Kanpur
16:55
25m
Doctoral symposium paper
Formal verification of distributed, data-intensive microservice applications using Petri Nets
Doctoral Symposium
Shubham , Meenakshi D'Souza IIITB - International Institute of Information Technology Bangalore
19:00 - 22:00
Cultural Program and Banquet DinnerBreak at Chokhi Dhani

Sat 21 Feb

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:00 - 09:45
SIGSOFT Distinguished Paper Invited Talk 1ISEC 2026 Keynotes at Auditorium
09:00
45m
Talk
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
ISEC 2026 Keynotes
Saikat Chakraborty Microsoft Research
09:45 - 10:30
SIGSOFT Distinguished Paper Invited Talk 2ISEC 2026 Keynotes at Auditorium
09:45
45m
Talk
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
Tea / Coffee BreakBreak at IIIM Campus
11:00 - 11:30
ISEC Test of Time Award TalkISEC 2026 Keynotes at Auditorium
11:00
30m
Talk
Impact of Feature Selection Techniques on Bug Prediction Models
ISEC 2026 Keynotes
11:30 - 12:40
Research Session 4: Code Quality, Safety, and Security AssuranceResearch Papers at Auditorium
11:30
20m
Research 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
20m
Research 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
20m
Research 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
12m
Short-paper
Correlation-Aware Voting for Robust Code Smell Detection: An Efficient Feature Selection Approach
Research Papers
Nikita Bhedasgaonkar PICT, Pune, Govind Soni IIT Bombay, Rushikesh K. Joshi IIT Bombay
11:30 - 12:45
12:40 - 14:00
Lunch Break + Student Posters DisplayStudent Posters and Data Science Challenge at IIIM Campus
14:00 - 15:00
Keynote 3: Dr. Siddhartha AsthanaISEC 2026 Keynotes at Auditorium
14:00
60m
Keynote
Shipping Models, Not Just Code: How AI Is Forcing Software Engineering to Evolve
ISEC 2026 Keynotes
15:00 - 15:52
Research Session 5: Generative AI for Requirements and Code SynthesisResearch Papers at Auditorium
15:00
20m
Research 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
20m
Research 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
12m
Short-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
Tea / Coffee BreakBreak at IIIM Campus
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
Closing CeremonyResearch Papers at Auditorium