Registered user since Sun 12 Jun 2016

Name: Mayur Naik

Affiliation: Georgia Tech

Personal website: http://cc.gatech.edu/~naik/

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities

• Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-track in MAPL 2017
• Session Chair of Static Analysis and Security (part of PLDI 2017 PLDI Research Papers)
• Committee Member in Program Committee for PLDI 2017
• Show activities from other conferences