Mayur Naik - POPL 2020

Registered user since Sun 12 Jun 2016

Name:Mayur Naik

Affiliation:University of Pennsylvania

Contributions

POPL 2020	[T1] Building Program Reasoning Tools using LLVM and Z3 Provenance-Guided Synthesis of Datalog Programs
PADL 2020	Invited Talk: Learning Interpretable Rules from Structured Data Panel: Experience and Direction
Show activities from other conferences