SAS 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (93)

A Maximilian AlgehedAlgehed, Maximilian Chalmers University of Technology, SwedenSweden SecWasm: Information Flow Control for WebAssembly
Daneshvar AmrollahiAmrollahi, Daneshvar Stanford UniversityUnited States Solving Invariant Generation for Unsolvable Loops
Aditya AnandAnand, Aditya IIT MandiIndia Principles of Staged Static+Dynamic Partial Analysis
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
B Suguman BansalBansal, Suguman Rice University, USAUnited States Invited Speaker in Invited Speakers for SAS 2022 Logical Reasoning in Reinforcement Learning: A Boon or Bane?
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Committee Member in Program Committee within the SAS -track
Gilles BartheBarthe, Gilles MPI-SP, Germany / IMDEA Software Institute, SpainGermany Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Ezio BartocciBartocci, Ezio TU WienAustria Solving Invariant Generation for Unsolvable Loops
Iulia BastysBastys, Iulia Chalmers University of TechnologySweden SecWasm: Information Flow Control for WebAssembly
Santiago BautistaBautista, Santiago Univ Rennes, Inria, CNRS, IRISAFrance Lifting Numeric Relational Domains to Algebraic Data Types
Anna BecchiBecchi, Anna Fondazione Bruno Kessler, Trento, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Dirk BeyerBeyer, Dirk LMU MunichGermany Case Study on Verification-Witness Validators: Where We Are and Where We Go
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Automated Synthesis of Asynchronizations
Roberto BruniBruni, Roberto University of PisaItaly Deciding program properties via complete abstractions on bounded domains
Denis BuenoBueno, Denis Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
C Marco CampionCampion, Marco University of VeronaItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Guangke ChenChen, Guangke ShanghaiTech UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina Committee Member in Program Committee within the SAS -track
Taolue ChenChen, Taolue Birkbeck University of LondonUnited Kingdom CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Marc ChevalierChevalier, Marc SnykSwitzerland Artifact Evaluation Chair in Organizing Committee for SAS 2022 Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Patrick CousotCousot, Patrick Committee Member in Program Committee within the SAS -track
Arlen CoxCox, Arlen IDA Session Chair of Model Checking and Verification (part of SAS ) Committee Member in Program Committee within the SAS -track
D Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Boosting Robustness Verification of Semantic Feature Neighborhoods Committee Member in Program Committee within the SAS -track
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany Session Chair of Security (part of SAS )
E Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance Automated Synthesis of Asynchronizations
F Yotam M. Y. FeldmanFeldman, Yotam M. Y. Tel Aviv UniversityIsrael Invariant Inference With Provable Complexity From the Monotone Theory
Jerome FeretFeret, Jerome INRIA ParisFrance Committee Member in Program Committee within the SAS -track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Committee Member in Program Committee within the SAS -track
G Isabel Garcia-ContrerasGarcia-Contreras, Isabel University of WaterlooCanada Efficient Modular SMT-Based Model Checking of Pointer Programs
Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly Session Chair of Logic and Completeness (part of SAS ) Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation Committee Member in Program Committee within the SAS -track
Christiane GoltzGoltz, Christiane SnykSwitzerland Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Roberta GoriGori, Roberta University of PisaItaly Deciding program properties via complete abstractions on bounded domains
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Efficient Modular SMT-Based Model Checking of Pointer Programs
H Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the SAS -track
Kangjing HuangHuang, Kangjing Purdue University, USAUnited States Bootstrapping Library-Based Synthesis
J Thomas P. JensenJensen, Thomas P. INRIA RennesFrance Lifting Numeric Relational Domains to Algebraic Data Types
Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
K Anan KabahaKabaha, Anan Technion, Israel Institute of TechnologyIsrael Boosting Robustness Verification of Semantic Feature Neighborhoods
George KenisonKenison, George TU WienAustria Solving Invariant Generation for Unsolvable Loops
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Parameterized Recursive Refinement Types for Automated Program Verification
Adrien KoutsosKoutsos, Adrien INRIA ParisFrance Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Laura KovácsKovács, Laura TU WienAustria Solving Invariant Generation for Unsolvable Loops
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia Committee Member in Program Committee within the SAS -track
L Sifis LagouvardosLagouvardos, Sifis University of AthensGreece Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Shuvendu LahiriLahiri, Shuvendu Microsoft ResearchUnited States Automated Synthesis of Asynchronizations
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jiaxiang LiuLiu, Jiaxiang Shenzhen UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
M Nicolas ManiniManini, Nicolas IMDEA Software InstituteSpain Deciding program properties via complete abstractions on bounded domains
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Session Chair of Numerical Static Analyses (part of SAS ) Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation Committee Member in Program Committee within the SAS -track
Abu Naser MasudMasud, Abu Naser Malardalen UniversitySweden Fast and incremental computation of weak control closure
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Marco MilaneseMilanese, Marco Dipartimento di Matematica, University of Padova, ItalyItaly Local Completeness Logic on Kleene Algebra with Tests
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Committee Member in Program Committee within the SAS -track
Solène MirliazMirliaz, Solène ENS Rennes / IRISA / InriaFrance Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Sidi Mohamed BeillahiMohamed Beillahi, Sidi University of TorontoCanada Automated Synthesis of Asynchronizations
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Program Committee within the SAS -track
David MonniauxMonniaux, David Grenoble Alps University / CNRS / Grenoble INP / VERIMAG Committee Member in Program Committee within the SAS -track
Benoît MontaguMontagu, Benoît InriaFrance Lifting Numeric Relational Domains to Algebraic Data Types
Marcel MoosbruggerMoosbrugger, Marcel TU WienAustria Solving Invariant Generation for Unsolvable Loops
Ryoya MukaiMukai, Ryoya The University of TokyoJapan Parameterized Recursive Refinement Types for Automated Program Verification
N Jorge A. NavasNavas, Jorge A. Certora, inc.United States Efficient Modular SMT-Based Model Checking of Pointer Programs Committee Member in Program Committee within the SAS -track
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Vivek NotaniNotani, Vivek Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
O Luca OlivieriOlivieri, Luca University of Verona, Corvallis S.r.l.Italy Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
P Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
David PichardiePichardie, David MetaFrance Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Q Xiaokang QiuQiu, Xiaokang Purdue University, USAUnited States Bootstrapping Library-Based Synthesis
R Francesco RanzatoRanzato, Francesco University of PadovaItaly Local Completeness Logic on Kleene Algebra with Tests Committee Member in Program Committee within the SAS -track
Subhajit RoyRoy, Subhajit IIT KanpurIndia Session Chair of Invariant and Program Synthesis (part of SAS )
S Andrei SabelfeldSabelfeld, Andrei Chalmers University of TechnologySweden SecWasm: Information Flow Control for WebAssembly
Ryosuke SatoSato, Ryosuke University of Tokyo, JapanJapan Parameterized Recursive Refinement Types for Automated Program Verification
Daniel SchoepeSchoepe, Daniel AmazonUnited Kingdom Committee Member in Program Committee within the SAS -track
Bernhard ScholzScholz, Bernhard University of SydneyAustralia Invited Speaker in Invited Speakers for SAS 2022 Commercial-Grade Static Analyzers in Datalog
Peter SchwabeSchwabe, Peter Max Planck Institute for Security and PrivacyGermany Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Invariant Inference With Provable Complexity From the Monotone Theory
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance Committee Member in Program Committee within the SAS -track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-ChampaignUnited States Program Co-Chair in Organizing Committee for SAS 2022 Session Chair of Keynote 3 (part of SAS ) Session Chair of Keynote 2, Radhia Cousot Award, PC Chairs Report (part of SAS ) Session Chair of Keynote 1 (part of SAS ) Radhia Cousot Award PC Chairs Report Co-chair in Program Committee within the SAS -track
Alexander SjöstenSjösten, Alexander TU WienAustria SecWasm: Information Flow Control for WebAssembly
Fu SongSong, Fu ShanghaiTech UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Manu SridharanSridharan, Manu University of California at RiversideUnited States Committee Member in Program Committee within the SAS -track
Miroslav StankovičStankovič, Miroslav TU WienAustria Solving Invariant Generation for Unsolvable Loops
Benno SteinStein, Benno Meta; University of Colorado BoulderUnited Kingdom Committee Member in Program Committee within the SAS -track
Ilina StoilkovskaStoilkovska, Ilina Amazon Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jan StrejcekStrejcek, Jan Masaryk UniversityCzechia Case Study on Verification-Witness Validators: Where We Are and Where We Go
T Manas ThakurThakur, Manas IIT BombayIndia Principles of Staged Static+Dynamic Partial Analysis
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States Committee Member in Program Committee within the SAS -track
U Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Program Co-Chair in Organizing Committee for SAS 2022 Session Chair of Keynote 3 (part of SAS ) Session Chair of Keynote 2, Radhia Cousot Award, PC Chairs Report (part of SAS ) Session Chair of Keynote 1 (part of SAS ) Radhia Cousot Award PC Chairs Report Co-chair in Program Committee within the SAS -track
V Julien VanegueVanegue, Julien BloombergUnited States Adversarial Logic
Y Nengkun YuYu, Nengkun Stony Brook University, USAUnited States Invited Speaker in Invited Speakers for SAS 2022 Towards Efficient Reasoning of Quantum Programs
Z Yedi ZhangZhang, Yedi ShanghaiTech UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Zhe ZhaoZhao, Zhe ShanghaiTech UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks