Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
VenueOnline
Room nameTutorials
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:45
IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP CPLDI Tutorials at Tutorials
09:00
2h45m
Tutorial
IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C
PLDI Tutorials
Aman Nougrahiya IIT Madras, V Krishna Nandivada IIT Madras

Tue 22 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:45
Implementing smart contract security analyses using the MadMax/Gigahorse frameworkPLDI Tutorials at Tutorials
09:00
2h45m
Tutorial
Implementing smart contract security analyses using the MadMax/Gigahorse framework
PLDI Tutorials
Yannis Smaragdakis University of Athens, Neville Grech University of Malta
13:30 - 16:15
Beyond Weak Memory Consistency: The Challenges of Memory PersistencyPLDI Tutorials at Tutorials
13:30
2h45m
Tutorial
Beyond Weak Memory Consistency: The Challenges of Memory Persistency
PLDI Tutorials
Viktor Vafeiadis MPI-SWS, Azalea Raad Imperial College London

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

Tue 22 Jun

Displayed time zone: Eastern Time (US & Canada) change