Not registered as user yet
Name: RanDair Porter
Country: United States
Affiliation: University of Washington
Contributions
| PLDI 2021 | Proof Repair Across Type Equivalences | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
- Attending
- Tracks
- PLDI 2021
- PLDI
- 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
- SRC
- Student Volunteering
- Organization
- PLDI 2021 Committees
- Organizing Committee
- Steering Committee
- Virtualization Committee
- Track Committees
- PLDI
- Research Artifacts
- SRC
- Student Volunteering
- Contributors
- People Index
- Search
- Series