Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021
PLDI
Toggle navigation
Attending
Venue: Online
Registration
Code of Conduct
Sponsorship
Program
Complete Program
Your Program
Filter by Day
Sun 20 Jun
Mon 21 Jun
Tue 22 Jun
Wed 23 Jun
Thu 24 Jun
Fri 25 Jun
Sat 26 Jun
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
Co-hosted Conferences
HOPL IV
HOPL IV
HOPL IV
Papers
ISMM
LCTES
Workshops
ARRAY
Infer Practitioners
MAPS
PLMW@PLDI
PLanQC
SOAP
Organization
PLDI 2021 Committees
Organizing Committee
Steering Committee
Virtualization Committee
Track Committees
PLDI
Research Artifacts
SRC
Student Volunteering
Contributors
People Index
Co-hosted Conferences
HOPL IV
Organizing Committee
Steering Committee
Organizing Committee
Program Committee
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
Infer Practitioners
Organizing Committee
Program Committee
MAPS
Organizing Committee
Program Committee
PLMW@PLDI
Organizing Committee
PLanQC
Organizing Committee
Program Committee
SOAP
Invited Speakers
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2021
(
series
) /
Online
/
Room information: SOAP
Venue
Online
Room name
SOAP
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 22 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:45
Session 1
SOAP
at
SOAP
Chair(s):
Caterina Urban
Inria & École Normale Supérieure | Université PSL
09:00
15m
Day opening
Welcome from the chairs
SOAP
Caterina Urban
Inria & École Normale Supérieure | Université PSL
,
Lisa Nguyen Quang Do
Google
09:15
60m
Live Q&A
[Invited talk] Towards Security-Oriented Program analysis
SOAP
Sébastien Bardin
CEA LIST, University Paris-Saclay
10:15
30m
Break
Break
SOAP
10:45
25m
Talk
Static Analysis for Dummies: Experiencing LiSA
SOAP
Pietro Ferrara
Università Ca' Foscari, Venezia, Italy
,
Luca Negrini
Ca’ Foscari University of Venice, Corvallis S.r.l.
,
Vincenzo Arceri
Ca’ Foscari University of Venice
,
Agostino Cortesi
Università Ca' Foscari Venezia
11:10
25m
Talk
Security and Quality: Two Sides of The Same Coin?
SOAP
Steven Arzt
Fraunhofer SIT
13:30 - 16:15
Session 2
SOAP
at
SOAP
Chair(s):
Lisa Nguyen Quang Do
Google
,
Caterina Urban
Inria & École Normale Supérieure | Université PSL
13:30
25m
Talk
Program analysis for reversible languages
SOAP
Uwe Meyer
University of Applied Sciences Giessen
,
Niklas Deworetzki
Technische Hochschule Mittelhessen
13:55
25m
Talk
PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
SOAP
Spandan Garg
,
Roshanak Zilouchian Moghaddam
Microsoft
,
Neel Sundaresan
Microsoft Corporation
,
Chen Wu
Microsoft, China
14:20
25m
Talk
Weldr: Fusing Binaries for Simplified Analysis
SOAP
Alexander Heinricher
Raytheon BBN Technologies
,
Ryan Williams
Northeastern University
,
Ava Klingbeil
,
Alex Jordan
Raytheon BBN Technologies
14:45
30m
Break
Break
SOAP
15:15
60m
Live Q&A
[Invited talk] Dynamic abstract interpretation
SOAP
Patrick Cousot
18:00 - 21:00
Session 3
SOAP
at
SOAP
Chair(s):
Lisa Nguyen Quang Do
Google
18:00
25m
Talk
Multi-Language Static Code Analysis on the LARA Framework
SOAP
Gil Teixeira
,
João Bispo
Faculdade de Engenharia e Universidade do Porto
,
Filipe Figueiredo Correia
University of Porto
18:25
25m
Talk
Serialization-Aware Call Graph Construction
SOAP
Joanna C. S. Santos
Rochester Institute of Technology
,
Reese Jones
,
Chinomso Ashiogwu
,
Mehdi Mirakhorli
Rochester Institute of Technology
18:50
25m
Talk
Scalable String Analysis: An Experience Report
SOAP
Kostyantyn Vorobyov
Oracle Labs, Australia
,
Yang Zhao
Oracle Labs
,
Paddy Krishnan
Oracle Labs, Australia
19:15
30m
Break
Break
SOAP
19:45
60m
Live Q&A
[Invited talk] Towards Intelligent Application Security
SOAP
Cristina Cifuentes
Oracle Labs
20:45
15m
Day closing
Award and send-off
SOAP
Lisa Nguyen Quang Do
Google
,
Caterina Urban
Inria & École Normale Supérieure | Université PSL
Tue 22 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
SOAP
SOAP
Session 1
SOAP
Session 2
SOAP
Session 3
Tue 22 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
SOAP
SOAP
Welcome from the chairs
09:00 - 09:15
SOAP
[Invited talk] Towards Security-Oriented Program analysis
09:15 - 10:15
SOAP
Break
10:15 - 10:45
SOAP
Static Analysis for Dummies: Experiencing LiSA
10:45 - 11:10
SOAP
Security and Quality: Two Sides of The Same Coin?
11:10 - 11:35
SOAP
Program analysis for reversible languages
13:30 - 13:55
SOAP
PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
13:55 - 14:20
SOAP
Weldr: Fusing Binaries for Simplified Analysis
14:20 - 14:45
SOAP
Break
14:45 - 15:15
SOAP
[Invited talk] Dynamic abstract interpretation
15:15 - 16:15
SOAP
Multi-Language Static Code Analysis on the LARA Framework
18:00 - 18:25
SOAP
Serialization-Aware Call Graph Construction
18:25 - 18:50
SOAP
Scalable String Analysis: An Experience Report
18:50 - 19:15
SOAP
Break
19:15 - 19:45
SOAP
[Invited talk] Towards Intelligent Application Security
19:45 - 20:45
SOAP
Award and send-off
20:45 - 21:00
x
Wed 6 Nov 01:40