ICFP/SPLASH 2025 (series) / Roger Burtonpatel
Registered user since Mon 21 Oct 2024
Name:Roger Burtonpatel
Country:United States
Affiliation:University of Pennsylvania
Personal website: https://rogerburtonpatel.github.io
Research interests:Programming Languges, Compilers, Formal Verification
Contributions
2025
Using general profile