Arjun Radhakrishna

Researcher @ Microsoft in the PROSE team. Working on programming synthesis.

[Arjun Radhakrishna @arjun_rad]

@AProblemSquared @standupmaths You can use any set of reals that are linearly independent over rationals (e.g., the square roots of primes). Then, any sum of any number of them will be unique. It is going to be a mess computationally though :)

[Arjun Radhakrishna @arjun_rad]

Check out our paper for more details, ablations, evaluations, and future work. Joint work with amazing collaborators @LincyPattanaik, @AnirudhKhatry, @tengantsuu, @SureshIyengar10, @SriramRajamani at @IndiaMSR and Mohammad Raza at @ProseMsft! [5/5]

[Arjun Radhakrishna @arjun_rad]

Want to know how extracting data from semi-structured documents is like navigating Bangalore? Check out our PLDI'22 paper - Landmarks and Regions: A Robust Approach to Data Extraction (https://t.co/zHJWvcxMFs) [1/5]

[Arjun Radhakrishna @arjun_rad]

Outperforming existing state-of-the art techniques that focus on the entire document, LRSyn is robust to version changes. We present extensive results on html pages as well as scanned invoice and receipt images, across various formats. [4/5]

[Arjun Radhakrishna @arjun_rad]

This journalist changed his first name to "Regret" because of all the rejections he's received starting "We regret": https://t.co/0zL7YAlQrf

As someone who wants to handle paper rejections better, I wonder if this is handling rejections very well or very poorly.

[Gustavo Soares @gustavoas]

@Skiminok 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 😲

[Gustavo Soares @gustavoas]

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

[Gustavo Soares @gustavoas]

When program synthesis meets HCI 🤯

[Ranjit Jhala @RanjitJhala]

Congratulations @SumitGulwani !!!

[🇺🇦 Alex Polozov @Skiminok]

Microsoft Research is looking for PhD interns in neuro-symbolic program synthesis and semantic parsing for Summer 2021. If interested, please apply at https://t.co/pZOGfs7goB AND reach out to me.

[Donovan Brown #BlackLivesMatter @DonovanBrown]

Okay, using IntelliCode feels like magic! I changed one line. It suggested the same change to three other lines and was spot on!
https://t.co/eTuUewuvDg

[Sriram Rajamani @SriramRajamani]

Congratulations to my colleague Ranjita Bhagwan at MSR India for winning the ACM India Outstanding Contributions in Computing by a Woman (OCCW) 2020 Award. https://t.co/RDgGLLMNcv

[Loris D'Antoni @lorisdanto]

America's map right now be like

[Arjun Radhakrishna @arjun_rad]

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

[Arjun Radhakrishna @arjun_rad]

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

[Danny Simmons @simmdan]

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. https://t.co/bFW8liRmuv

[Arjun Radhakrishna @arjun_rad]

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 😊

[Enes Okullu @EnesOkullu]

@VisualStudio Thank you for feature that intellicode suggests to apply recently repeated process. Expecting that for years. Special thanks to @Microsoft for Age Of Empires too. It is older than my nephews.

[Arjun Radhakrishna @arjun_rad]

@mtfrks Thanks for the feedback! We'd like to know more about your case and fix it for the future. Can you please drop me a line on arradha at microsoft dot com with some details on what you were doing when this suggestion came up?