New achievement: Two papers accepted at top tier ACM conferences in the same year PLDI SPLASH Conference.

My first post at the new SIGPLAN blog: Gradual Typing from Theory to Practice blog.sigplan.org/2019/07/12/gra…

I wrote an article on preparing good artifacts for evaluation in PL/SE/Systems conferences. It draws upon my experiences with artifact evaluation at PLDI, ISSTA, and OOPSLA. rohanpadhye.github.io/Artifact-Evalu…

After 5 years, I am working on the termination problem again. I am happy to share that our work on dynamic analysis for termination and non-termination proofs is conditionally accepted at OOPSLA. Yeah!

It's official. Thank U.S. National Science Foundation for funding our work on dynamic temporal analysis for safety and liveness properties nsf.gov/awardsearch/sh…

Anna showing the growth in data contributions to UNWRAPPED the new Spotify DataDAO on Vana 🎵 🚀

This is bullish.

Introducing Vana Academy: a 9-week program to build the frontiers of the new AI data economy and launch a successful data capital business. If you're interested in the market potential of user-owned data, this is your launchpad. Apply Now 🧵👇