SAS 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (87)

A Rosa Abbasi BoroujeniAbbasi Boroujeni, Rosa Max Planck Institute for Software SystemsGermany Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Unconstrained Variable Oracles for Faster Static Analyses Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
B Gogul BalakrishnanBalakrishnan, Gogul GoogleUnited States PC Member in Program Committee within the SAS -track
Dorra Ben KhalifaBen Khalifa, Dorra University of Toulouse - ENACFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jérôme BoillotBoillot, Jérôme École Normale Supérieure, PSL University & INRIAFrance Symbolic transformation of expressions in modular arithmetic Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Pauline BolignanoBolignano, Pauline AmazonUnited Kingdom Lifting On-Demand Analysis to Higher-Order Languages
C Marco CampionCampion, Marco INRIA & École Normale Supérieure \| Université PSLFrance A Formal Framework to Measure the Incompleteness of Abstract Interpretations Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Shangtong CaoCao, Shangtong Beijing University of Posts and TelecommunicationsChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado at Boulder; AmazonUnited States Invited Speaker in Invited Speakers for SAS 2023 Session Chair of Domain precision (part of SAS ) Lifting On-Demand Analysis to Higher-Order Languages Goal-Directed Abstract Interpretation and Event-Driven Frameworks
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina PC Member in Program Committee within the SAS -track
Yanbin ChenChen, Yanbin TUM School of Computation, Information and Technology, Technical University of MunichGermany Quantum Constant Propagation
Yifan ChenChen, Yifan Peking University Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan PC Member in Program Committee within the SAS -track
Xiao ChengCheng, Xiao University of Technology Sydney Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Marc ChevalierChevalier, Marc Switzerland Artifact Evaluation Chair in Organizing Committee for SAS 2023 Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Chris CoppinsCoppins, Chris University of KentUnited Kingdom Polynomial Analysis of Modular Arithmetic
Patrick CousotCousot, Patrick PC Member in Program Committee within the SAS -track
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-MadisonUnited States Invited Speaker in Invited Speakers for SAS 2023 Verifying Infinitely Many Programs at Once
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly A Formal Framework to Measure the Incompleteness of Abstract Interpretations
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs Scaling up Roundoff Analysis of Functional Data Structure Programs
Shuo DingDing, Shuo Georgia Institute of TechnologyUnited States Mutual Refinements of Context-Free Language Reachability
Greta DolcettiDolcetti, Greta University of Parma - Department of Mathematical, Physical, and Computer SciencesItaly Unconstrained Variable Oracles for Faster Static Analyses
E Michael EmmiEmmi, Michael Amazon Web ServicesUnited States PC Member in Program Committee within the SAS -track
Neil EvansEvans, Neil AWEUnited Kingdom Polynomial Analysis of Modular Arithmetic
F Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of Session 10 (part of SAS ) Symbolic transformation of expressions in modular arithmetic
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly PC Member in Program Committee within the SAS -track
Florian FrohnFrohn, Florian RWTH Aachen UniversityGermany ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
G Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Session Chair of Quantum, neural (part of SAS ) How fitting is your abstract domain? A Formal Framework to Measure the Incompleteness of Abstract Interpretations PC Member in Program Committee within the SAS -track
Jürgen GieslGiesl, Jürgen RWTH Aachen UniversityGermany ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
Josselin GietGiet, Josselin Ecole Normale SupérieureFrance A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best Paper Award)
Colin GordonGordon, Colin Drexel UniversityUnited States Error Localization for Sequential Effect Systems
Roberta GoriGori, Roberta University of PisaItaly PC Member in Program Committee within the SAS -track
Yao GuoGuo, Yao Peking UniversityChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
H Ningyu HeHe, Ningyu Peking UniversityChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Co-chair in Organizing Committee for SAS 2023 Session Chair of Session 8 (part of SAS ) Radhia Cousot Award and PC report Opening PC Chair in Program Committee within the SAS -track
I Anastasia IsychevIsychev, Anastasia Technical University of ViennaAustria Scaling up Roundoff Analysis of Functional Data Structure Programs
J Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Daniel Jurjo RivasJurjo Rivas, Daniel IMDEA Software Institute and T.U. of Madrid (UPM)Spain Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
K Daniel KaestnerKaestner, Daniel AbsIntGermany Invited Speaker in Invited Speakers for SAS 2023 Session Chair of Modular arithmetic and numeric analysis (part of SAS ) Abstract Interpretation in Industry - Experience and Lessons Learned
Andy KingKing, Andy KentUnited Kingdom Session Chair of Error location and scaling (part of SAS ) Polynomial Analysis of Modular Arithmetic
L Jonathan LaurentLaurent, Jonathan Carnegie Mellon University / Karlsruhe Institute of Technology Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA LISTFrance Reverse Template Processing using Abstract Interpretation
Jiaxiang LiuLiu, Jiaxiang Shenzhen UniversityChina Boosting Multi-Neuron Convex Relaxation for Neural Network Verification
Francesco LogozzoLogozzo, Francesco FacebookUnited States PC Member in Program Committee within the SAS -track
M Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly How fitting is your abstract domain? Domain Precision in Galois Connection-less Abstract Interpretation PC Member in Program Committee within the SAS -track
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance PC Member in Program Committee within the SAS -track
Facundo MolinaMolina, Facundo IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
José MoralesMorales, José IMDEA Software InstituteSpain Co-chair in Organizing Committee for SAS 2023 Session Chair of Session 8 (part of SAS ) Radhia Cousot Award and PC report Opening PC Chair in Program Committee within the SAS -track
N Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States PC Member in Program Committee within the SAS -track
Jorge A. NavasNavas, Jorge A. CertoraUnited States PC Member in Program Committee within the SAS -track
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly 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 Ca’ Foscari University of VeniceItaly 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
Michele PasquaPasqua, Michele University of VeronaItaly Domain Precision in Galois Connection-less Abstract Interpretation
Elia PerantoniPerantoni, Elia University of VeronaItaly How fitting is your abstract domain?
R Franco RaimondiRaimondi, Franco AmazonUnited Kingdom Lifting On-Demand Analysis to Higher-Order Languages
Félix RidouxRidoux, Félix Univ Rennes / IMDEA Software InstituteFrance A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best Paper Award)
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States PC Member in Program Committee within the SAS -track
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance Session Chair of Cost/precision trade-offs and acceleration (part of SAS ) A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best Paper Award)
Louis RustenholzRustenholz, Louis Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain Publicity Chair in Organizing Committee for SAS 2023 Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, SkopjeNorth Macedonia Generalized Program Sketching by Abstract Interpretation and Logical Abduction Error Invariants for Fault Localization via Abstract Interpretation
Daniel SchoepeSchoepe, Daniel AmazonUnited Kingdom Session Chair of Synthesis and applications (part of SAS ) Lifting On-Demand Analysis to Higher-Order Languages PC Member in Program Committee within the SAS -track
Michael SchwarzSchwarz, Michael Technische Universität MünchenGermany Octagons Revisited - Elegant Proofs and Simplified Algorithms
Thomas SeedSeed, Thomas University of KentUnited Kingdom Polynomial Analysis of Modular Arithmetic
David SeekatzSeekatz, David UnaffiliatedCanada Lifting On-Demand Analysis to Higher-Order Languages
Helmut SeidlSeidl, Helmut Technische Universität MünchenGermany Octagons Revisited - Elegant Proofs and Simplified Algorithms PC Member in Program Committee within the SAS -track
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance PC Member in Program Committee within the SAS -track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Invited Speaker in Invited Speakers for SAS 2023 Building Trust and Safety in Artificial Intelligence with Abstract Interpretation PC Member in Program Committee within the SAS -track
Fu SongSong, Fu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, ChinaChina Committee Member in Program Committee within the SAS -track
Yannick StadeStade, Yannick TUM School of Computation, Information and Technology, Technical University of MunichGermany Quantum Constant Propagation
Ilina StoilkovskaStoilkovska, Ilina AmazonUnited Kingdom Lifting On-Demand Analysis to Higher-Order Languages
Sandro StuckiStucki, Sandro AmazonSweden Lifting On-Demand Analysis to Higher-Order Languages
Yulei SuiSui, Yulei UNSWAustralia PC Member in Program Committee within the SAS -track
T Xuezhou TangTang, Xuezhou ShenZhen UniversityChina Boosting Multi-Neuron Convex Relaxation for Neural Network Verification
Daniel TattersallTattersall, Daniel AmazonUnited States Lifting On-Demand Analysis to Higher-Order Languages
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States PC Member in Program Committee within the SAS -track
U Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Session Chair of Session 1 (part of SAS ) A Formal Framework to Measure the Incompleteness of Abstract Interpretations
V Ryan VrecenarVrecenar, Ryan Sandia National LaboratoriesUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
W Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
X Jingling XueXue, Jingling UNSWAustralia PC Member in Program Committee within the SAS -track
Y Chaewon YunYun, Chaewon Drexel UniversityUnited States Error Localization for Sequential Effect Systems
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Session Chair of Session 5 (part of SAS ) Unconstrained Variable Oracles for Faster Static Analyses
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Mutual Refinements of Context-Free Language Reachability
Xin ZhangZhang, Xin Peking UniversityChina PC Member in Program Committee within the SAS -track
Ye ZhengZheng, Ye Shenzhen UniversityChina Boosting Multi-Neuron Convex Relaxation for Neural Network Verification