Mayur Naik

Registered user since Sun 12 Jun 2016

Name:Mayur Naik
Affiliation:University of Pennsylvania

Contributions

PLDI 2023 Author of Neurosymbolic Programming in Scallop within the Tutorials-track
Author of Scallop: A Language for Neurosymbolic Programming within the PLDI Research Papers-track
ESEC/FSE 2022 Author of Automated concolic testing of smartphone apps within the Plenary Events-track
Author of DeepMerge: Learning to Merge Programs within the Journal First-track
ASA 2022 Committee Member in Program Committee within the ASA 2022-track
SPLASH 2021 Author of Example-Guided Synthesis of Relational Queries within the SIGPLAN Papers-track
PLDI 2021 Author of Example-Guided Synthesis of Relational Queries within the PLDI-track
MAPL 2020 PC Chair in Organizing Committee within the MAPL-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
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
MAPL 2019 Author of Keynote: Learning to Reason about Programs within the MAPL 2019-track
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
VEE 2019 Program Co-Chair in Organizing Committee
POPL 2019 Committee Member in Program Committee within the Research Papers-track
ESEC/FSE 2018 Author of Syntax-Guided Synthesis of Datalog Programs within the Research Papers-track
NJR 2018 Author of Declarative Program Analysis and Big Code: Challenges and Opportunities within the NJR-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
SALAD 2018 Committee Member in Program Committee within the SALAD-track
PLMW @ PLDI 2018 Presenter of Poster Session within the PLMW @ PLDI 2018-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
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
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
MAPL 2017 Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-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
SPLASH 2015 Committee Member in Program Committee within the OOPSLA-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 2011 Committee Member in Program Committee within the OOPSLA-track