Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
PLDI 2021 (series) / HOPL IV (series) / Online /

Room information: SOAP

VenueOnline
Room nameSOAP
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

Tue 22 Jun

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

09:00 - 11:45
Session 1SOAP 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 2SOAP 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 3SOAP 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
SOAP

SOAP

Session 1

SOAP

Session 2

SOAP

Session 3

Tue 22 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
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