SAS 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (83)

A Umair Z. AhmedAhmed, Umair Z. National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the SAS-track
Sepideh AsadiAsadi, Sepideh PhD Student Farkas-Based Tree Interpolation
B Gogul BalakrishnanBalakrishnan, Gogul GoogleUnited States Static analysis for privacy-preserving artificial intelligence Invited Speaker in Invited Speakers within the SAS-track
Josh BerdineBerdine, Josh Facebook Committee Member in Program Committee within the SAS-track
Martin BlichaBlicha, Martin Farkas-Based Tree Interpolation
Samuele BuroBuro, Samuele Università degli Studi di Verona On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
C Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Session Chair of 1 (part of SAS) Committee Member in Program Committee within the SAS-track
Marc ChevalierChevalier, Marc ENS, CNRS, PSL University, INRIAFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Session Chair of 4 (part of SAS)
Patrick CousotCousot, Patrick New York UniversityUnited States Session Chair of 3 (part of SAS) Session Chair of 5 (part of SAS) Session Chair of 1 (part of SAS) Committee Member in Program Committee within the SAS-track
Roy CroleCrole, Roy University of LeicesterUnited Kingdom On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
D Mila Dalla PredaDalla Preda, Mila University of Verona, Italy Formal framework for reasoning about the precision of dynamic analysis
Eva DarulovaDarulova, Eva MPI-SWS Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
Ankush DasDas, Ankush Carnegie Mellon UniversityUnited States Exact and Linear-Time Gas-Cost Analysis
F Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Farkas-Based Tree Interpolation
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Session Chair of 7 (part of SAS) Session Chair of 8 (part of SAS)
Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of 9 (part of SAS) Committee Member in Program Committee within the SAS-track
Matthew FlattFlatt, Matthew University of Utah, USA Session Chair of 2 (part of SAS) Session Chair of 2 (part of SAS)
Florian FrohnFrohn, Florian Max Planck Institute for InformaticsGermany Termination of Polynomial Loops
G Samir GenaimGenaim, Samir Universidad Complutense de MadridSpain Session Chair of 8 (part of SAS) Committee Member in Program Committee within the SAS-track
Pritam GharatGharat, Pritam Committee Member in Artifact Evaluation Committee within the SAS-track
Roberto GiacobazziGiacobazzi, Roberto University of Verona and IMDEA Software InstituteItaly Formal framework for reasoning about the precision of dynamic analysis
Jürgen GieslGiesl, Jürgen RWTH Aachen UniversityGermany Termination of Polynomial Loops
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the SAS-track
H Marcel HarkHark, Marcel RWTH Aachen University, Germany Termination of Polynomial Loops
Timothée HaudebourgHaudebourg, Timothée ENS RennesFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Manuel HermenegildoHermenegildo, Manuel IMDEA Software Institute and T.U. of MadridSpain Cost Analysis of Smart Contracts via Parametric Resource Analysis Invited Speaker in Invited Speakers within the SAS-track
Michael HomerHomer, Michael Victoria University of Wellington Session Chair of 3 (part of SAS) Session Chair of 3 (part of SAS)
Antti HyvärinenHyvärinen, Antti Farkas-Based Tree Interpolation
I Hugo IllousIllous, Hugo CEA & INRIA / ENS ParisFrance Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
Anastasia IsychevIsychev, Anastasia Technical University of MunichGermany Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
Naoki IwayamaIwayama, Naoki University of Tokyo, Japan Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
J Maxime JacqueminJacquemin, Maxime CEA LIST, FranceFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Committee Member in Program Committee within the SAS-track
Nicolas JeannerodJeannerod, Nicolas IRIF, Université de ParisFrance Committee Member in Artifact Evaluation Committee within the SAS-track
K Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
Sung Kook KimKook Kim, Sung University of California, DavisUnited States Memory-Efficient Fixpoint Computation
Murali Krishna RamanathanKrishna Ramanathan, Murali Uber Technologies Inc.United States Committee Member in Program Committee within the SAS-track
L Matthieu LemerreLemerre, Matthieu CEA LIST, FranceFrance Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Program Committee within the SAS-track
M Ravi MangalMangal, Ravi Georgia Institute of TechnologyUnited States Probabilistic Lipschitz Analysis of Neural Networks
Niccolò MarastoniMarastoni, Niccolò University of VeronaItaly Formal framework for reasoning about the precision of dynamic analysis
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
Abu Naser MasudMasud, Abu Naser Malardalen University Simple and Efficient Computation of Minimal Weak Control Closure
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Session Chair of 4 (part of SAS) A Library Modeling Language for the Static Analysis of C Programs Committee Member in Program Committee within the SAS-track
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France Committee Member in Artifact Evaluation Committee within the SAS-track
Rashmi MudduluruMudduluru, Rashmi University of Washington, SeattleUnited States Committee Member in Artifact Evaluation Committee within the SAS-track
Suvam MukherjeeMukherjee, Suvam Microsoft Research Committee Member in Artifact Evaluation Committee within the SAS-track
Anders MøllerMøller, Anders Aarhus University Committee Member in Program Committee within the SAS-track
Christian MüllerMüller, Christian Technische Universität München, Saarland UniversityGermany Stratified Guarded First-order Transition Systems
N Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Session Chair of 7 (part of SAS) Committee Member in Program Committee within the SAS-track
Olivier NicoleNicole, Olivier CEA LIST, FranceFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Aditya NoriNori, Aditya Probabilistic Lipschitz Analysis of Neural Networks
O Alessandro OrsoOrso, Alessandro Georgia TechUnited States Probabilistic Lipschitz Analysis of Neural Networks
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance A Library Modeling Language for the Static Analysis of C Programs
P David PichardiePichardie, David Univ Rennes, ENS Rennes, IRISAFrance General Co-Chair in Organizing Committee for SAS 2020 Session Chair of 10 (part of SAS) Session Chair of 2 (part of SAS) Co-chair in Program Committee within the SAS-track Committee Member in Organizing Committee within the SAS-track
Sylvie PutotPutot, Sylvie École Polytechnique Committee Member in Program Committee within the SAS-track
Q Shaz QadeerQadeer, Shaz Novi, USAUnited States Exact and Linear-Time Gas-Cost Analysis
R Francesco RanzatoRanzato, Francesco University of PadovaItaly Session Chair of 3 (part of SAS) Committee Member in Program Committee within the SAS-track
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Session Chair of 5 (part of SAS) Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries Committee Member in Program Committee within the SAS-track
Guillermo Román-DíezRomán-Díez, Guillermo Committee Member in Artifact Evaluation Committee within the SAS-track
Sukyoung RyuRyu, Sukyoung Session Chair of 5 (part of SAS) Session Chair of 5 (part of SAS)
S Kartik SarangmathSarangmath, Kartik Georgia Institute of TechnologyUnited States Probabilistic Lipschitz Analysis of Neural Networks
Helmut SeidlSeidl, Helmut Technische Universität München Session Chair of 8 (part of SAS) Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis Stratified Guarded First-order Transition Systems Committee Member in Program Committee within the SAS-track
Natasha SharyginaSharygina, Natasha USI Lugano, SwitzerlandSwitzerland Farkas-Based Tree Interpolation
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Session Chair of 4 (part of SAS)
Mihaela SighireanuSighireanu, Mihaela LSV, ENS Paris-SaclayFrance General Co-Chair in Organizing Committee for SAS 2020 Session Chair of 6 (part of SAS) Session Chair of 10 (part of SAS) Session Chair of 7 (part of SAS) Session Chair of 6 (part of SAS) Session Chair of 2 (part of SAS) Co-chair in Program Committee within the SAS-track Committee Member in Organizing Committee within the SAS-track
Devika SondhiSondhi, Devika IIIT DelhiIndia Committee Member in Artifact Evaluation Committee within the SAS-track
Matthew SotoudehSotoudeh, Matthew University of California, Davis Abstract Neural Networks
Ryota SuzukiSuzuki, Ryota Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
T Aditya V. ThakurThakur, Aditya V. University of California, DavisUnited States Memory-Efficient Fixpoint Computation Abstract Neural Networks
Takeshi TsukadaTsukada, Takeshi Chiba University, JapanJapan Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
U Caterina UrbanUrban, Caterina École normale supérieure Session Chair of 4 (part of SAS) Committee Member in Program Committee within the SAS-track
V Pedro ValeroValero, Pedro IMDEA Software Institute, SpainSpain Committee Member in Artifact Evaluation Committee within the SAS-track
Jyothi VeduradaVedurada, Jyothi Microsoft ResearchIndia Artifact Evaluation Chair in Artifact Evaluation Committee within the SAS-track Artifact Evaluation Chair in Organizing Committee within the SAS-track
Arnaud J. VenetVenet, Arnaud J. Facebook Memory-Efficient Fixpoint Computation
Tomáš VojnarVojnar, Tomáš Brno University of Technology Committee Member in Program Committee within the SAS-track
W James WorrellWorrell, James University of OxfordUnited Kingdom Polynomial Invariants for Affine Programs Invited Speaker in Invited Speakers within the SAS-track
Y Kwangkeun YiYi, Kwangkeun Seoul National University, South Korea Session Chair of 9 (part of SAS) Committee Member in Program Committee within the SAS-track
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Committee Member in Program Committee within the SAS-track
Marco ZanellaZanella, Marco University of Padova, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS-track
Florian ZulegerZuleger, Florian TU ViennaAustria Committee Member in Program Committee within the SAS-track
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook LondonUnited Kingdom Static Resource Analysis at Scale Invited Speaker in Invited Speakers within the SAS-track