Episode 2: Satnam Singh
In this episode, we talk to Dr. Satnam Singh who is a scientist at Groq.
Current Continuation is a new interview series where we talk to researchers in the field of programming languages. Your hosts are the co-editors of the SIGPLAN blog, Aws Albarghouthi (University of Wisconsin-Madison) and Adrian Sampson (Cornell).
For the video version, you can subscribe to our channel on YouTube. For the audio-only version, use your favorite podcast client to subscribe via RSS.
Episode 1: Ranjit Jhala
In the inaugural episode of Current Continuation, we talk to Prof. Ranjit Jhala of UCSD. Ranjit has done influential work in program verification, including Lazy Abstraction and Liquid Types! He’s also incredibly nice and insightful.