Aditya Sharad

Registered user since Thu 26 Apr 2018

Name:Aditya Sharad
Country:United States
Affiliation:GitHub
Research interests:Program analysis, logic programming, Datalog, information security, machine learning, automata theory

Contributions

SPLASH 2020 Author of Variant analysis within the REBASE-track
PLDI 2019 Organizer of Declarative Program Analysis With QL within the PLDI Tutorials-track
PLDI 2018 Presenter of Declarative Program Analysis with QL within the PLDI Tutorials-track