IntelliCode suggestions is now generally available in Visual Studio 2019 v16.7! After a lot of research and engineering, I am happy to see our research on modeless program synthesis become a product! aka.ms/modeless-progr…

We released IntelliCode suggestions yesterday which is driven by our work on modeless synthesis: devblogs.microsoft.com/visualstudio/m… It took a lot of research and engineering to get here. Check out this video by Gustavo Soares on the journey from paper to product: microsoft.com/en-us/research…

Something I worked on and one of the best games ever being appreciated in the same tweet? 😮 Feels like I should be checking something off from a list of life goals 😊

Unfortunately I've had a lot of personal experience with a loved one contemplating suicide. It is hard and awful for everyone involved. I just came across an impressive resource which concisely presents 5 ways to help. Please read. bethe1to.com/bethe1to-steps…

The Javascript world is a little scary if you aren't used to it.

America's map right now be like

It sucks when your latest idea is scooped by a paper from 2004 😩

Congratulations to my colleague Ranjita Bhagwan at MSR India for winning the ACM India Outstanding Contributions in Computing by a Woman (OCCW) 2020 Award. acm.org/articles/acm-i…

Okay, using IntelliCode feels like magic! I changed one line. It suggested the same change to three other lines and was spot on! visualstudio.microsoft.com/services/intel…

Microsoft Research is looking for PhD interns in neuro-symbolic program synthesis and semantic parsing for Summer 2021. If interested, please apply at careers.microsoft.com/us/en/job/9254… AND reach out to me.

Congratulations Sumit Gulwani !!!

When program synthesis meets HCI 🤯

Now we have code completions in Visual Studio powered by program synthesis 😍

🇺🇦 Alex Polozov Last sentence of our ICSE'17 paper: "We hope that with our future work ... REFAZER will become the first major application of inductive programming that leverages research developments from the entire field of software engineering". ~4 years later 😲

This journalist changed his first name to "Regret" because of all the rejections he's received starting "We regret": indianjournalismreview.com/2011/10/02/375… As someone who wants to handle paper rejections better, I wonder if this is handling rejections very well or very poorly.