Philip Zucker

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
Research interests:SMT, CSP, Control Systems, Compilers, Datalog, Numerical Computing, Binary Analysis

Contributions

Show activities from other conferences

PLDI 2023-profile
View general profile