This page shows all presentations of this author published in EasyChair Smart Slide.
Beyond Deductive Methods in Program Analysis
Mukund Raghothaman, Sulekha Kulkarni, Richard Zhang, Xujie Si, Kihong Heo, Woosuk Lee and Mayur Naik