PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Philip Zucker

Registered user since Mon 24 Aug 2020

Name:Philip Zucker
Bio:

Tinkerer. Lover of solvers. Blogger. Cool dude.

Country:United States
Affiliation:Draper
Research interests:SMT, CSP, Control Systems, Compilers, Datalog, Numerical Computing, Binary Analysis

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile