conf.researchr.org / Chenhao Zhang
Registered user since Sat 20 Nov 2021
Name:Chenhao Zhang
Contributions
| PLDI 2022 | Author of Karp: A Language for NP Reductions within the PLDI-track |
Registered user since Sat 20 Nov 2021
Contributions
| PLDI 2022 | Author of Karp: A Language for NP Reductions within the PLDI-track |