Not registered as user yet
Name:Cody Roux
Country:United States
Affiliation:Draper
Contributions
| PLDI 2021 | CoStar: A Verified ALL(*) Parser | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2021-profile
View general profile
View general profile
- Attending
- Program
- Tracks
- PLDI 2021
- Ask Me Anything
- CARES
- PLDI
- Invited Talks
- Research Artifacts
- Tutorials
- - Beyond Weak Memory Consistency: The Challenges of Memory Persistency
- - IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C
- - Implementing smart contract security analyses using the MadMax/Gigahorse framework
- Workshops and Tutorials
- Social
- SRC
- Student Volunteering
- Sponsors
- Organization
- PLDI 2021 Committees
- Organizing Committee
- Steering Committee
- Virtualization Committee
- Track Committees
- PLDI
- Research Artifacts
- SRC
- Student Volunteering
- Contributors
- People Index
- Search
- Series