Registered user since Mon 24 Sep 2018
Name:Thomas P. Jensen
Country:France
Affiliation:Inria
Personal website: http://www.irisa.fr/celtique/jensen/
Contributions
2021
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