Registered user since Sat 7 Nov 2020
Name:Lucas Silver
Country:United States
Affiliation:University of Pennsylvania
Personal website:https://www.seas.upenn.edu/~lucsil/
GitHub:https://github.com/lag47
Research interests:Formal Verification and Program Specifications
Contributions
| POPL 2023 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile