VMCAI 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (92)

A Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States Session Chair of Solvers (part of VMCAI) What Can Program Analysis Say About Data Bias?
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, Sweden Committee Member in Program Committee within the VMCAI-track
Clément AubertAubert, Clément Augusta UniversityUnited States Distributing and Parallelizing Non-canonical Loops
B Souheib BaarirBaarir, Souheib CosySEL: Improving SAT Solving Using Local Symmetries
Ansuman BanerjeeBanerjee, Ansuman SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
Soham BanerjeeBanerjee, Soham SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia StaticPersist : Compiler Support for PMEM Programming
Nicolas BerthierBerthier, Nicolas OCamlProFrance Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research Satisfiability Modulo Custom Theories in Z3 (Tool Paper)
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Committee Member in Program Committee within the VMCAI-track
C Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Committee Member in Program Committee within the VMCAI-track
Qiaochu ChenChen, Qiaochu University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the VMCAI-track
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the VMCAI-track
Lidiia ChernigovskaiaChernigovskaia, Lidiia Solving Constrained Horn Clauses over Algebraic Data Types
Berk CirisciCirisci, Berk IRIF, University Paris Diderot and CNRS, FranceFrance A Pragmatic Approach to Stateful Partial Order Reduction
Luisa CollodiCollodi, Luisa University of FlorenceItaly Bayesian parameter estimation with guarantees via interval analysis and simulation
D Deepak D'SouzaD'Souza, Deepak Committee Member in Program Committee within the VMCAI-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Result Invalidation for Incremental Modular Analyses
Jo DevriendtDevriendt, Jo CosySEL: Improving SAT Solving Using Local Symmetries
Luca Di StefanoDi Stefano, Luca University of Gothenburg, SwedenItaly Compositional Verification of Stigmergic Collective Systems
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information Security Committee Member in Program Committee within the VMCAI-track
Mihály Dobos-KovácsDobos-Kovács, Mihály Budapest University of Technology and Economics Committee Member in Artifact Evaluation Committee within the VMCAI-track
Rui DongDong, Rui University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the VMCAI-track
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization
Cezara DrăgoiDrăgoi, Cezara AWS / ENS Committee Member in Program Committee within the VMCAI-track Program Co-Chair in Organizing Committee within the VMCAI-track
Claude DutheilletDutheillet, Claude CosySEL: Improving SAT Solving Using Local Symmetries
E Clemens EisenhoferEisenhofer, Clemens Satisfiability Modulo Custom Theories in Z3 (Tool Paper)
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States Session Chair of Keynote and best paper (part of VMCAI) Session Chair of Keynote and contribution paper (part of VMCAI) Session Chair of Keynote and contribution paper (part of VMCAI) Session Chair of Keynote and contribution paper (part of VMCAI) Committee Member in Program Committee within the VMCAI-track Program Co-Chair in Organizing Committee within the VMCAI-track
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance A Pragmatic Approach to Stateful Partial Order Reduction Committee Member in Program Committee within the VMCAI-track
Ferhat ErataErata, Ferhat Yale UniversityUnited States Committee Member in Artifact Evaluation Committee within the VMCAI-track
F Azadeh FarzanFarzan, Azadeh University of TorontoCanada A Pragmatic Approach to Stateful Partial Order Reduction
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Session Chair of Neural networks and Abstract Interpretation (part of VMCAI) Solving Constrained Horn Clauses over Algebraic Data Types
Jerome FeretFeret, Jerome INRIA ParisFrance A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation Committee Member in Program Committee within the VMCAI-track
Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRSFrance Committee Member in Program Committee within the VMCAI-track
Bernd FinkbeinerFinkbeiner, Bernd CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the VMCAI-track
G Sumana GhoshGhosh, Sumana SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar IST Austria, Austria Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the VMCAI-track
H Liana HadareanHadarean, Liana Amazon Web ServicesUnited States Committee Member in Program Committee within the VMCAI-track
Ákos HajduHajdu, Ákos MetaUnited Kingdom Committee Member in Program Committee within the VMCAI-track
Shaobo HeHe, Shaobo Amazon Web ServicesUnited States Committee Member in Program Committee within the VMCAI-track
Zunchen HuangHuang, Zunchen Committee Member in Artifact Evaluation Committee within the VMCAI-track
J Dejan JovanovićJovanović, Dejan SRI InternationalUnited States Committee Member in Program Committee within the VMCAI-track
K Anan KabahaKabaha, Anan Technion, Israel Institute of TechnologyIsrael Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization
Narges KhakpourKhakpour, Narges Linnaeus University Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference
Siau-Cheng KhooKhoo, Siau-Cheng National University of SingaporeSingapore ARENA: Enhancing Abstract Refinement for Neural Network Verification
Joomy KorkutKorkut, Joomy Princeton University, USAUnited States Committee Member in Artifact Evaluation Committee within the VMCAI-track
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Session Chair of Model Checking (part of VMCAI) Verifying, Inferring and Exploiting Code Commutativity
Laura KovácsKovács, Laura TU WienAustria Satisfiability Modulo Custom Theories in Z3 (Tool Paper)
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Committee Member in Program Committee within the VMCAI-track
L Akash LalLal, Akash Microsoft Research Committee Member in Program Committee within the VMCAI-track
Frederic LangLang, Frederic Compositional Verification of Stigmergic Collective Systems
Yannan LiLi, Yannan Committee Member in Artifact Evaluation Committee within the VMCAI-track
Anthony Widjaja LinLin, Anthony Widjaja TU Kaiserslautern; MPI-SWSGermany Committee Member in Program Committee within the VMCAI-track
M Kenneth L. McMillanMcMillan, Kenneth L. University of Texas at AustinUnited States Synthesizing History and Prophecy Variables for Symbolic Model Checking
Stephen MerzMerz, Stephen Inria Nancy Committee Member in Program Committee within the VMCAI-track
Swarup MohalikMohalik, Swarup SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
Shouvick MondalMondal, Shouvick IIT Gandhinagar, IndiaIndia Committee Member in Artifact Evaluation Committee within the VMCAI-track
Suha Orhun MutluergilMutluergil, Suha Orhun Sabanci University, Turkey A Pragmatic Approach to Stateful Partial Order Reduction Committee Member in Program Committee within the VMCAI-track
N Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Committee Member in Program Committee within the VMCAI-track
Jorge A. NavasNavas, Jorge A. Certora, inc.United States Committee Member in Program Committee within the VMCAI-track
Amirmohammad NazariNazari, Amirmohammad University of Southern California Committee Member in Artifact Evaluation Committee within the VMCAI-track
P Gennaro ParlatoParlato, Gennaro University of Molise Committee Member in Program Committee within the VMCAI-track
Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Committee Member in Program Committee within the VMCAI-track
Tatjana PetrovPetrov, Tatjana Universität KonstanzGermany Committee Member in Program Committee within the VMCAI-track
R Felipe R. MonteiroR. Monteiro, Felipe AmazonUnited States Committee Member in Program Committee within the VMCAI-track Committee Member in Artifact Evaluation Committee within the VMCAI-track
Tamara RezkRezk, Tamara INRIAFrance Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance Session Chair of Static Analysis (part of VMCAI) Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Thomas RubianoRubiano, Thomas LIPN – UMR 7030 Université Sorbonne Paris Nord Distributing and Parallelizing Non-canonical Loops
Neea RuschRusch, Neea Augusta UniversityUnited States Distributing and Parallelizing Non-canonical Loops
S Albin SalazarSalazar, Albin INRIA/CNRS/ENS/PSL*France A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation
Sabrine SaouliSaouli, Sabrine CosySEL: Improving SAT Solving Using Local Symmetries
Daniel Schwartz-NarbonneSchwartz-Narbonne, Daniel Amazon, n.n. Committee Member in Program Committee within the VMCAI-track
Thomas SeillerSeiller, Thomas CNRSFrance Distributing and Parallelizing Non-canonical Loops
Subodh SharmaSharma, Subodh IIT DelhiIndia Committee Member in Program Committee within the VMCAI-track
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Towards a Theoretical Understanding of Property-Directed Reachability
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance Committee Member in Program Committee within the VMCAI-track
Mandayam SrivasSrivas, Mandayam Chennai Mathematical Institute Committee Member in Program Committee within the VMCAI-track
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Result Invalidation for Incremental Modular Analyses
T Quang-Trung TaTa, Quang-Trung National University of SingaporeSingapore ARENA: Enhancing Abstract Refinement for Neural Network Verification
Ignacio TiraboschiTiraboschi, Ignacio Inria, France / ENS, FranceArgentina Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Abhishek TiwariTiwari, Abhishek University of Passau, GermanyGermany Committee Member in Artifact Evaluation Committee within the VMCAI-track
V Jens Van der PlasVan der Plas, Jens Software Languages Lab, Vrije Universiteit BrusselBelgium Result Invalidation for Incremental Modular Analyses
Cole VickVick, Cole Synthesizing History and Prophecy Variables for Symbolic Model Checking
W Chao WangWang, Chao University of Southern CaliforniaUnited States Differential Verification of Deep Neural Networks
Jingbo WangWang, Jingbo University of Southern California Artifact Evaluation Chair in Organizing Committee within the VMCAI-track
Z Ahmed Khaled ZaherZaher, Ahmed Khaled HKUSTEgypt Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
Lucas ZavaliaZavalia, Lucas Florida State University TallahasseeUnited States Solving Constrained Horn Clauses over Algebraic Data Types
Zhen ZhangZhang, Zhen Utah State UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Yuyi ZhongZhong, Yuyi ARENA: Enhancing Abstract Refinement for Neural Network Verification
Yaoda ZhouZhou, Yaoda University of Hong KongChina Committee Member in Artifact Evaluation Committee within the VMCAI-track
Florian ZulegerZuleger, Florian TU ViennaAustria Committee Member in Program Committee within the VMCAI-track