OOPSLA videos are up! youtube.com/playlist?list=…

Check out our CACM article on measuring the impact of GitHub Copilot on developer productivity! There’s a brief video here as well: cacm.acm.org/videos/measuri…

What if natural language really is the new programming language? We’re designing the future of end-user programming, and now, we’re looking for curious #computerscience minds to join us in making it happen. #programmingjobs #hiring #techjobs #GenAI linkedin.com/pulse/edge-pos…

Folks, give this new tool from RiSE a spin: github.com/microsoft/aici. Prompts are WASM programs and gives you a flexible/programmable way to control the output of an LLM. Semantics matter :)

Announcing the STCS Vigyan Vidushi 2024: the programme aims to provide participants exposure to contemporary topics in theoretical computer & systems sciences, and also to promote research in CS as a career among women. For more details, visit tcs.tifr.res.in/~stcs-vv-24/

Excited with this opportunity! Can't wait to share insights on AI advancements, PROSE team's work, and our impact at Microsoft. See you in July at #AIware2024! 🎙️🔥

📣 Participate in our study “Exploring the Usability Barriers in Liquid Types” Do you work with LiquidHaskell, have worked in the past, or know Haskell and want to learn LiquidHaskell? Then this study is for you! Sign up: tinyurl.com/lh-user-study Study by CMU Software and Societal Systems Department and LASIGE

Just co-authored a blog post with Emery Berger arguing that #AI requires dramatic changes in #computingsystems research. #programminglanguages #computingresearch #LLMs #ML #computers blog.sigplan.org/2024/04/23/ai-… sigarch.org/ai-software-sh… #POSW #AISW

Learning about the state and the future of AI-assisted programming from Nadia Polikarpova's keynote PLDI

Our paper "HySynth: Context-Free LLM Approximation for Guiding Program Synthesis" is now accepted at #NeurIPS2024! HySynth presents a hybrid approach that uses LLM solutions to guide search Preprint: arxiv.org/abs/2405.15880 w/ Saketh Kasibatla Emmanuel Anaya González Nadia Polikarpova Taylor Berg-Kirkpatrick

In some better news… We're hiring! 📢 Join us in creating reliable, useful, and safe #AI #agents and systems.🤖 If you🩷working with awesome people in a vibrant, collaborative research lab💻, check out our opportunities below! 👇 #MicrosoftResearch #AIFrontiers AutoGen

The deadline for applications to become a student volunteer POPL 2026 has been extended until November 14th AOE! Please share to maximise reach :)

Looking for summer intern candidates interested in building tools to help author, test, debug, and deploy AI model prompts. PhD candidates with experience and skills in #ML, #RL, #NLP, #LLMs, & SE apply: lnkd.in/gAYXR9zT #AI #SoftwareEngineering #LLM #PromptEngineering

🌟Excited to be attending #NeurIPS2024 this year! Come find me at our poster "HySynth: Context-Free LLM Approximation for Guiding Program Synthesis" on Thursday at 4:30 pm in East Exhibit Hall A-C.

Research Fellow Opportunities at Microsoft Reseach India

With Reshabh K Sharma, Peli de Halleux, and Shraddha Barke, we just released "PromptPex: Automatic Test Generation for Language Model Prompts"(arxiv.org/abs/2503.05070). Repo: github.com/microsoft/prom…. PromptPex is a tool to generate and evaluate unit tests for an AI model prompt.

Reshabh K Sharma , Peli de Halleux, and Shraddha Barke and I have written a new blog post, blog.sigplan.org/2025/03/20/tes…, where we say that testing AI software requires innovative new methods. #SoftwareTesting #SoftwareDevelopment #ArtificialIntelligence #SoftwareTools #LLMs #AISoftware

Passionate about frontier AI models, classical symbolic reasoning, and safe/secure software? Consider applying for this position on AI-aided code analysis in my team at @GoogleDeepmind: job-boards.greenhouse.io/deepmind/jobs/…. The job is London-based, and the application deadline is July 14.