Registered user since Mon 24 Apr 2017
Name:Gert Smolka
Affiliation:Saarland University
Personal website: http://www.ps.uni-saarland.de/~smolka/
Contributions
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