SPLASH 2020 (series) / Michael Greenberg

Registered user since Wed 1 Jul 2015
Name: Michael Greenberg
Affiliation: Pomona College
Personal website: http://www.cs.pomona.edu/~michael/
Contributions
SPLASH 2020 | Formulog: Datalog for SMT-Based Static Analysis Formulog: Datalog for SMT-based Static Analysis Formulog: Datalog for SMT-Based Static Analysis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile