VMCAI 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (129)

A Yuvraj AgarwalAgarwal, Yuvraj Carnegie Mellon UniversityUnited States Netter: Probabilistic, Stateful Network Models
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-Madison, USA Session Chair of Synthesis and Repair (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
Michelle Aluf-MedinaAluf-Medina, Michelle Bar Ilan UniversityIsrael Formal Semantics and Verification of Network Based Biocomputation Circuits
Vincenzo ArceriArceri, Vincenzo Ca’ Foscari University of VeniceItaly Twinning automata and regular expressions for string static analysis
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Carnegie Mellon University, USAUnited States Netter: Probabilistic, Stateful Network Models
Shaun AzzopardiAzzopardi, Shaun University of Gothenburg Committee Member in Artifact Evaluation Committee within the VMCAI-track
B Alexey BakhirkinBakhirkin, Alexey Committee Member in Artifact Evaluation Committee within the VMCAI-track
Kshitij BansalBansal, Kshitij GoogleUnited States Decomposing Data Structure Commutativity Proofs with mn-Differencing
Guillaume BauBau, Guillaume Committee Member in Artifact Evaluation Committee within the VMCAI-track
Bernd BeckerBecker, Bernd Albert-Ludwigs-University FreiburgGermany On Pre- and Inprocessing for Weighted MaxSAT
Josh BerdineBerdine, Josh Facebook Committee Member in Program Committee within the VMCAI-track
Nathalie BertrandBertrand, Nathalie INRIA RennesFrance A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries
Dirk BeyerBeyer, Dirk LMU Munich, GermanyGermany Committee Member in Program Committee within the VMCAI-track
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research Committee Member in Program Committee within the VMCAI-track
Roderick BloemBloem, Roderick Institute of Software Technology, Graz University of Technology Session Chair of Case Studies (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Committee Member in Program Committee within the VMCAI-track
Martin BrombergerBromberger, Martin MPI-INFGermany Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories
C Marek ChalupaChalupa, Marek Masaryk University Committee Member in Artifact Evaluation Committee within the VMCAI-track
Swarat ChaudhuriChaudhuri, Swarat Rice University Committee Member in Program Committee within the VMCAI-track
Mingshuai ChenChen, Mingshuai RWTH AachenGermany Committee Member in Artifact Evaluation Committee within the VMCAI-track
Yu-Fang ChenChen, Yu-Fang Academia Sinica, Taiwan Committee Member in Program Committee within the VMCAI-track
Yu-Ting ChenChen, Yu-Ting Committee Member in Artifact Evaluation Committee within the VMCAI-track
Wei-Ngan ChinChin, Wei-Ngan National University of SingaporeSingapore Automated Repair of Heap-Manipulating Programs using Deductive Synthesis A Synchronous Effects Logic for Temporal Verification of Pure Esterel
Hana ChocklerChockler, Hana King's College London Committee Member in Program Committee within the VMCAI-track
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly Proving the existence of fair paths in infinite state systems
Victor CookCook, Victor University of Central FloridaUnited States Concurrent Correctness in Vector Space
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Twinning automata and regular expressions for string static analysis
D Damian DechevDechev, Damian University of Central FloridaUnited States Concurrent Correctness in Vector Space
Daniel DietschDietsch, Daniel University of FreiburgGermany Verification of Concurrent Programs Using Petri Net Unfoldings
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information Security Session Chair of Applications (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Session Chair of Concurrent and Distributed Systems (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
Cezara DrăgoiDrăgoi, Cezara Inria / ENS / CNRS / PSL University / Informal Systems Committee Member in Program Committee within the VMCAI-track
E Julia EisentrautEisentraut, Julia TU MunichGermany Committee Member in Artifact Evaluation Committee within the VMCAI-track
F Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Session Chair of Hyperproperties (part of VMCAI) Unbounded Procedure Summaries from Bounded Environments Committee Member in Program Committee within the VMCAI-track
Vimuth FernandoFernando, Vimuth University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee within the VMCAI-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Twinning automata and regular expressions for string static analysis
Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRSFrance Committee Member in Program Committee within the VMCAI-track
Bernd FinkbeinerFinkbeiner, Bernd CISPA Helmholtz Center for Information SecurityGermany Model Checking Hyperproperties Invited Speaker in Invited Speakers within the VMCAI-track
Alberto FioriFiori, Alberto Max Planck Institute for InformaticsGermany Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories
Matt FredriksonFredrikson, Matt Carnegie Mellon UniversityUnited States Netter: Probabilistic, Stateful Network Models
G Isabel Garcia-ContrerasGarcia-Contreras, Isabel IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the VMCAI-track
Miriam García SotoGarcía Soto, Miriam IST Austria Committee Member in Artifact Evaluation Committee within the VMCAI-track
Klaus GleissenthallGleissenthall, Klaus University of California, San Diego Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-track
Aman GoelGoel, Aman University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the VMCAI-track
Ohad GoudsmidGoudsmid, Ohad Department of Computer Science, The TechnionIsrael Compositional Model Checking for Multi-Properties
Hari Govind V KGovind V K, Hari Committee Member in Artifact Evaluation Committee within the VMCAI-track
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly Proving the existence of fair paths in infinite state systems
Orna GrumbergGrumberg, Orna Technion – Israel Institute of TechnologyIsrael Session Chair of Infinite-State Systems and Compilation (part of VMCAI) Compositional Model Checking for Multi-Properties Committee Member in Program Committee within the VMCAI-track
Aarti GuptaGupta, Aarti Princeton UniversityUnited States Unbounded Procedure Summaries from Bounded Environments Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the VMCAI-track
H Daniel HausmannHausmann, Daniel Friedrich-Alexander-Universität Erlangen-NürnbergGermany Committee Member in Artifact Evaluation Committee within the VMCAI-track
Matthias HeizmannHeizmann, Matthias University of Freiburg, GermanyGermany Verification of Concurrent Programs Using Petri Net Unfoldings
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Conference Co-Chair in Organizing Committee within the VMCAI-track
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-track
Jochen HoenickeHoenicke, Jochen University of FreiburgGermany Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching
Andreas HumenbergerHumenberger, Andreas Vienna University of Technology Algebra-based Synthesis of Loops and their Invariants
J Nouraldin JaberJaber, Nouraldin Purdue University, USAUnited States Committee Member in Artifact Evaluation Committee within the VMCAI-track
Maxime JacqueminJacquemin, Maxime CEA LIST, FranceFrance Runtime Abstract Interpretation for Numerical Accuracy and Robustness
Limin JiaJia, Limin Carnegie Mellon UniversityUnited States Netter: Probabilistic, Stateful Network Models
Saurabh JoshiJoshi, Saurabh IIT HyderabadIndia GPURepair: Automated Repair of GPU Kernels
K Konstantinos KallasKallas, Konstantinos University of Pennsylvania Committee Member in Artifact Evaluation Committee within the VMCAI-track
Marius KampKamp, Marius Friedrich-Alexander University Erlangen-NürnbergGermany Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible
Guy KatzKatz, Guy Hebrew UniversityIsrael Committee Member in Program Committee within the VMCAI-track
Eunhee KimKim, Eunhee 2e Consulting Corp.South Korea A Design of GPU-Based Quantitative Model Checking
Dominik KlumppKlumpp, Dominik University of FreiburgGermany Verification of Concurrent Programs Using Petri Net Unfoldings
Igor KonnovKonnov, Igor Informal Systems IncAustria Eliminating Message Counters in Synchronous Threshold Automata
Till KortenKorten, Till TU DresdenGermany Formal Semantics and Verification of Network Based Biocomputation Circuits
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Decomposing Data Structure Commutativity Proofs with mn-Differencing
Nikolai KosmatovKosmatov, Nikolai Thales Research and TechnologyFrance Runtime Abstract Interpretation for Numerical Accuracy and Robustness
Laura KovacsKovacs, Laura Vienna University of Technology (TU Wien)Austria Algebra-based Synthesis of Loops and their Invariants Committee Member in Invited Speakers within the VMCAI-track
Hillel KuglerKugler, Hillel Bar Ilan UniversityIsrael Formal Semantics and Verification of Network Based Biocomputation Circuits
YoungMin KwonKwon, YoungMin SUNY KoreaSouth Korea A Design of GPU-Based Quantitative Model Checking
Bettina KönighoferKönighofer, Bettina Committee Member in Artifact Evaluation Committee within the VMCAI-track
L Marijana LazicLazic, Marijana Technical University of MunichGermany A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries
Quang Loc LeLe, Quang Loc University College London, UKUnited Kingdom Compositional Satisfiability Solving in Separation Logic
Yunjeong LeeLee, Yunjeong Committee Member in Artifact Evaluation Committee within the VMCAI-track
Thomas LembergerLemberger, Thomas LMU MunichGermany Committee Member in Artifact Evaluation Committee within the VMCAI-track
M Enrico MagnagoMagnago, Enrico Fondazione Bruno KesslerItaly Proving the existence of fair paths in infinite state systems
Rupak MajumdarMajumdar, Rupak MPI-SWS Committee Member in Program Committee within the VMCAI-track
Sharad MalikMalik, Sharad Princeton UniversityUnited States Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Committee Member in Program Committee within the VMCAI-track
Gautam MudugantiMuduganti, Gautam IIT HyderabadIndia GPURepair: Automated Repair of GPU Kernels
Alnis MurtoviMurtovi, Alnis TU DortmundGermany Generative Program Analysis and Beyond: The Power of Domain-Specific Languages
N Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States A Self-Certifying Compilation Framework for WebAssembly
Mehdi NaouarNaouar, Mehdi University of FreiburgGermany Verification of Concurrent Programs Using Petri Net Unfoldings
Monal NarasimhamurthyNarasimhamurthy, Monal University of Colorado, BoulderUnited States Committee Member in Artifact Evaluation Committee within the VMCAI-track
Jorge A. NavasNavas, Jorge A. SRI InternationalUnited States Committee Member in Program Committee within the VMCAI-track
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Julia S.r.l.Italy Twinning automata and regular expressions for string static analysis
Thanh-Toan NguyenNguyen, Thanh-Toan National University of SingaporeSingapore Automated Repair of Heap-Manipulating Programs using Deductive Synthesis
Dan Nicolau Jr.Nicolau Jr., Dan Molecular SenseUnited Kingdom Formal Semantics and Verification of Network Based Biocomputation Circuits
O Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the VMCAI-track
P Oded PadonPadon, Oded VMware ResearchUnited States 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
Tobias PaxianPaxian, Tobias University of FreiburgGermany On Pre- and Inprocessing for Weighted MaxSAT
Christina PetersonPeterson, Christina University of Central FloridaUnited States Concurrent Correctness in Vector Space
Michael PhilippsenPhilippsen, Michael Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible
Lauren PickPick, Lauren Princeton UniversityUnited States Unbounded Procedure Summaries from Bounded Environments
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Verification of Concurrent Programs Using Petri Net Unfoldings
R Azalea RaadRaad, Azalea Imperial College London Committee Member in Program Committee within the VMCAI-track
Pascal RaiolaRaiola, Pascal University of FreiburgGermany On Pre- and Inprocessing for Weighted MaxSAT
Avraham RavivRaviv, Avraham Bar Ilan UniversityIsrael Formal Semantics and Verification of Network Based Biocomputation Circuits
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Session Chair of Abstract Interpretation (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
S Tanja SchindlerSchindler, Tanja University of FreiburgGermany Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching Committee Member in Artifact Evaluation Committee within the VMCAI-track
David SchmidtSchmidt, David Kansas State UniversityUnited States Generative Program Analysis and Beyond: The Power of Domain-Specific Languages Invited Speaker in Invited Speakers within the VMCAI-track
Claus SchätzleSchätzle, Claus University of FreiburgGermany Verification of Concurrent Programs Using Petri Net Unfoldings
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore Automated Repair of Heap-Manipulating Programs using Deductive Synthesis Committee Member in Program Committee within the VMCAI-track
Sarai SheinvaldSheinvald, Sarai Department of Software Engineering, ORT Braude College of EngineeringIsrael Compositional Model Checking for Multi-Properties
Sharon ShohamShoham, Sharon Tel Aviv University Conference Co-Chair in Organizing Committee within the VMCAI-track
Julien SignolesSignoles, Julien CEA LISTFrance Runtime Abstract Interpretation for Numerical Accuracy and Robustness
Yahui SongSong, Yahui National University of SingaporeSingapore A Synchronous Effects Logic for Temporal Verification of Pure Esterel
Bernhard SteffenSteffen, Bernhard TU DortmundGermany Generative Program Analysis and Beyond: The Power of Domain-Specific Languages Invited Speaker in Invited Speakers within the VMCAI-track
Ilina StoilkovskaStoilkovska, Ilina Vienna University of Technology Austria Eliminating Message Counters in Synchronous Threshold Automata
Alexander J. SummersSummers, Alexander J. University of British Columbia Session Chair of Decision Procedures (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
T Quang-Trung TaTa, Quang-Trung National University of SingaporeSingapore Automated Repair of Heap-Manipulating Programs using Deductive Synthesis
Yoshiki TakashimaTakashima, Yoshiki Committee Member in Artifact Evaluation Committee within the VMCAI-track
V Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Program Committee within the VMCAI-track
Yakir VizelVizel, Yakir Technion—Israel Institute of TechnologyIsrael Session Chair of Invited talk (part of VMCAI) Session Chair of Invited talk (part of VMCAI) Conference Co-Chair in Organizing Committee within the VMCAI-track
Franck VédrineVédrine, Franck CEA LISTFrance Runtime Abstract Interpretation for Numerical Accuracy and Robustness
W Christoph WeidenbachWeidenbach, Christoph MPI-INFGermany Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories
Michael WhalenWhalen, Michael University of Minnesota, USAUnited States Committee Member in Program Committee within the VMCAI-track
Josef WidderWidder, Josef Informal Systems A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries Eliminating Message Counters in Synchronous Threshold Automata
James R. WilcoxWilcox, James R. University of WashingtonUnited States Session Chair of Model Checking (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
X Anton XueXue, Anton University of Pennsylvania A Self-Certifying Compilation Framework for WebAssembly
Z Chi ZhangZhang, Chi CMUChina Netter: Probabilistic, Stateful Network Models
Han ZhangZhang, Han Carnegie Mellon UniversityUnited States Netter: Probabilistic, Stateful Network Models
Hongce ZhangZhang, Hongce Princeton UniversityUnited States Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
Lenore ZuckZuck, Lenore UICUnited States Committee Member in Program Committee within the VMCAI-track
Florian ZulegerZuleger, Florian Vienna University of TechnologyAustria Eliminating Message Counters in Synchronous Threshold Automata
Ö Joakim ÖhmanÖhman, Joakim IMDEA Software Institute Committee Member in Artifact Evaluation Committee within the VMCAI-track