SAS 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (110)

A Rosa Abbasi BoroujeniAbbasi Boroujeni, Rosa Committee Member in Artifact Evaluation Committee within the SAS-track
Assalé AdjéAdjé, Assalé Université de Perpignan Via Domitia Fast and Efficient Bit-Level Precision Tuning
Kalmer ApinisApinis, Kalmer University of Tartu, Estonia Improving Thread-Modular Abstract Interpretation
Snigdha AthaiyaAthaiya, Snigdha Committee Member in Artifact Evaluation Committee within the SAS-track
B Gogul BalakrishnanBalakrishnan, Gogul GoogleUnited States Committee Member in Program Committee within the SAS-track
Suguman BansalBansal, Suguman Committee Member in Artifact Evaluation Committee within the SAS-track
Mohamad BarbarBarbar, Mohamad University of Technology Sydney; CSIRO’s Data61Australia Hash Consed Points-To Sets
Dorra Ben KhalifaBen Khalifa, Dorra Université de Perpignan Via Domitia Fast and Efficient Bit-Level Precision Tuning
Josh BerdineBerdine, Josh Facebook Committee Member in Program Committee within the SAS-track
Ranadeep BiswasBiswas, Ranadeep Informal Systems Committee Member in Artifact Evaluation Committee within the SAS-track
Ajay BrahmakshatriyaBrahmakshatriya, Ajay Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS-track
Julien BraineBraine, Julien Data Abstraction: A General Framework to Handle Program Verification of Data Structures
C Marco CampionCampion, Marco University of VeronaItaly Committee Member in Artifact Evaluation Committee within the SAS-track
Marek ChalupaChalupa, Marek Masaryk University Backward Symbolic Execution with Loop Folding
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Selectively-Amortized Resource Bounding
Prantik ChatterjeeChatterjee, Prantik Committee Member in Artifact Evaluation Committee within the SAS-track
Yifan ChenChen, Yifan Peking University Accelerating Program Analyses in Datalog by Merging Library Facts
Maria ChristakisChristakis, Maria MPI-SWSGermany Compositional Verification of Smart Contracts Through Communication Abstraction
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Oracle Parfait: The Flavour of Real-World Vulnerability Detection and Intelligent Configuration Invited Speaker in Invited Speakers within the SAS-track
Berk CirisciCirisci, Berk IRIF, University Paris Diderot and CNRS, FranceFrance Committee Member in Artifact Evaluation Committee within the SAS-track
D Vijay D'SilvaD'Silva, Vijay Google Committee Member in Program Committee within the SAS-track
David DelmasDelmas, David Airbus & Sorbonne UniversitéFrance Static Analysis of Endian Portability by Abstract Interpretation
Samvid DharanikotaDharanikota, Samvid Microsoft Research, IndiaIndia Committee Member in Artifact Evaluation Committee within the SAS-track
Cezara DrăgoiDrăgoi, Cezara Inria / ENS / Informal Systems Session Chair of Session 1A (part of SAS) Session Chair of Session 2C (part of SAS) Session Chair of Session 2B (part of SAS) Session Chair of Session 4A (part of SAS) Co-chair in Program Committee within the SAS-track Co-chair in Organizing Committee within the SAS-track
E Michael EmmiEmmi, Michael Amazon Web ServicesUnited States Committee Member in Program Committee within the SAS-track
Constantin EneaEnea, Constantin University of Paris / IRIF / CNRSFrance Committee Member in Program Committee within the SAS-track
Julian ErhardErhard, Julian Improving Thread-Modular Abstract Interpretation
F Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of Session 4C (part of SAS) Committee Member in Program Committee within the SAS-track
Lucas FranceschinoFranceschino, Lucas INRIAFrance Verified Functional Programming of an Abstract Interpreter
G Graeme GangeGange, Graeme Disjunctive Interval Analysis
Roberto GiacobazziGiacobazzi, Roberto University of Verona and IMDEA Software InstituteItaly Committee Member in Program Committee within the SAS-track
Patrice GodefroidGodefroid, Patrice Microsoft Research, USAUnited States Committee Member in Program Committee within the SAS-track
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Data Abstraction: A General Framework to Handle Program Verification of Data Structures
Eric GoubaultGoubault, Eric Ecole Polytechnique Static analysis of ReLU neural networks with tropical polyhedra
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Compositional Verification of Smart Contracts Through Communication Abstraction Committee Member in Program Committee within the SAS-track
H Dongjie HeHe, Dongjie UNSW Sydney Selective Context-Sensitivity for k-CFA with CFL-Reachability
Gerard HolzmannHolzmann, Gerard NASA/Caltech Jet Propulsion LaboratoryUnited States Interactive Code Analysis Invited Speaker in Invited Speakers within the SAS-track
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Automated Verification of the Parallel Bellman--Ford Algorithm
J Ranjit JhalaJhala, Ranjit University of California at San Diego Committee Member in Program Committee within the SAS-track
Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States Exploiting Verified Neural Networks via Floating Point Numerical Error Verifying Low-dimensional Input Neural Networks via Input Quantization
K Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Symbolic Automatic Relations and Their Applications to SMT and CHC Solving Toward Neural-Network-Guided Program Synthesis and Verification
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Committee Member in Program Committee within the SAS-track
L Akash LalLal, Akash Microsoft Research Committee Member in Program Committee within the SAS-track
Peixuan LiLi, Peixuan Penn State UniversityUnited States Committee Member in Artifact Evaluation Committee within the SAS-track
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Program Committee within the SAS-track
Jingbo LuLu, Jingbo UNSW Sydney Selective Context-Sensitivity for k-CFA with CFL-Reachability
Tianhan LuLu, Tianhan University of Colorado Boulder Selectively-Amortized Resource Bounding
M Matthieu MartelMartel, Matthieu Université de Perpignan Via Domitia Fast and Efficient Bit-Level Precision Tuning
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
Kenneth L. McMillanMcMillan, Kenneth L. UT Austin Committee Member in Program Committee within the SAS-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Session Chair of Session 4B (part of SAS) A Multi-Language Static Analysis of Python Programs with Native C Extensions Static Analysis of Endian Portability by Abstract Interpretation Committee Member in Program Committee within the SAS-track
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France A Multi-Language Static Analysis of Python Programs with Native C Extensions
David MonniauxMonniaux, David CNRS/VERIMAGFrance Data Abstraction: A General Framework to Handle Program Verification of Data Structures
Suvam MukherjeeMukherjee, Suvam Microsoft Research Session Chair of Session 2B (part of SAS) Session Chair of Session 3A (part of SAS) Session Chair of Session 4C (part of SAS) Artifact Evaluation Chair in Artifact Evaluation Committee within the SAS-track Artifact Evaluation Chair in Organizing Committee within the SAS-track
N Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Session Chair of Session 3C (part of SAS) Session Chair of Session 3B (part of SAS) Session Chair of Session 4B (part of SAS) Session Chair of Session 1A (part of SAS) Co-chair in Program Committee within the SAS-track Co-chair in Organizing Committee within the SAS-track
Jorge A. NavasNavas, Jorge A. SRI InternationalUnited States Disjunctive Interval Analysis Compositional Verification of Smart Contracts Through Communication Abstraction
Muhammad Numair MansurNumair Mansur, Muhammad MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the SAS-track
O Wytse OortwijnOortwijn, Wytse ETH Zurich, SwitzerlandNetherlands Automated Verification of the Parallel Bellman--Ford Algorithm
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance A Multi-Language Static Analysis of Python Programs with Native C Extensions Static Analysis of Endian Portability by Abstract Interpretation
P Sebastien PalumbyPalumby, Sebastien Ecole Polytechnique Static analysis of ReLU neural networks with tropical polyhedra
Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Nisarg PatelPatel, Nisarg New York UniversityUnited States Committee Member in Artifact Evaluation Committee within the SAS-track
David PichardiePichardie, David Facebook ParisFrance Session Chair of Session 3C (part of SAS) Verified Functional Programming of an Abstract Interpreter
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Committee Member in Program Committee within the SAS-track
Sylvie PutotPutot, Sylvie École Polytechnique Static analysis of ReLU neural networks with tropical polyhedra
R Thomas RepsReps, Thomas University of Wisconsin--Madison Committee Member in Program Committee within the SAS-track
Martin C. RinardRinard, Martin C. Exploiting Verified Neural Networks via Floating Point Numerical Error
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Verifying Low-dimensional Input Neural Networks via Input Quantization
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Committee Member in Program Committee within the SAS-track
Louis RustenholzRustenholz, Louis École PolytechniqueFrance Static analysis of ReLU neural networks with tropical polyhedra
S Simon SaanSaan, Simon University of Tartu, Estonia Improving Thread-Modular Abstract Interpretation
Mohsen SafariSafari, Mohsen University of Twente, The Netherlands Automated Verification of the Parallel Bellman--Ford Algorithm
Mooly SagivSagiv, Mooly Tel Aviv University Pointer Analysis of Bytecode Programs for Effective Formal Verification of Smart Contracts Invited Speaker in Invited Speakers within the SAS-track
Ken SakayoriSakayori, Ken The University of Tokyo Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
Stanly SamuelSamuel, Stanly Indian Institute of Science, IndiaIndia Committee Member in Artifact Evaluation Committee within the SAS-track
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Static analysis of ReLU neural networks with tropical polyhedra
Issei SatoSato, Issei The University of Tokyo Toward Neural-Network-Guided Program Synthesis and Verification
Ryosuke SatoSato, Ryosuke University of Tokyo, JapanJapan Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
Peter SchachteSchachte, Peter Disjunctive Interval Analysis
Michael SchwarzSchwarz, Michael Technische Universität München Improving Thread-Modular Abstract Interpretation
Helmut SeidlSeidl, Helmut Technische Universität München Improving Thread-Modular Abstract Interpretation
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Toward Neural-Network-Guided Program Synthesis and Verification
Divyanjali SharmaSharma, Divyanjali IIT Delhi, IndiaIndia Thread-modular Analysis of Release-Acquire Concurrency
Subodh SharmaSharma, Subodh IIT DelhiIndia Thread-modular Analysis of Release-Acquire Concurrency
Takumi ShimodaShimoda, Takumi The University of Tokyo Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance Session Chair of Session 3A (part of SAS) Committee Member in Program Committee within the SAS-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the SAS-track
Harald SondergaardSondergaard, Harald Disjunctive Interval Analysis
Jan StrejcekStrejcek, Jan Masaryk UniversityCzech Republic Backward Symbolic Execution with Loop Folding
Peter J. StuckeyStuckey, Peter J. Monash University Disjunctive Interval Analysis
Yulei SuiSui, Yulei University of Technology SydneyAustralia Hash Consed Points-To Sets
T Jean-Pierre TalpinTalpin, Jean-Pierre INRIA, France Verified Functional Programming of an Abstract Interpreter
Hao TangTang, Hao Peking University Accelerating Program Analyses in Datalog by Merging Library Facts
Richard TreflerTrefler, Richard University of Waterloo, Canada Compositional Verification of Smart Contracts Through Communication Abstraction
Ashutosh TrivediTrivedi, Ashutosh Selectively-Amortized Resource Bounding
U Hiroshi UnnoUnno, Hiroshi University of TsukubaJapan Toward Neural-Network-Guided Program Synthesis and Verification
Caterina UrbanUrban, Caterina INRIA & École Normale Supérieure \| Université PSLFrance Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
V Vesal VojdaniVojdani, Vesal University of Tartu Improving Thread-Modular Abstract Interpretation
W Xiaoyin WangWang, Xiaoyin University of Texas at San Antonio Accelerating Program Analyses in Datalog by Merging Library Facts
Xudong WangWang, Xudong UNSW SydneyAustralia Automatic Synthesis of Data-Flow Analyzers
Scott WesleyWesley, Scott University of Waterloo, Canada Compositional Verification of Smart Contracts Through Communication Abstraction
Valentin WüstholzWüstholz, Valentin ConsenSysGermany Compositional Verification of Smart Contracts Through Communication Abstraction
X Yingfei XiongXiong, Yingfei Peking UniversityChina Accelerating Program Analyses in Datalog by Merging Library Facts
Xuezheng XuXu, Xuezheng UNSW SydneyAustralia Automatic Synthesis of Data-Flow Analyzers
Anton XueXue, Anton University of Pennsylvania Committee Member in Artifact Evaluation Committee within the SAS-track
Jingling XueXue, Jingling UNSW SydneyAustralia Selective Context-Sensitivity for k-CFA with CFL-Reachability Automatic Synthesis of Data-Flow Analyzers
Y Chenyang YangYang, Chenyang Accelerating Program Analyses in Datalog by Merging Library Facts
Z Lu ZhangZhang, Lu Peking UniversityChina Accelerating Program Analyses in Datalog by Merging Library Facts
Xin ZhangZhang, Xin Peking UniversityChina Accelerating Program Analyses in Datalog by Merging Library Facts
Lenore ZuckZuck, Lenore UICUnited States Committee Member in Program Committee within the SAS-track