Auditorium - ISEC 2026

VenueIIIM-(Campus Unit of The IISU)

Room nameAuditorium

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

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

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

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

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

	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

	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

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

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

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

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 Muthukumaran K

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

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 Siddhartha Asthana Mastercard

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: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

Thu 19 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Auditorium	Tutorials and Workshops Workshop 1: Generative AI and Software Engineering Tutorials and Workshops 09:00 - 10:30 Tutorials and Workshops 09:00 - 10:30																								Tutorials and Workshops Workshop 1 (Continued)																																				Tutorials and Workshops Workshop 1 (Continued)																								Tutorials and Workshops Workshop 1 (Final)

Fri 20 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Auditorium	ISEC 2026 Keynotes ISEC 2026 Keynotes 09:00 - 09:30 Break 09:00 - 09:30 Research Papers Opening Ceremony 09:00 - 09:30						ISEC 2026 Keynotes ISEC 2026 Keynotes Keynote 1: Dr. Sarah Nadi 09:30 - 10:30 ISEC 2026 Keynotes 09:30 - 10:30 Break 09:30 - 10:30																		Research Papers Lightening Talks: Demo/Doctoral Symposium			Research Papers Research Session 1: AI-Driven Testing, Debugging, and Fault Prediction Research Papers 11:15 - 12:40																																	ISEC 2026 Keynotes Keynote 2: Dr. Marcel Böhme Break 14:00 - 15:00 ISEC 2026 Keynotes 14:00 - 15:00												Research Papers Research Session 2: Next-Generation Systems, Infrastructure, and Tools																		Research Papers Research Session 3: Software Evolution

Sat 21 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Auditorium	ISEC 2026 Keynotes SIGSOFT Distinguished Paper Invited Talk 1									ISEC 2026 Keynotes SIGSOFT Distinguished Paper Invited Talk 2															ISEC 2026 Keynotes ISEC Test of Time Award Talk						Research Papers Research Papers Research Session 4: Code Quality, Safety, and Security Assurance 11:30 - 12:40																														ISEC 2026 Keynotes ISEC 2026 Keynotes Keynote 3: Dr. Siddhartha Asthana 14:00 - 15:00												Research Papers Research Session 5: Generative AI for Requirements and Code Synthesis Research Papers 15:00 - 16:00																		Break Research Papers Industry Panel Discussion: Will Agentic SE Kill Junior Developers or Create Better Ones? 16:30 - 17:30												Research Papers Research Papers Closing Ceremony 17:30 - 18:00

Thu 19 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Auditorium	ISEC Tutorials and Workshops Workshop on Generative AI and Software Engineering (Gen AI & SE) 09:00 - 10:30																								ISEC Tutorials and Workshops Workshop on Generative AI and Software Engineering (Gen AI & SE) 11:00 - 12:30																																				ISEC Tutorials and Workshops Workshop on Generative AI and Software Engineering (Gen AI & SE) 14:00 - 15:30																								ISEC Tutorials and Workshops Workshop on Generative AI and Software Engineering (Gen AI & SE) 16:00 - 17:30

Fri 20 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Auditorium							ISEC Keynotes Software Dependencies: Then, Now, and What’s Next 09:30 - 10:30																					ISEC Research Papers Proactive Software Fault Prediction with LLMs, Balanced ML, and Postmor ... 11:15 - 11:35				ISEC Research Papers Enhancing GitHub Actions Failure Explanations: Log Preprocessing and Pr ... 11:35 - 11:55				ISEC Research Papers Refining Tests through API Response Evaluation 11:55 - 12:15				ISEC Research Papers kS-LLM: k-Step based Automatic LLM Test Case Generator using Caching Me ... 12:15 - 12:27		ISEC Research Papers A Data-Driven Framework for Evaluating Mobile UI Usability through Inte ... 12:27 - 12:39																			ISEC Keynotes On Estimating Incorrectness in the Absence of Evidence 14:00 - 15:00												ISEC Research Papers DAVi: A Slim, Secure and Scalable Framework for Developing Data Analyti ... 15:00 - 15:20				ISEC Research Papers Towards a Decentralised Peer-To-Peer Framework for Inter-Cluster Commun ... 15:20 - 15:40				ISEC Research Papers Leveraging LLMs for Generating Infrastructure as Code: An Exploratory E ... 15:40 - 15:52										ISEC Research Papers Adoption of AI Assisted Coding – Cognitive Barriers, Motivational Facto ... 16:30 - 16:50				ISEC Research Papers Lost in the Backlog: A Thematic and Sentiment Analysis of Stale GitHub ... 16:50 - 17:10				ISEC Research Papers EntroURL-Bench: A Feature-Rich Benchmark Dataset for Trustworthy Malici ... 17:10 - 17:22		ISEC Research Papers Unlocking Tacit Wisdom: A Knowledge Graph Framework for Querying Projec ... 17:22 - 17:34

Sat 21 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Auditorium	ISEC Keynotes Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming 09:00 - 09:45									ISEC Keynotes A Transferability Study of Interpolation-Based Hardware Model Checking ... 09:45 - 10:30															ISEC Keynotes Impact of Feature Selection Techniques on Bug Prediction Models 11:00 - 11:30						ISEC Research Papers From Correctness to Code Quality: Formalizing Software Engineering Metr ... 11:30 - 11:50				ISEC Research Papers Cp2SRust: A Transpiler for C/C++ to Safer Rust 11:50 - 12:10				ISEC Research Papers Modeling and Verification of Enhanced MTIP: Secure and Sleepy 12:10 - 12:30				ISEC Research Papers Correlation-Aware Voting for Robust Code Smell Detection: An Efficient ... 12:30 - 12:42																		ISEC Keynotes Shipping Models, Not Just Code: How AI Is Forcing Software Engineering ... 14:00 - 15:00												ISEC Research Papers cfgLLM: Automated assistance for software requirements using multi-LLM ... 15:00 - 15:20				ISEC Research Papers UCGen: Leveraging LLMs for Automated Generation of Use Case Textual Des ... 15:20 - 15:40				ISEC Research Papers STARK: A Comprehensive Framework for PLC Structured Text Assistant for ... 15:40 - 15:52

Room information: Auditorium

Program Display Configuration

Thu 19 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Fri 20 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Sat 21 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Thu 19 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Tutorials and Workshops

Tutorials and Workshops

Tutorials and Workshops

Tutorials and Workshops

Tutorials and Workshops

Tutorials and Workshops

Fri 20 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

ISEC 2026 Keynotes

ISEC 2026 Keynotes

Break

Research Papers

ISEC 2026 Keynotes

ISEC 2026 Keynotes

ISEC 2026 Keynotes

Break

Research Papers

Research Papers

Research Papers

ISEC 2026 Keynotes

Break

ISEC 2026 Keynotes

Research Papers

Research Papers

Sat 21 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

ISEC 2026 Keynotes

ISEC 2026 Keynotes

ISEC 2026 Keynotes

Research Papers

Research Papers

ISEC 2026 Keynotes

ISEC 2026 Keynotes

Research Papers

Research Papers

Break

Research Papers

Research Papers

Research Papers

Thu 19 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Fri 20 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Sat 21 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Information for Participants

Thu 19 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Fri 20 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Sat 21 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Thu 19 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Fri 20 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Sat 21 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Thu 19 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Fri 20 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Sat 21 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change