Registered user since Wed 16 Jun 2021

Name:Alex Aiken
Affiliation:Stanford University, USA

Contributions

POPL 2022 Induction Duality: Primal-Dual Search for Invariants
Show activities from other conferences

Using general profile