Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mayur Naik
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
ESEC/FSE 2018 profile
ESEC/FSE 2022 profile
PLDI 2015 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
SPLASH 2010 profile
SPLASH 2011 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2021 profile
VEE 2019 profile
Registered user since Sun 12 Jun 2016
Name:
Mayur Naik
Affiliation:
University of Pennsylvania
Personal website:
http://www.seas.upenn.edu/~mhnaik/
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
Share
x
Wed 31 May 06:11