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