SOAP 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (46)

A Elvira AlbertAlbert, Elvira Complutense University of Madrid Program Analysis for the Optimization and Verification of (Ethereum) Smart Contracts
Naum AnteskiAnteski, Naum University College LondonUnited Kingdom ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
B Swee BalachandranBalachandran, Swee National Institute of AerospaceUnited States Towards an Implementation of Differential Dynamic Logic in PVS
Guillaume BauBau, Guillaume Abstract interpretation of Michelson smart-contracts
Zhiqiang BianBian, Zhiqiang University College LondonUnited Kingdom ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories
Uros BojanicBojanic, Uros MicrosoftSerbia Statically Detecting Data Leakages in Data Science Code
Vincent BotbolBotbol, Vincent Nomadic LabsFrance Abstract interpretation of Michelson smart-contracts
Mehdi BouazizBouaziz, Mehdi Nomadic Labs ParisFrance Abstract interpretation of Michelson smart-contracts
Valentin-Sebastian BurlacuBurlacu, Valentin-Sebastian University College LondonUnited Kingdom ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories
C Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
D Saumya DebrayDebray, Saumya University of ArizonaUnited States Modeling Code Manipulation in JIT Compilers
Aaron DutleDutle, Aaron NASA Langley Research CenterUnited States Towards an Implementation of Differential Dynamic Logic in PVS
F Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report Università Ca' Foscari, Venezia, Italy in Program Committee within the SOAP-track
Carsten FuhsFuhs, Carsten Birkbeck, University of LondonUnited Kingdom Birkbeck, University of London in Program Committee within the SOAP-track
G Isabel Garcia-ContrerasGarcia-Contreras, Isabel University of WaterlooCanada IMDEA Software Institute in Program Committee within the SOAP-track
François GauthierGauthier, François Oracle LabsAustralia Oracle Labs in Program Committee within the SOAP-track
Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly Session Chair of Keynote 3 + Papers (part of SOAP) Session Chair of Keynote 3 + Papers (part of SOAP)
Laure GonnordGonnord, Laure Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, FranceFrance Session Chair of Keynote 2 + Papers (part of SOAP) Session Chair of Keynote 2 + Papers (part of SOAP) Program Co-Chair in Organizing Committee within the SOAP-track Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France in Program Committee within the SOAP-track
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of UtahUnited States BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
K Xiyu KangKang, Xiyu University of ArizonaUnited States Modeling Code Manipulation in JIT Compilers
L Ignacio LagunaLaguna, Ignacio Lawrence Livermore National LaboratoryUnited States BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
Xinyi LiLi, Xinyi University of UtahUnited States BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
HeuiChan LimLim, HeuiChan University of ArizonaUnited States Modeling Code Manipulation in JIT Compilers
Francesco LogozzoLogozzo, Francesco FacebookUnited States Using static analysis to scale security at Meta
M Paolo MasciMasci, Paolo National Institute of Aerospace, USAUnited States Towards an Implementation of Differential Dynamic Logic in PVS
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Abstract interpretation of Michelson smart-contracts
Md Rakib Hossain MisuMisu, Md Rakib Hossain University of California, IrvineUnited States ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories
Mariano MoscatoMoscato, Mariano National Institute of AerospaceUnited States Towards an Implementation of Differential Dynamic Logic in PVS
Yannick MoyMoy, Yannick AdaCoreFrance AdaCore in Program Committee within the SOAP-track
César MuñozMuñoz, César NASA Langley Research CenterUnited States Towards an Implementation of Differential Dynamic Logic in PVS
N Jorge A. NavasNavas, Jorge A. Certora, inc.United States Certora, inc. in Program Committee within the SOAP-track
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
O Luca OlivieriOlivieri, Luca University of Verona, Corvallis S.r.l.Italy Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
R Marco RuaroRuaro, Marco Commercio.network S.p.A.Italy Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
S Aleksandar Saša JanjaninSaša Janjanin, Aleksandar University College LondonUnited Kingdom ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories
Julien SignolesSignoles, Julien CEA LIST, University Paris-Saclay, FranceFrance CEA LIST in Program Committee within the SOAP-track
J Tanner SlagelSlagel, J Tanner Towards an Implementation of Differential Dynamic Logic in PVS
Fausto SpotoSpoto, Fausto U. VeronaItaly Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Milan StojicStojic, Milan MicrosoftSerbia Statically Detecting Data Leakages in Data Science Code
Pavle SuboticSubotic, Pavle Microsoft AzureSerbia Statically Detecting Data Leakages in Data Science Code
T Fabio TagliaferroTagliaferro, Fabio University of Verona, Commercio.network S.p.A.Italy Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Enrico TalinTalin, Enrico Commercio.network S.p.A.Italy Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States Session Chair of Keynote 1 (part of SOAP) Session Chair of Keynote 3 + Papers (part of SOAP) Session Chair of Keynote 2 + Papers (part of SOAP) Session Chair of Keynote 2 + Papers (part of SOAP) Session Chair of Keynote 3 + Papers (part of SOAP) Program Co-Chair in Organizing Committee within the SOAP-track NIA/NASA LaRC in Program Committee within the SOAP-track
U Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Session Chair of Paper Session 1 (part of SOAP) Static Analysis for Data Scientists
W Lauren WhiteWhite, Lauren NASA Langley Research CenterUnited States Towards an Implementation of Differential Dynamic Logic in PVS