Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with
PLDI 2021
Toggle navigation
Attending
Venue: Online
Venue: Online
Sponsoring HOPL IV
Accommodation
Visa
Registration
Program
HOPL IV Program
Your Program
Sun 20 Jun
Mon 21 Jun
Tue 22 Jun
Track/Call
Organization
HOPL IV Committees
Organizing Committee
Steering Committee
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
PLDI 2021
(
series
) /
HOPL IV
(
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
Mon 9 Dec 05:28