Registered user since Thu 5 Jan 2017
Name:Henry Lieberman
Affiliation:MIT Computer Science and Artificial Intelligence Lab (CSAIL)
Contributions
2021
HOPL
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