Registered user since Mon 24 Aug 2020
Name:Philip Zucker
Bio:
A member of the formal methods group at Draper Labs, working on a constraint based compiler and binary verification using BAP. Interested in all things Datalog.
Country:United States
Affiliation:Draper
Personal website: https://www.philipzucker.com
X (Twitter): https://x.com/sandmouth
GitHub: https://github.com/philzook58
Research interests:SMT, CSP, Control Systems, Compilers, Datalog, Numerical Computing, Binary Analysis
Contributions
PLDI 2023-profile
View general profile
View general profile