SAS 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (96)

A Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Committee Member in Program Committee within the SAS -track
Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany Committee Member in Program Committee within the SAS -track
Nicola AssoliniAssolini, Nicola University of VeronaItaly Static Analysis of Quantum Programs
B Charles Babu MBabu M, Charles CEA-ListFrance Trace Partitioning as an Optimization Problem
Paolo BaldanBaldan, Paolo University of PadovaItaly Committee Member in Program Committee within the SAS -track
Valentin BarbazoBarbazo, Valentin École Normale Supérieure \| Université PSL Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Session Chair of Verification cost and quantitative analysis (part of SAS ) Trace Partitioning as an Optimization Problem Committee Member in Program Committee within the SAS -track
Anna BecchiBecchi, Anna Fondazione Bruno Kessler, Trento, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Roberto BruniBruni, Roberto University of PisaItaly Committee Member in Program Committee within the SAS -track
C Marco CampionCampion, Marco INRIA & École Normale Supérieure \| Université PSLFrance Session Chair of Radhia Cousot Award and SAS24 Business Meeting (part of SAS ) Session Chair of Machine Learning and Neural networks (part of SAS ) Session Chair of Machine learning and Neural networks (part of SAS ) Quantitative Static Timing Analysis Artifact Evaluation Chair in Organizing Committee within the SAS -track Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Laura CanaiaCanaia, Laura On the Role of Cognizance in Responsibility
Liqian ChenChen, Liqian National University of Defense TechnologyChina Committee Member in Program Committee within the SAS -track
Lucas C. CordeiroCordeiro, Lucas C. University of Manchester, UK and Federal University of Amazonas, BrazilUnited Kingdom Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Nicholas CoughlinCoughlin, Nicholas Defence Science and Technology Group, Australia Lift-offline: Instruction Lifter Generators
Patrick CousotCousot, Patrick Session Chair of Authorisation and responsibility (part of SAS )
D Mila Dalla PredaDalla Preda, Mila University of VeronaItaly On the Role of Cognizance in Responsibility
Charles de Harode Haro, Charles ENS RennesFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
David DelmasDelmas, David AirbusFrance Committee Member in Program Committee within the SAS -track
Alessandra Di PierroDi Pierro, Alessandra University of VeronaItaly Static Analysis of Quantum Programs
Elizabeth DinellaDinella, Elizabeth Bryn Mawr College Committee Member in Program Committee within the SAS -track
Shuo DingDing, Shuo Georgia Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Greta DolcettiDolcetti, Greta Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Robustness Verification of Multi-Label Neural Network Classifiers
F Jonas FialaFiala, Jonas ETH Zürich Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Antonio FilieriFilieri, Antonio AWS and Imperial College LondonUnited States Committee Member in Program Committee within the SAS -track
G Thomas GenetGenet, Thomas IRISA, Univ RennesFrance Verification of programs with ADTs using Shallow Horn Clauses
Kimball GermaneGermane, Kimball Brigham Young UniversityUnited States Full Control-Flow Sensitivity for Definitional Interpreters
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Session Chair of System level analysis (part of SAS ) Session Chair of Radhia Cousot Award and SAS24 Business Meeting (part of SAS ) Session Chair of Modularity and Memory Analysis (part of SAS ) Program Chair in Organizing Committee within the SAS -track PC Chair in Program Committee within the SAS -track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Session Chair of Radhia Cousot Award and SAS24 Business Meeting (part of SAS ) Program Co-Chair in Organizing Committee within the SAS -track Co-chair in Program Committee within the SAS -track
H Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the SAS -track
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Session Chair of Automatising Program Analysis (part of SAS ) An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants
Zunchen HuangHuang, Zunchen United States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
I Anastasia IsychevIsychev, Anastasia TU WienAustria Committee Member in Program Committee within the SAS -track
Franjo IvancicIvancic, Franjo GoogleUnited States Committee Member in Program Committee within the SAS -track
J Thomas P. JensenJensen, Thomas P. INRIA Rennes Verification of programs with ADTs using Shallow Horn Clauses
Dhruti JoshiJoshi, Dhruti GoGuard: Efficient Static Blocking Bug Detection for Go
K Pankaj Kumar KalitaKalita, Pankaj Kumar IIT KanpurIndia Synthesizing Abstract Transformers for Reduced-Product Domains
Philipp KernKern, Philipp Karlsruhe Institute of Technology (KIT)Germany Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations
L Kait LamLam, Kait Lift-offline: Instruction Lifter Generators
Julia LawallLawall, Julia InriaFrance Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA LISTFrance Trace Partitioning as an Optimization Problem
Bozhen LiuLiu, Bozhen Texas A&M University - Corpus Christi GoGuard: Efficient Static Blocking Bug Detection for Go
Francesco LogozzoLogozzo, Francesco MetaUnited States Measuring data lineage: when program analysis meets data science
Théo LosekootLosekoot, Théo Verification of programs with ADTs using Shallow Horn Clauses
Jean-Pierre LoziLozi, Jean-Pierre Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)
Pedro López-GarcíaLópez-García, Pedro IMDEA Software Institute An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants
M Edoardo ManinoManino, Edoardo Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Jean-Yves MarionMarion, Jean-Yves LORIAFrance Trace Partitioning as an Optimization Problem
Isabella MastroeniMastroeni, Isabella University of VeronaItaly Static Analysis of Quantum Programs
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Quantitative Static Timing Analysis
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
Alistair MichaelMichael, Alistair Lift-offline: Instruction Lifter Generators
Marco MilaneseMilanese, Marco Sorbonne UniversityFrance Under-approximating Memory Abstractions Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the SAS -track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Under-approximating Memory Abstractions
José MoralesMorales, José IMDEA Software InstituteSpain An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants Committee Member in Program Committee within the SAS -track
Julian MourMour, Julian Robustness Verification of Multi-Label Neural Network Classifiers
Naïm Moussaoui RemilMoussaoui Remil, Naïm INRIA & École Normale Supérieure \| Université PSLFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
N Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Mayur NaikNaik, Mayur University of PennsylvaniaUnited States What's Still Missing in Static Analysis? A Decade-Long Journey.
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Committee Member in Program Committee within the SAS -track
Srinivas NarayanaNarayana, Srinivas Rutgers University Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Jorge A. NavasNavas, Jorge A. CertoraUnited States Committee Member in Program Committee within the SAS -track
Keisuke NishimuraNishimura, Keisuke Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)
P Oded PadonPadon, Oded VMware ResearchUnited States Committee Member in Program Committee within the SAS -track
Abhinandan PalPal, Abhinandan University of BirminghamUnited Kingdom Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Michele PasquaPasqua, Michele University of VeronaItaly Session Chair of Types, Control-flow and trace partitioning (part of SAS ) Committee Member in Program Committee within the SAS -track
R Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States Synthesizing Abstract Transformers for Reduced-Product Domains
Félix RidouxRidoux, Félix Univ Rennes / IMDEA Software InstituteFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance Committee Member in Program Committee within the SAS -track
Subhajit RoyRoy, Subhajit IIT KanpurIndia Synthesizing Abstract Transformers for Reduced-Product Domains
Louis RustenholzRustenholz, Louis Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants
S Albin SalazarSalazar, Albin University of KonstanzGermany Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Yasmin SaritaSarita, Yasmin Cornell University ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
Michael SchwarzSchwarz, Michael TU MunichGermany Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Francesca ScozzariScozzari, Francesca University of Chieti-PescaraItaly Committee Member in Program Committee within the SAS -track
Matan ShachnaiShachnai, Matan Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Avaljot SinghSingh, Avaljot UIUCUnited States ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper) Committee Member in Program Committee within the SAS -track
Carsten SinzSinz, Carsten Karlsruhe Institute of Technology Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations
Ian SmithSmith, Ian Trail of BitsUnited States BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
Gareth StockwellStockwell, Gareth ARMUnited Kingdom Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Ilina StoilkovskaStoilkovska, Ilina Amazon Committee Member in Program Committee within the SAS -track
T Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Session Chair of Tracing bugs and flaws (part of SAS ) Committee Member in Program Committee within the SAS -track
Emina TorlakTorlak, Emina Amazon Web Services, USAUnited States A New Language for Expressive, Fast, Safe, and Analyzable Authorization
U Caterina UrbanUrban, Caterina Inria - École Normale SupérieureFrance Quantitative Static Timing Analysis Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software
V Arnaud VenetVenet, Arnaud Facebook Committee Member in Program Committee within the SAS -track
Harishankar VishwanathanVishwanathan, Harishankar Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
W Jinhua WuWu, Jinhua Shanghai Jiao Tong UniversityChina Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Tong WuWu, Tong Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
X Shale XiongXiong, Shale ARMUnited Kingdom Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Y Kwangkeun YiYi, Kwangkeun Seoul National University Static Analysis Sparsity and Modularity
Z Enea ZaffanellaZaffanella, Enea University of ParmaItaly 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 Artifacts-track
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Session Chair of Quantum and system level analysis (part of SAS ) Committee Member in Program Committee within the SAS -track
Ye ZhengZheng, Ye Rochester Institute of Technology (RIT)United States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track