Mayur Naik

Registered user since Sun 12 Jun 2016

Name: Mayur Naik

Affiliation: University of Pennsylvania

Personal website: http://www.seas.upenn.edu/~mhnaik/

Contributions

MAPL 2020Committee Member in Organizing Committee within the MAPL-track
PADL 2020Author of Invited Talk: Learning Interpretable Rules from Structured Data within the PADL 2020-track
Invited Speaker of Panel: Experience and Direction within the PADL 2020-track
POPL 2020Author of [T1] Building Program Reasoning Tools using LLVM and Z3 within the TutorialFest-track
Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track
MAPL 2019Author of Keynote: Learning to Reason about Programs within the MAPL 2019-track
VEE 2019Program Co-Chair in Organizing Committee
PLDI 2019Committee Member in External Review Committee within the PLDI Research Papers-track
Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track
PLMW @ PLDI 2018Presenter of Poster Session within the PLMW @ PLDI 2018-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
NJR 2018Author of Declarative Program Analysis and Big Code: Challenges and Opportunities within the NJR-track
SALAD 2018Committee Member in Program Committee within the SALAD-track
SPLASH 2018Speaker in Speakers within the PLMW-track
Mentor in Mentors within the Breakfasts-track
Panelist of Panel: Industrial and Academic Research within the PLMW-track
Author of Navigating the process of doing a rewarding Ph.D. within the PLMW-track
VMCAI 2018Committee Member in Invited Tutorial within the VMCAI 2018-track
Author of Maximum Satisfiability in Program Analysis: Applications and Techniques within the VMCAI 2018-track
MAPL 2017Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-track
ESEC/FSE 2018Author of Syntax-Guided Synthesis of Datalog Programs within the Research Papers-track
PLDI 2018Author of Accelerating Search-Based Program Synthesis using Learned Probabilistic Models within the PLDI Research Papers-track
Author of User-Guided Program Reasoning using Bayesian Inference within the PLDI Research Papers-track
SPLASH 2017Speaker in PLMW Speakers within the PL Mentoring Workshop (PLMW)-track
Author of Effective Interactive Resolution of Static Analysis Alarms within the OOPSLA-track
Panelist of Panel: Industry & Academia within the PL Mentoring Workshop (PLMW)-track
Speaker of Navigating the process of doing a rewarding Ph.D. within the PL Mentoring Workshop (PLMW)-track
PLDI 2017Session Chair of Static Analysis and Security (part of PLDI Research Papers)
Committee Member in Program Committee
SPLASH 2016Author of Accelerating Program Analyses by Cross-Program Training within the OOPSLA-track
POPL 2016Session Chair of Track 1: Optimization (part of Research Papers)
ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
Author of Query-Guided Maximum Satisfiability within the Research Papers-track
SOAP 2015Program Co-Chair in Program Committee within the SOAP-track
Session Chair of session 2 (part of SOAP)
Session Chair of session 3 (part of SOAP)
SPLASH 2015Committee Member in Program Committee within the OOPSLA-track