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