Adharsh Kamath

PhD student @siebelschool | Previously @MSFTResearch @surathkal_nitk | PL/FM/SE, AI4Code

[Adharsh Kamath @adharshkamath]

@kc_srk @vimala_sp @durwasa_dc Congratulations @vimala_sp @durwasa_dc! 🥳🎉

[Shaurya Gomber @s_gomber]

Excited to share that our paper titled "Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation" has been accepted at PLDI 2026! #PLDI2026

Huge thanks to my collaborators @debangshuban18 and @ggn_dp_sngh!

Details in 🧵
[1/N]

[PL/FM/SE at Illinois @plfmse]

🚀 Introducing Structured LLM, a new framework for making large language models more aligned, useful, and efficient.

👉 Check it out here: https://t.co/Qk9hjpnmVL

[Adharsh Kamath @adharshkamath]

@xu_dong_sun @siebelschool @eceuoft Congratulations! 🎉🎉

[Adharsh Kamath @adharshkamath]

@OfficialTanvi Congratulations! 🎉

[Adharsh Kamath @adharshkamath]

@hfeniser @AmazonAlexa Congratulations! 🎉🎉

[Adharsh Kamath @adharshkamath]

@nalin_wadhwa @LingmingZhang @UofIllinois Congratulations, Nalin! 🎉
Welcome to Illinois!

[Adharsh Kamath @adharshkamath]

@ajay9470 Congratulations! 🎉

[Balajinaidu @ba1ajinaidu]

Hi everyone,

I’m on the hunt for my next role! I thrive on solving infrastructure and security challenges. Know a team that could use my skills? Let’s chat!

[Adharsh Kamath @adharshkamath]

@s_gomber Congratulations Shaurya! 🥳🎉

[Nagarajan Natarajan @naga86]

Microsoft Research India is excited to announce applications are open for our Research Fellow program (deadline 15th Feb 2025). Details of the program and the application are here:

🔗 Research Fellow program: https://t.co/cTxxrxJrkA

@MSFTResearch

[Raghav Malik @RaghavMalik15]

Personal update: I'm on the faculty job market this year! My research lies at the intersection of PL and security; specifically, I like making privacy-preserving programs more efficient and easier to write. You can also read more at my website (https://t.co/79MsmuAObp), but:

[Adharsh Kamath @adharshkamath]

@agrima_seth @kentarotoyama @umsi @GoogleAI Congratulations! 🎉🎉

[Saikat Chakraborty @saikatch107]

Our work on Proof Oriented Programming with AI is in this month's Microsoft Research Focus. One step towards provably correct programming with AI. https://t.co/mviuendZjp

[Mike Dodds @miike]

I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: https://t.co/pEnr6noLpA

[Shuvendu Lahiri @LahiriShuvendu]

Can user-intent formalization (clarification through specifications starting with tests) help users generate correct code from informal intent? TSE paper explores this question with a user study and empirical evaluation with TiCoder https://t.co/tDE7lXNuhK

[Saikat Dutta @saikatdutta2012]

Its that time of the year again!

I am recruiting PhD students @CornellCIS for Fall 2025! Deadline: Dec 15, 2024.

Looking for students interested in working at the intersection of Software Engineering and Machine Learning! Please apply and reach out!

RT!

[Shuvendu Lahiri @LahiriShuvendu]

Excited to attend @FSEconf and @AIwareConf to learn about latest research in AI4SE and sharing our work in trusted AI-assisted programming https://t.co/mflXY9JXE9, including LLM-assisted user-intent-formalization https://t.co/4AKheKCIPm

[Adharsh Kamath @adharshkamath]

@adithyamuralism Many congratulations!!!! 🥳🥳🥳

[Shuvendu Lahiri @LahiriShuvendu]

This edition of @MSFTResearch Research Focus features our research on synthesizing high quality program specifications from informal intent using LLMs, to appear at @FSEconf . Work done as part of https://t.co/VvatKEbQ7M Project. @cellocorgi @fakhourysm @saikatch107 @RiSE_MSR