Not registered as user yet

Name:Jason D. Hartline
Affiliation:Northwestern University

Contributions

PLDI 2022 Author of Karp: A Language for NP Reductions within the PLDI-track