SAS 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (105)

A Karim AliAli, Karim NYU Abu DhabiUnited Arab Emirates Committee Member in Program Committee within the SAS -track
B Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Formal Analysis of Networked PLC Controllers Interacting with Physical Environments Committee Member in Program Committee within the SAS -track
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Committee Member in Program Committee within the SAS -track
Giacomo BoldiniBoldini, Giacomo Ca' Foscari University of VeniceItaly Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Roberto BruniBruni, Roberto University of PisaItaly Committee Member in Program Committee within the SAS -track
C Marco CampionCampion, Marco Sorbonne UniversitéFrance Session Chair of Abstract Interpretation (part of SAS ) Relating Distances and Abstractions: An Abstract Interpretation Perspective
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States Committee Member in Steering Committee within the SAS -track
Liqian ChenChen, Liqian NUDTChina Committee Member in Program Committee within the SAS -track
Menglong ChenChen, Menglong Nanjing UniversityChina Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Weijun ChenChen, Weijun Shanghai Jiao Tong University, China A Programming Language for Feasible Solutions
Zakaria ChihaniChihani, Zakaria CEA, LIST, France Verifying Neural Networks with PyRAT
Wei-Ngan ChinChin, Wei-Ngan National University of SingaporeSingapore Specifying and Verifying Future Conditions
Lucas C. CordeiroCordeiro, Lucas C. University of Manchester, UKUnited Kingdom Committee Member in Program Committee within the SAS -track
Patrick CousotCousot, Patrick Committee Member in Steering Committee within the SAS -track
D Mila Dalla PredaDalla Preda, Mila University of VeronaItaly Committee Member in Program Committee within the SAS -track
Olivier DanvyDanvy, Olivier Yale-NUS College and School of Computing, SingaporeSingapore Session Chair of Verification (part of SAS ) On a simple problem due to Yves Bertot
Charles de Harode Haro, Charles École Normale Supérieure \| Université PSLFrance Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Abstracting Concolic Execution for Soft Contract Verification Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Enhancing Neural Network Robustness via Synthesis of Repair Programs
Alexandre DreweryDrewery, Alexandre INRIA Contextual Equality Saturation
Cezara DrăgoiDrăgoi, Cezara AWS / ENS Committee Member in Steering Committee within the SAS -track
Saikat DuttaDutta, Saikat University of Illinois at Urbana-ChampaignUnited States Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty
F Darius FooFoo, Darius National University of Singapore Specifying and Verifying Future Conditions
Yuxi FuFu, Yuxi Shanghai Jiao Tong University, China A Programming Language for Feasible Solutions
G Pierre GantyGanty, Pierre IMDEA Software Institute, Spain Committee Member in Program Committee within the SAS -track
Samir GenaimGenaim, Samir Universidad Complutense de MadridSpain Committee Member in Program Committee within the SAS -track
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Committee Member in Steering Committee within the SAS -track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Committee Member in Steering Committee within the SAS -track
Pierre GoutagnyGoutagny, Pierre Inria and University of LilleFrance Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
H Adi HarifHarif, Adi Ductape: Optimizing Dynamically Typed Programs using Ahead-of-Time Compilation and Data-Flow Analysis
Ningyu HeHe, Ningyu Hong Kong Polytechnic UniversityHong Kong SAR China Committee Member in Program Committee within the SAS -track
Kihong HeoHeo, Kihong KAISTSouth Korea Co-chair in SAS Artifact Evaluation Committee within the SAS Artifact-track
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Committee Member in Steering Committee within the SAS -track
Zixin HuangHuang, Zixin University of Illinois at Urbana-Champaign, USA Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty
I Shachar ItzhakyItzhaky, Shachar TechnionIsrael Ductape: Optimizing Dynamically Typed Programs using Ahead-of-Time Compilation and Data-Flow Analysis
J Sujin JangJang, Sujin KAISTSouth Korea Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Thomas P. JensenJensen, Thomas P. INRIA Rennes Contextual Equality Saturation
K Hiroyuki KatsuraKatsura, Hiroyuki University of Cambridge Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
Naoki KobayashiKobayashi, Naoki University of TokyoJapan Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
L Jacob LaurelLaurel, Jacob Georgia Institute of TechnologyUnited States Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty
Tristan Le GallLe Gall, Tristan CEA LIST Verifying Neural Networks with PyRAT
Quang Loc LeLe, Quang Loc University College LondonUnited Kingdom Committee Member in Program Committee within the SAS -track
Jaeseo LeeLee, Jaeseo POSTECHSouth Korea Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
Julien LehmannLehmann, Julien CEA, LIST, FranceFrance Verifying Neural Networks with PyRAT
Augustin LemesleLemesle, Augustin CEA, LIST, France Verifying Neural Networks with PyRAT
Danya LetteLette, Danya Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Yue LiLi, Yue Nanjing UniversityChina Co-chair in SAS Artifact Evaluation Committee within the SAS Artifact-track
Teodors LisovenkoLisovenko, Teodors Ca' Foscari University of VeniceItaly Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Jie LiuLiu, Jie ByteDanceChina Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Huan LongLong, Huan Shanghai Jiao Tong University A Programming Language for Feasible Solutions
Pedro López-GarcíaLópez-García, Pedro IMDEA Software Institute Committee Member in Program Committee within the SAS -track
M Isabella MastroeniMastroeni, Isabella University of VeronaItaly Relating Distances and Abstractions: An Abstract Interpretation Perspective
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Committee Member in Program Committee within the SAS -track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty
Ashish MishraMishra, Ashish IIT HyderabadIndia Committee Member in Program Committee within the SAS -track
Sidi Mohamed BeillahiMohamed Beillahi, Sidi University of TorontoCanada Committee Member in Program Committee within the SAS -track
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Program Committee within the SAS -track
José MoralesMorales, José IMDEA Software InstituteSpain Committee Member in Steering Committee within the SAS -track
N Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Comparing the Precision of Abstract Operators in the eBPF Verifier using Differential Synthesis
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Committee Member in Steering Committee within the SAS -track
Srinivas NarayanaNarayana, Srinivas Rutgers University Comparing the Precision of Abstract Operators in the eBPF Verifier using Differential Synthesis
Jorge A. NavasNavas, Jorge A. CertoraUnited States Committee Member in Program Committee within the SAS -track
Amirmohammad NazariNazari, Amirmohammad University of Southern CaliforniaUnited States Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
O Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Session Chair of Compiler (part of SAS ) Co-chair in Program Committee within the SAS -track
Wonseok OhOh, Wonseok Korea UniversitySouth Korea Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
P Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Committee Member in Program Committee within the SAS -track
David PichardiePichardie, David MetaFrance Contextual Equality Saturation Committee Member in Steering Committee within the SAS -track
Goran PiskachevPiskachev, Goran Amazon Web ServicesGermany Committee Member in Program Committee within the SAS -track
Jyoti PrakashPrakash, Jyoti University of PassauGermany Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Q Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Committee Member in Program Committee within the SAS -track
R Xavier RivalRival, Xavier Inria - CNRS - Ecole Normale Superieure de Paris - PSL UniversityFrance Session Chair of Abstraction and Proofs (part of SAS ) Towards static analyses and abstract domains for hyperproperties Committee Member in Program Committee within the SAS -track
S Ken SakayoriSakayori, Ken University of TokyoJapan Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
Ryosuke SatoSato, Ryosuke Tokyo University of Agriculture and TechnologyJapan Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
Ilya SergeySergey, Ilya National University of SingaporeSingapore Multi-Modal Verification of Distributed Systems in Lean
Matan ShachnaiShachnai, Matan Comparing the Precision of Abstract Operators in the eBPF Verifier using Differential Synthesis
Xujie SiSi, Xujie University of Toronto Committee Member in Program Committee within the SAS -track
Mihaela SighireanuSighireanu, Mihaela University Paris-Saclay, ENS Paris-Saclay, CNRS, LMFFrance Committee Member in Steering Committee within the SAS -track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Committee Member in Program Committee within the SAS -track Committee Member in Steering Committee within the SAS -track
Sunbeom SoSo, Sunbeom GIST (Gwangju Institute of Science and Technology) Committee Member in Program Committee within the SAS -track
Fu SongSong, Fu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software TechnologyChina Committee Member in Program Committee within the SAS -track
Yahui SongSong, Yahui Standard Chartered BankSingapore Session Chair of Testing and Constraint Solving (part of SAS ) Specifying and Verifying Future Conditions
Quentin StiévenartStiévenart, Quentin Université du Québec à MontréalCanada Abstracting Concolic Execution for Soft Contract Verification
Yulei SuiSui, Yulei University of New South WalesAustralia Co-chair in Program Committee within the SAS -track
T Tian TanTan, Tian Nanjing UniversityChina Committee Member in Program Committee within the SAS -track
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States Committee Member in Program Committee within the SAS -track
Manas ThakurThakur, Manas IIT BombayIndia Committee Member in Program Committee within the SAS -track
U Caterina UrbanUrban, Caterina Inria & ENS \| PSLFrance Relating Distances and Abstractions: An Abstract Interpretation Perspective Committee Member in Program Committee within the SAS -track Committee Member in Steering Committee within the SAS -track
V Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Noah Van EsVan Es, Noah Sofware Languages Lab, Vrije Universiteit BrusselBelgium Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell
Bram VandenbogaerdeVandenbogaerde, Bram Software Languages Lab, Vrije Universiteit BrusselBelgium Abstracting Concolic Execution for Soft Contract Verification Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell
Sarah VerbelenVerbelen, Sarah Vrije Universiteit Brussel, Belgium Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell
Harishankar VishwanathanVishwanathan, Harishankar Comparing the Precision of Abstract Operators in the eBPF Verifier using Differential Synthesis
W Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada Committee Member in Program Committee within the SAS -track
X Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Y Zhenyu YanYan, Zhenyu Peking UniversityChina Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Shengyuan YangYang, Shengyuan University of Wisconsin-Madison Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Peisen YaoYao, Peisen Zhejiang UniversityChina Bounded-Exhaustive Subspace Diversification for SMT Solver Testing Committee Member in Program Committee within the SAS -track
Jooyong YiYi, Jooyong UNISTSouth Korea Committee Member in Program Committee within the SAS -track
Tom YuvilerYuviler, Tom Technion Enhancing Neural Network Robustness via Synthesis of Repair Programs
Z Enea ZaffanellaZaffanella, Enea University of ParmaItaly Committee Member in Program Committee within the SAS -track
Giacomo ZanattaZanatta, Giacomo Ca’ Foscari University of VeniceItaly Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States From Within: Compiler Testing and Validation via Compilers Committee Member in Program Committee within the SAS -track
Teng ZhangZhang, Teng Nanjing UniversityChina Committee Member in SAS Artifact Evaluation Committee within the SAS Artifact-track
Xin ZhangZhang, Xin Peking UniversityChina Committee Member in Program Committee within the SAS -track
Junda ZhengZheng, Junda Bounded-Exhaustive Subspace Diversification for SMT Solver Testing