PLDI 2022 (series) / SOAP 2022 (series) /
SOAP 2022 Program
This is the SOAP 2022 program - see the full program for PLDI 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:00 | |||
09:00 60mKeynote | Program Analysis for the Optimization and Verification of (Ethereum) Smart Contracts SOAP | ||
10:30 - 12:00 | Paper Session 1 SOAP at Boardroom +12h Chair(s): Caterina Urban Inria & École Normale Supérieure | Université PSL All papers will be allocated a time slot of 25 min (20min talk + 5 min questions) | ||
10:30 25mTalk | Abstract interpretation of Michelson smart-contracts SOAP P: Guillaume Bau , Antoine Miné Sorbonne Université, Vincent Botbol Nomadic Labs, Mehdi Bouaziz Nomadic Labs Paris | ||
10:55 25mTalk | BinFPE: Accurate Floating-Point Exception Detection for GPU Applications SOAP P: Ignacio Laguna Lawrence Livermore National Laboratory, Xinyi Li University of Utah, Ganesh Gopalakrishnan University of Utah | ||
11:20 25mTalk | Towards an Implementation of Differential Dynamic Logic in PVSvirtual SOAP P: J Tanner Slagel , César Muñoz NASA Langley Research Center, Swee Balachandran National Institute of Aerospace, Mariano Moscato National Institute of Aerospace, Aaron Dutle NASA Langley Research Center, Paolo Masci National Institute of Aerospace, USA, Lauren White NASA Langley Research Center | ||
11:45 25mTalk | Statically Detecting Data Leakages in Data Science Codevirtual SOAP | ||
13:30 - 15:00 | Keynote 2 + PapersSOAP at Boardroom +12h Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Laura Titolo NIA/NASA LaRC | ||
13:30 60mKeynote | Static Analysis for Data Scientists SOAP | ||
14:30 25mTalk | Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report SOAP P: Luca Olivieri University of Verona, Corvallis S.r.l., Fabio Tagliaferro University of Verona, Commercio.network S.p.A., Vincenzo Arceri University of Parma, Italy, Marco Ruaro Commercio.network S.p.A., Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Agostino Cortesi Università Ca' Foscari Venezia, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Fausto Spoto U. Verona, Enrico Talin Commercio.network S.p.A. | ||
15:30 - 17:20 | Keynote 3 + PapersSOAP at Boardroom +12h Chair(s): Roberto Giacobazzi University of Verona, Laura Titolo NIA/NASA LaRC Laura Titolo is chairing the Keynote Talk by Francesco Logozzo. Roberto Giacobazzi is chairing the paper session from 16:30 to 17:20. | ||
15:30 60mKeynote | Using static analysis to scale security at Meta SOAP | ||
16:30 25mTalk | ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories SOAP P: Md Rakib Hossain Misu University of California, Irvine, Aleksandar Saša Janjanin University College London, Zhiqiang Bian University College London, Valentin-Sebastian Burlacu University College London, Naum Anteski University College London | ||
16:55 25mTalk | Modeling Code Manipulation in JIT Compilers SOAP P: HeuiChan Lim University of Arizona, Xiyu Kang University of Arizona, Saumya Debray University of Arizona | ||
21:00 - 22:00 | |||
21:00 60mKeynote | Program Analysis for the Optimization and Verification of (Ethereum) Smart Contracts SOAP | ||
22:30 - 00:00 | |||
22:30 25mTalk | Abstract interpretation of Michelson smart-contracts SOAP P: Guillaume Bau , Antoine Miné Sorbonne Université, Vincent Botbol Nomadic Labs, Mehdi Bouaziz Nomadic Labs Paris | ||
22:55 25mTalk | BinFPE: Accurate Floating-Point Exception Detection for GPU Applications SOAP P: Ignacio Laguna Lawrence Livermore National Laboratory, Xinyi Li University of Utah, Ganesh Gopalakrishnan University of Utah | ||
23:20 25mTalk | Towards an Implementation of Differential Dynamic Logic in PVSvirtual SOAP P: J Tanner Slagel , César Muñoz NASA Langley Research Center, Swee Balachandran National Institute of Aerospace, Mariano Moscato National Institute of Aerospace, Aaron Dutle NASA Langley Research Center, Paolo Masci National Institute of Aerospace, USA, Lauren White NASA Langley Research Center | ||
23:45 25mTalk | Statically Detecting Data Leakages in Data Science Codevirtual SOAP | ||
Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change
Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change
01:30 - 03:00 | Keynote 2 + PapersSOAP at Boardroom Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Laura Titolo NIA/NASA LaRC | ||
01:30 60mKeynote | Static Analysis for Data Scientists SOAP | ||
02:30 25mTalk | Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report SOAP P: Luca Olivieri University of Verona, Corvallis S.r.l., Fabio Tagliaferro University of Verona, Commercio.network S.p.A., Vincenzo Arceri University of Parma, Italy, Marco Ruaro Commercio.network S.p.A., Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Agostino Cortesi Università Ca' Foscari Venezia, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Fausto Spoto U. Verona, Enrico Talin Commercio.network S.p.A. | ||
03:30 - 05:20 | Keynote 3 + PapersSOAP at Boardroom Chair(s): Roberto Giacobazzi University of Verona, Laura Titolo NIA/NASA LaRC | ||
03:30 60mKeynote | Using static analysis to scale security at Meta SOAP | ||
04:30 25mTalk | ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories SOAP P: Md Rakib Hossain Misu University of California, Irvine, Aleksandar Saša Janjanin University College London, Zhiqiang Bian University College London, Valentin-Sebastian Burlacu University College London, Naum Anteski University College London | ||
04:55 25mTalk | Modeling Code Manipulation in JIT Compilers SOAP P: HeuiChan Lim University of Arizona, Xiyu Kang University of Arizona, Saumya Debray University of Arizona | ||