SERI 2025
Fri 11 - Sat 12 July 2025 Warangal Telangana, India
Date Timing Session Topic Speaker Institute/Organization Type
11-07-2025
8.45 - 9.15Registration
9.15-9.30Inaugural CeremonySangharatna Godboley / P RadhakrishnaNIT Warangal
9.30-9.40SERI PC ReportRaveendra/Unnikrishnan
9.40-10.00Address/Message By Institute DignitaryNIT Warangal
10.00-13.00Session 1Session ChairKarthik VidyanadhanIIIT Hyderabad
10.00-10.45Invited Talk 1K V RaghavanIISc, Bangalore
10.45-11.15Tea break
11.15-13.00Architecture/Design
11.15-11.30DRAFT-ing Architectural Design Decisions using LLMsRudra DharIIIT HyderabadFull
11.30-11.45Element based User Interaction with Design Semantics of Mobile Apps: A Data-Driven Study Using the Rico DatasetShanmukhi RamaNIT WarangalFull
11.45-12.00Are Prompts Specifications? - A Zero-Shot Prompting Experiment in Evaluating Long-Form Submissions with LLMsMrityunjay KumarBITS PilaniFull
12.00-12.15Architecting Digital Twins for Smart CitiesLikhith KanigollaIIIT HyderabadShort
12.15-12.30Domain Aligned Microservices DecompositionJay GandhiTCS ResearchFull
12.30-12.45Micro frontend based framework for improving the performance and maintainability of microservices applicationsNeha KaushikJC Bose Univ, HaryanaFull
12.45-13.00Discussion
13.00-14.30Lunch & Networking
14.30-16.10Session 2Session ChairDurga Prasad MohapatraNIT Rourkela
14.30-16.10Testing/Verification
14.30-15.15Invited Talk 2Atul KumarIBM Research, Bangalore
15.15-15.30Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne ApplicationsChandrasekar SIIIT HyderabadFull
15.30-15.45Making efective carbon‑box testing technique using prioritised‑selected test cases driven combinatorial approachNethravathi RippikaNIT WarangalFull
15.45-16.00Performance-Aware Mutation Testing in C: Prioritizing Mutants Based on CPU Utilization, RAM Access, and Operator PrecedenceAjay SirsatNIT WarangalFull
16.00-16.10Discussion
16.10-16.30Tea break
16.30-17.45Panel/Impromptu discussion
19.00-21.00Banquet Dinner
12-07-2025
9:00-12:50Session 3Session ChairManju Bala BisiNIT Warangal
9.00-10.30Testing4AI/AI4Testing
9.00-9.45Invited Talk 3Jyothi VeduradaIIT Hyderabad
9.45-10.00Neuron-Centric White-Box Testing Framework: Advancing Deep Learning Model Validation with Fuzz Testing, Optimization Algorithms, and Application DevelopmentGEEDIKANTI SRIKANTHNIT WarangalFull
10.00-10.10Optimal Testcase Generator for Dialogflow CX ChatbotsSandeep RomanaNIT WarangalShort
10.10-10.20Toward Intelligent and Scalable Exploitation of Smart Contracts: A Unified Framework for Vulnerability Detection and Automated Attack SynthesisManasa GandhariNIT WarangalShort
10.20-10.30Discussion
10.30-11.00Tea break
11.00-13:00Session 4Session ChairK.V RaghavanIISc, Bangalore
11.00-11.50AI/Intelligent Algorithms
11.00-11.10Framework to assess, monitor and enhance sustainability in AI-enabled SystemsAkhila MatathammalIIITHShort
11.10-11.20GSOHC: Global Synchronization Optimization in Heterogeneous ComputingSoumik BasuIIT HyderabadShort
11.20-11.35Symbolic fixpoint algorithms for logical LTL gamesStanly SamuelIIScFull
11.35-11.40Discussion
11.40-13.00AI4SE
11.40-11.55Trustworthy Automated Programming using LLMsAbhishek SinghIIIT HyderabadFull
11.55-12.10MOYA: LLM Powered Multi-Agent Framework for Autonomous CloudOpsSreemaee AkshathalaIIIT HyderabadFull
12.10-12.25HarmonE: A Self-Adaptive Approach to Architecting Sustainable MLOpsHiya BhattIIIT HyderabadFull
12.25-12.35Leveraging Generative AI for Data MappingArihantTCS ResearchShort
12.35-12.45Mitigating Cold Start in Serverless Environments Using Time Series ForecastingSandeep NekkalaNIT MizoramShort
12.45-12.50Discussion
12.50-13.00Vote of Thanks
13.00-14.30Lunch & Networking