VMCAI 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (141)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden PC Member in Program Committee within the VMCAI-track
Elli AnastasiadiAnastasiadi, Elli Uppsala UniversitySweden Committee Member in Program Committee within the VMCAI-track
Bruno AndreottiAndreotti, Bruno Universidade Federal de Minas Gerais Committee Member in Artifact Evaluation Committee within the VMCAI-track
Nicola AssoliniAssolini, Nicola University of VeronaItaly A Static Analysis of Entanglement
Muqsit AzeemAzeem, Muqsit Technical University of MunichGermany 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
B Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas Gerais, BrazilBrazil PC Member in Program Committee within the VMCAI-track
Manuel BenteleBentele, Manuel University of FreiburgGermany Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Roderick BloemBloem, Roderick Institute of Software Technology, Graz University of Technology Austria Synthesis of Controllers for Continuous Blackbox Systems
Utpal BoraBora, Utpal University of CambridgeUnited Kingdom LLOR: Automated Repair of OpenMP Programs
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance PC Member in Program Committee within the VMCAI-track
Florian BruseBruse, Florian University of KasselGermany Space-Efficient Model-Checking of Higher-Order Recursion Schemes
Mario BucevBucev, Mario EPFLSwitzerland Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
C Julie CaillerCailler, Julie LIRMM Committee Member in Artifact Evaluation Committee within the VMCAI-track
Devora Chait-RothChait-Roth, Devora New York UniversityUnited States Constructing Trustworthy Smart Contracts
Debraj ChakrabortyChakraborty, Debraj Masaryk UniversityIndia 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Soham ChakrabortyChakraborty, Soham TU DelftNetherlands PC Member in Program Committee within the VMCAI-track
Samuel ChassotChassot, Samuel EPFL, LARASwitzerland Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
Liqian ChenChen, Liqian National University of Defense TechnologyChina Affine Disjunctive Invariant Generation with Farkas’ Lemma
Xin ChenChen, Xin University of New Mexico, USAUnited States Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training PC Member in Program Committee within the VMCAI-track
David ChocholatýChocholatý, David Brno University of TechnologyCzechia Committee Member in Artifact Evaluation Committee within the VMCAI-track
Patrick CousotCousot, Patrick PC Member in Program Committee within the VMCAI-track
D Loris D'AntoniD'Antoni, Loris University of California, San DiegoUnited States PC Member in Program Committee within the VMCAI-track
Vijay D'SilvaD'Silva, Vijay Google Inc. PC Member in Program Committee within the VMCAI-track
Deepak D'SouzaD'Souza, Deepak IISc BangaloreIndia PC Member in Program Committee within the VMCAI-track
Ramiro DemasiDemasi, Ramiro Universidad Nacional de Córdoba Committee Member in Artifact Evaluation Committee within the VMCAI-track
Jyotirmoy DeshmukhDeshmukh, Jyotirmoy University of Southern California Session Chair of Applications (part of VMCAI) Keynote Talk: Formal methods in a model-free, data-driven world PC Member in Program Committee within the VMCAI-track
Alessandra Di PierroDi Pierro, Alessandra University of VeronaItaly A Static Analysis of Entanglement
Antonio Di StasioDi Stasio, Antonio City St George’s, University of London Committee Member in Artifact Evaluation Committee within the VMCAI-track
Claire DrossDross, Claire AdaCoreFrance Two-way collaboration between flow and proof in SPARK
E Paul EichlerEichler, Paul CISPA - Helmholtz Center for Information SecurityGermany Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
Julian ErhardErhard, Julian LMU Munich; TU MunichGermany Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Zafer EsenEsen, Zafer Uppsala UniversitySweden Committee Member in Artifact Evaluation Committee within the VMCAI-track
F Dongliang FangFang, Dongliang Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, ChinaChina Automated Flaw Detection for Industrial Robot RESTful Service
Daniel FeldanFeldan, Daniel New York University Committee Member in Artifact Evaluation Committee within the VMCAI-track
Simon FelixFelix, Simon Ateleris GmbHSwitzerland Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina Affine Disjunctive Invariant Generation with Farkas’ Lemma
G Isabel Garcia-ContrerasGarcia-Contreras, Isabel University of WaterlooCanada Automatic Inference of Relational Object Invariants
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States PC Member in Program Committee within the VMCAI-track
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong PC Member in Program Committee within the VMCAI-track
Priyanka GoliaGolia, Priyanka Indian Institute of Technology, Kanpur, India and National University of Singapore, Singapore Committee Member in Program Committee within the VMCAI-track
Eric GoubaultGoubault, Eric Ecole Polytechnique PC Member in Program Committee within the VMCAI-track
Shibashis GuhaGuha, Shibashis Tata Institute of Fundamental Research, IndiaIndia PC Member in Program Committee within the VMCAI-track
Ashutosh GuptaGupta, Ashutosh Indian Institute of Technology BombayIndia PC Member in Program Committee within the VMCAI-track
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Session Chair of Model Checking (part of VMCAI) Automatic Inference of Relational Object Invariants
H Ernst Moritz HahnHahn, Ernst Moritz University of TwenteNetherlands Co-chair in Artifact Evaluation Committee within the VMCAI-track Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-track
Rasmus HebsgaardHebsgaard, Rasmus Aalborg UniversityDenmark ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks
Matthias HeizmannHeizmann, Matthias University of Freiburg, GermanyGermany Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Michal HečkoHečko, Michal Brno University of Technology Committee Member in Artifact Evaluation Committee within the VMCAI-track
Joffrey HuguetHuguet, Joffrey AdaCoreFrance Two-way collaboration between flow and proof in SPARK
I Daisuke IshiiIshii, Daisuke JAISTJapan A Real-Blasting Extension of Cvc5 for Reasoning about Floating-Point Arithmetic
Franjo IvancicIvancic, Franjo GoogleUnited States PC Member in Program Committee within the VMCAI-track
J Swen JacobsJacobs, Swen CISPAGermany Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Member in Program Committee within the VMCAI-track
Sumit JhaJha, Sumit Florida International University, USAUnited States Committee Member in Program Committee within the VMCAI-track
Saurabh JoshiJoshi, Saurabh Supra ResearchIndia LLOR: Automated Repair of OpenMP Programs
K Sudeep KanavKanav, Sudeep LMU MunichGermany 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Johannes KanigKanig, Johannes AdaCoreFrance Two-way collaboration between flow and proof in SPARK
Jingyu KeKe, Jingyu Shanghai Jiao Tong UniversityChina Affine Disjunctive Invariant Generation with Farkas’ Lemma
Dominik KlumppKlumpp, Dominik University of FreiburgGermany Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Katherine KosaianKosaian, Katherine University of Iowa PC Member in Program Committee within the VMCAI-track
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States An Abstract Domain for Heap Commutativity
Jan KretinskyKretinsky, Jan Masaryk University, Czech RepublicGermany 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization PC Member in Program Committee within the VMCAI-track
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India PC Chair in Program Committee within the VMCAI-track Co-chair in Organizing Committee within the VMCAI-track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study PC Member in Program Committee within the VMCAI-track
L Alberto LarrauriLarrauri, Alberto University of OxfordUnited Kingdom Synthesis of Controllers for Continuous Blackbox Systems
Guoqiang LiLi, Guoqiang Shanghai Jiao Tong UniversityChina Affine Disjunctive Invariant Generation with Farkas’ Lemma
Qin LiLi, Qin Shanghai Key Laboratory of Trustworthy Computing, East China Normal UniversityChina Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training
Marian Lingsch-RosenfeldLingsch-Rosenfeld, Marian LMU Munich Committee Member in Artifact Evaluation Committee within the VMCAI-track
Hongming LiuLiu, Hongming Shanghai Jiao Tong UniversityChina Affine Disjunctive Invariant Generation with Farkas’ Lemma
Puzhuo LiuLiu, Puzhuo Tsinghua UniversityChina Automated Flaw Detection for Industrial Robot RESTful Service
M Frederik M. W. HyldgaardM. W. Hyldgaard, Frederik Aalborg UniversityDenmark ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks
Benedikt MaderbacherMaderbacher, Benedikt Graz University of TechnologyAustria Synthesis of Controllers for Continuous Blackbox Systems
Kaushik MallikMallik, Kaushik IST Austria, AustriaAustria Committee Member in Program Committee within the VMCAI-track
Ravi MangalMangal, Ravi Colorado State UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Isabella MastroeniMastroeni, Isabella University of VeronaItaly Session Chair of Verification (part of VMCAI) A Static Analysis of Entanglement Abstract Local Completeness: A Local form of Abstract Non-Interference
Eric MercerMercer, Eric Brigham Young UniversityUnited States Property-agnostic base case extension for scalable verification of distributed systems Committee Member in Program Committee within the VMCAI-track
Roland MeyerMeyer, Roland TU BraunschweigGermany Committee Member in Program Committee within the VMCAI-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance PC Member in Program Committee within the VMCAI-track
Mohammadsadegh MohagheghiMohagheghi, Mohammadsadegh Masaryk UniversityCzechia 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Stefanie MohrMohr, Stefanie Technical University of MunichGermany 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Sergio MoverMover, Sergio École PolytechniqueFrance PC Member in Program Committee within the VMCAI-track
Gautam MudugantiMuduganti, Gautam Indian Institute of Technology Hyderabad, IndiaIndia LLOR: Automated Repair of OpenMP Programs
Koko MuroyaMuroya, Koko NIIJapan PC Member in Program Committee within the VMCAI-track
N Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Session Chair of Abstract Interpretation # 1 (part of VMCAI) Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications Constructing Trustworthy Smart Contracts
Jorge A. NavasNavas, Jorge A. CertoraUnited States Automatic Inference of Relational Object Invariants
O Ana Oliveira Da CostaOliveira Da Costa, Ana IST Austria, AustriaAustria Committee Member in Program Committee within the VMCAI-track
P Martin P. HansenP. Hansen, Martin Aalborg UniversityDenmark ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks
Zhiwen PanPan, Zhiwen Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina Automated Flaw Detection for Industrial Robot RESTful Service
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark PC Member in Program Committee within the VMCAI-track
Annabell PetriPetri, Annabell Universiteit Twente Committee Member in Artifact Evaluation Committee within the VMCAI-track
Jared PincusPincus, Jared Boston UniversityUnited States An Abstract Domain for Heap Commutativity
Andreas PodelskiPodelski, Andreas University of FreiburgGermany PC Member in Program Committee within the VMCAI-track
Vinayak PrabhuPrabhu, Vinayak Colorado State UniversityUnited States PC Member in Program Committee within the VMCAI-track
Edoardo PuttiPutti, Edoardo University of Twente Committee Member in Artifact Evaluation Committee within the VMCAI-track
R Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance PC Member in Program Committee within the VMCAI-track
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala University PC Member in Program Committee within the VMCAI-track
S Gustav S. BruhnsS. Bruhns, Gustav Aalborg UniversityDenmark ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks
Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Session Chair of Keynote Talk and Cyber-Physical Systems (part of VMCAI) Session Chair of Concurrency (part of VMCAI) PC Chair in Program Committee within the VMCAI-track Co-chair in Organizing Committee within the VMCAI-track
Sven ScheweSchewe, Sven University of Liverpool PC Member in Program Committee within the VMCAI-track
Filip SchramkaSchramka, Filip Ateleris GmbHSwitzerland Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
Michael SchwarzSchwarz, Michael TU MunichGermany Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Frank SchüsseleSchüssele, Frank University of FreiburgGermany Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Helmut SeidlSeidl, Helmut TU MunichGermany Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Subodh SharmaSharma, Subodh IIT DelhiIndia PC Member in Program Committee within the VMCAI-track
Shuaizong Si Shuaizong Si Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina Automated Flaw Detection for Industrial Robot RESTful Service
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Session Chair of Abstract Interpretation # 2 (part of VMCAI) Keynote Talk: Outcome Logic: a foundational framework for concurrent and probabilistic program analysis
Fabio SomenziSomenzi, Fabio University of Colorado Boulder, USA PC Member in Program Committee within the VMCAI-track
Jiri SrbaSrba, Jiri Aalborg UniversityDenmark ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks
Meera SridharSridhar, Meera University of North Carolina Charlotte, USA PC Member in Program Committee within the VMCAI-track
B SrivathsanSrivathsan, B Chennai Mathematical InstituteIndia Committee Member in Program Committee within the VMCAI-track
Kyle StoreyStorey, Kyle Brigham Young UniversityUnited States Property-agnostic base case extension for scalable verification of distributed systems
Yusen SuSu, Yusen University of WaterlooCanada Automatic Inference of Relational Object Invariants
Limin SunSun, Limin Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Automated Flaw Detection for Industrial Robot RESTful Service
Zhouyue SunSun, Zhouyue Shanghai Jiao Tong UniversityChina Affine Disjunctive Invariant Generation with Farkas’ Lemma
T Qiyi TangTang, Qiyi University of LiverpoolUnited Kingdom Committee Member in Artifact Evaluation Committee within the VMCAI-track
Zhe TaoTao, Zhe University of California, Davis Committee Member in Artifact Evaluation Committee within the VMCAI-track
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States PC Member in Program Committee within the VMCAI-track
Sarah TilscherTilscher, Sarah Technical University of Munich, Garching, GermanyGermany Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States PC Member in Program Committee within the VMCAI-track
Richard TreflerTrefler, Richard University of Waterloo, Canada Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications
Ashutosh TrivediTrivedi, Ashutosh University of Colorado BoulderUnited States Session Chair of Keynote Talk (Tuesday) and Learning (part of VMCAI) PC Chair in Program Committee within the VMCAI-track Co-chair in Organizing Committee within the VMCAI-track
Andrea TurriniTurrini, Andrea Institute of Software, Chinese Academy of SciencesChina Co-chair in Artifact Evaluation Committee within the VMCAI-track Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-track
U Ramakrishna UpadrastaUpadrasta, Ramakrishna LLOR: Automated Repair of OpenMP Programs
V Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the VMCAI-track
Vesal VojdaniVojdani, Vesal University of TartuEstonia Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
W Chao WangWang, Chao University of Southern CaliforniaUnited States PC Member in Program Committee within the VMCAI-track
Yuncheng WangWang, Yuncheng Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina Automated Flaw Detection for Industrial Robot RESTful Service
Zhonghan WangWang, Zhonghan State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Committee Member in Artifact Evaluation Committee within the VMCAI-track
Chana Weil-KennedyWeil-Kennedy, Chana IMDEA Software InstituteSpain Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
Maximilian WeiningerWeininger, Maximilian Institute of Science and Technology AustriaAustria 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Felix WindischWindisch, Felix Graz University of TechnologyAustria Synthesis of Controllers for Continuous Blackbox Systems
Piotr WojciechowskiWojciechowski, Piotr West Virginia University, USAUnited States PC Member in Program Committee within the VMCAI-track
Dominik WojtczakWojtczak, Dominik Committee Member in Program Committee within the VMCAI-track
Y Junfeng YangYang, Junfeng Shanghai Key Laboratory of Trustworthy Computing, East China Normal UniversityChina Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training
Emily YuYu, Emily Institute of Science and Technology Austria Committee Member in Artifact Evaluation Committee within the VMCAI-track
Z Ruoxi ZhangZhang, Ruoxi University of WaterlooCanada Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications
Weidong ZhangZhang, Weidong Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina Automated Flaw Detection for Industrial Robot RESTful Service
Zhen ZhangZhang, Zhen Utah State UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Yaowen ZhengZheng, Yaowen Institute of Information Engineering at Chinese Academy of SciencesChina Automated Flaw Detection for Industrial Robot RESTful Service
Ž Đorđe ŽikelićŽikelić, Đorđe Singapore Management University, SingaporeSingapore PC Member in Program Committee within the VMCAI-track