Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
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
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