PLDI 2021 (series) / SOAP 2021 (series) /
SOAP 2021 Program
This is the SOAP 2021 program - see the full program for PLDI 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 22 JunDisplayed time zone: Eastern Time (US & Canada) change
Tue 22 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 11:45 | |||
09:00 15mDay opening | Welcome from the chairs SOAP | ||
09:15 60mLive Q&A | [Invited talk] Towards Security-Oriented Program analysis SOAP Sébastien Bardin CEA LIST, University Paris-Saclay | ||
10:15 30mBreak | Break SOAP | ||
10:45 25mTalk | 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 25mTalk | 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 25mTalk | Program analysis for reversible languages SOAP Uwe Meyer University of Applied Sciences Giessen, Niklas Deworetzki Technische Hochschule Mittelhessen | ||
13:55 25mTalk | 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 25mTalk | 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 30mBreak | Break SOAP | ||
15:15 60mLive Q&A | [Invited talk] Dynamic abstract interpretation SOAP |
18:00 - 21:00 | |||
18:00 25mTalk | 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 25mTalk | 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 25mTalk | Scalable String Analysis: An Experience Report SOAP Kostyantyn Vorobyov Oracle Labs, Australia, Yang Zhao Oracle Labs, Paddy Krishnan Oracle Labs, Australia | ||
19:15 30mBreak | Break SOAP | ||
19:45 60mLive Q&A | [Invited talk] Towards Intelligent Application Security SOAP Cristina Cifuentes Oracle Labs | ||
20:45 15mDay closing | Award and send-off SOAP |