EasyChair Smart SlideDocs/Log in
Author: Mayur Naik

This page shows all presentations of this author published in EasyChair Smart Slide.

Rethinking Static Analysis by Combining Discrete and Continuous Reasoning

Rethinking Static Analysis by Combining Discrete and Continuous Reasoning

Mayur Naik

Beyond Deductive Methods in Program Analysis

Beyond Deductive Methods in Program Analysis

Mukund Raghothaman, Sulekha Kulkarni, Richard Zhang, Xujie Si, Kihong Heo, Woosuk Lee and Mayur Naik

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair