Talks & Presentations
LLM-Vectorizer: LLM-based Verified Loop Vectorizer.
UC Santa Cruz, UC Berkeley, Uber Technologies, PNW PLSE 2024, CGO 2025, LATHC 2025
2024-2025 | Slides
Improving Compiler Construction using Formal Methods.
UC Berkeley Programming Systems Seminar group, Microsoft Research
June 2020 | Slides
Exploiting and Improving LLVM’s Dataflow Analyses using a Superoptimizer.
2017 LLVM Developers' Meeting
October 2017 | Slides
You're NOT Alone: Chasing the Journey of Learning and Belonging, Invited Talk.
Community.o Summit (Hosted by LLVM Foundation)
March 2021
Have you experienced question reluctance? Have you found yourself isolated, struggling constantly to feel better and make progress? Has imposter syndrome kicked in when you finally started to feel better? These are all real things and very common among all of us, especially beginners. This talk is about one such experience that a PhD student went through and the solutions she found helpful while chasing her journey of learning in the past one decade. Maybe these solutions might not help you, but some of you will feel a lot more comfortable resonating with the similar experiences.