Home

Note: Starting from this post, I will no longer be sharing any updates on Twitter or LinkedIn. All updates, like this one, will be posted here on this blog. My work at UIUC, AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation, has been accepted to appear at the FSE 2025 conference in the Rese...

This blog is different from others in that it is in the format of a conversation. I really did have this conversation — with ChatGPT1. I have only lightly edited its responses and have left my own responses nearly verbatim. I think this is an interesting way to present my thoughts and I might try more of this in the future2. Host (ChatGPT): In ...

Today I successfully1 complete 21 years of my presence. Over these many years, I have developed a huge portfolio of short-lived hobbies and interests2 — and have repeatedly found myself most drawn to building things. The thing about things is that they are concrete — so no matter how good they seem in one’s imagination, their touch and feel alwa...

I am sure you have seen Venn diagrams before. Venn diagrams are amazing — they can represent complex relationships between sets in a rather intuitive way. And it does not matter what these sets represent. If you are working with sets, you will often find Venn diagrams to be a natural way to present your data. But it so happens that this is gener...

Academic integrity to university students1 is what the constitutional pledge is to elected politicians. We acknowledge it as a pious commitment to our identity in our institutions, but this acknowledgment is often riddled with dilemmas and contradictions. Transgressions are either justified by circumstances or dismissed as trivial, and while we ...

Not long ago, I realized I have been holding onto a tiny time machine. I realized this when I once accidentally turned it on! I do not have the user manual for this time machine, but from several instances of such accidental time travel, I now have some idea of how it works. This time machine is quite primitive — in the way that it does not all...

Two years ago on this day, I reported at the campus of the Indian Institute of Science — to begin my undergraduate degree in Mathematics and Computing. With this, I have completed somewhat half of my IISc time1. There’s a lot to say about these two years, including the things I have learnt and the people I have met. But I will save my time2 by s...

Deadlines have some sort of magic to them. A project can continue to drag on for months, but as soon as we decide to make a deadline1, usually one of two things happen. The entire universe conspires to make sure we meet the deadline with everything we want to do. We conspire to make sure we meet the deadline with everything we can (and sho...