Philip Zucker

Registered user since Mon 24 Aug 2020

Name:Philip Zucker

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


Show activities from other conferences

PLDI 2023-profile
View general profile