
Registered user since Thu 4 May 2017
Name:Pedro Henrique Azevedo de Amorim
Affiliation:Cornell University
Personal website:https://www.cs.cornell.edu/~pamorim/
Contributions
PLDI 2023 | Modular Hardware Design with Timeline Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile