Aditya Sharad

Registered user since Thu 26 Apr 2018

Name: Aditya Sharad

Country: United States

Affiliation: GitHub

GitHub: https://github.com/adityasharad

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