Microsoft Research (India)

Recent papers from Microsoft Research (India)

1. Equivalence Checking of ML GPU KernelsProceedings of the ACM on Programming Languages · 2026
2. Advancing automated phase recognition in cataract surgery through the SICS-155 challengeMedical Image Analysis · 2026
3. Artificial Intelligence and Antimicrobial Stewardship: From Clinical Decision Support to Public Health ActionJournal of Global Antimicrobial Resistance · 2026
4. Droplet-resolved transport and charge neutralization in bipolar electrospraysTransport Phenomena · 2026
5. An analysis of secure software delivery validation using blockchainInternational Journal of Critical Computer-Based Systems · 2026
6. Project Everest: Perspectives from Developing Industrial-Grade High-Assurance SoftwareACM Transactions on Programming Languages and Systems · 2026
7. Sakshm AI: Advancing AI-Assisted Coding Education for Engineering Students in India Through Socratic Tutoring and Comprehensive FeedbackACM Journal on Computing and Sustainable Societies · 2026
8. Emergence of selectivity and rectification phenomena in voltage-gated nanopores from axial field-induced interfacial gradientsNanoscale · 2026
9. Uncovering inequalities in new knowledge learning by large language models across different languagesProceedings of the National Academy of Sciences · 2025
10. Utility of an LLM-powered experts-in-the-loop chatbot for pre- and post-operative care of cataract surgery patientsEuropean Journal of Ophthalmology · 2025
11. SAGESERVE: Optimizing LLM Serving on Cloud Data Centers with Forecast Aware Auto-ScalingProceedings of the ACM on Measurement and Analysis of Computing Systems · 2025
12. From Efficiency to Equity: Measuring Fairness in Preference Learning2025
13. Memory-Safety Verification of Open Programs with Angelic AssumptionsProceedings of the ACM on Programming Languages · 2025
14. GNNetic: Unpacking Player Decisions in Multiplayer Card Games to Drive Interface Design Improvements and Personalized Skill Enhancement: An Online Rummy Case StudyProceedings of the ACM on Human-Computer Interaction · 2025
15. Efficient LLM Inference via Chunked PrefillsACM SIGOPS Operating Systems Review · 2025
16. Challenges in Using Conversational AI for Data Science2025
17. PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed ProgramsProceedings of the ACM on Programming Languages · 2025
18. CataractBot: An LLM-powered Expert-in-the-Loop Chatbot for Cataract PatientsProceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies · 2025
19. Recent Developments in DFTB+, a Software Package for Efficient Atomistic Quantum Mechanical SimulationsThe Journal of Physical Chemistry A · 2025
20. Physics-Based Fault Analysis for Commodity PIR Sensors*ACM Transactions on Sensor Networks · 2025