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 2020	PC Chair in Organizing Committee within the MAPL-track
PADL 2020	Author 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 2020	Author 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 2019	Author of Keynote: Learning to Reason about Programs within the MAPL 2019-track
VEE 2019	Program Co-Chair in Organizing Committee
PLDI 2019	Committee 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 2018	Presenter of Poster Session within the PLMW @ PLDI 2018-track
POPL 2019	Committee Member in Program Committee within the Research Papers-track
NJR 2018	Author of Declarative Program Analysis and Big Code: Challenges and Opportunities within the NJR-track
SALAD 2018	Committee Member in Program Committee within the SALAD-track
SPLASH 2018	Speaker 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 2018	Committee 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 2017	Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-track
ESEC/FSE 2018	Author of Syntax-Guided Synthesis of Datalog Programs within the Research Papers-track
PLDI 2018	Author 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 2017	Speaker 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 2017	Session Chair of Static Analysis and Security (part of PLDI Research Papers) Committee Member in Program Committee
SPLASH 2016	Author of Accelerating Program Analyses by Cross-Program Training within the OOPSLA-track
POPL 2016	Session 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 2015	Program 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 2015	Committee Member in Program Committee within the OOPSLA-track