VMCAI 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (118)

A Rajeev AlurAlur, Rajeev University of PennsylvaniaUnited States Model Checking for Safe Autonomy Invited Speaker in Invited Speakers within the VMCAI-track
Timos AntonopoulosAntonopoulos, Timos Yale UniversityUnited States PC Member in Program Committee within the VMCAI-track
B Dirk BeyerBeyer, Dirk LMU MunichGermany Session Chair of Papers 3 (part of VMCAI) Session Chair of Invited 1 (part of VMCAI) Session Chair of Panel Session (part of VMCAI) Panel "The Future of Software Verification" at VMCAI PC Chair in Program Committee within the VMCAI-track PC Chair in Organizing Committee within the VMCAI-track
Aleš BizjakBizjak, Aleš Aarhus UniversityDenmark Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Nikolaj BjørnerBjørner, Nikolaj Microsoft ResearchUnited States Session Chair of Papers 5 (part of VMCAI) Solving LIA* Using Approximations PC Member in Program Committee within the VMCAI-track
Martin BlichaBlicha, Martin Università della Svizzera italianaSwitzerland A Cooperative Parallelization Approach for Property-Directed k-Induction
James BornholtBornholt, James University of Texas at AustinUnited States Fixing Code That Explodes Under Symbolic Evaluation
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Formalizing and Checking Multilevel Consistency
Martin BrombergerBromberger, Martin MPI-INFGermany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Maurice BruynoogheBruynooghe, Maurice Katholieke Universiteit LeuvenBelgium Improving Parity Game Solvers with Justifications
C Pavol CernyCerny, Pavol University of Colorado BoulderSlovakia PC Member in Program Committee within the VMCAI-track
Sudipta ChattopadhyayChattopadhyay, Sudipta Singapore University of Technology and DesignSingapore Systematic Classification of Attackers via Bounded Model Checking
Marc ChevalierChevalier, Marc ENS, CNRS, PSL University, INRIAFrance Sharing Ghost Variables in a Collection of Abstract Domains
Tino CortesiCortesi, Tino Steering Committee Member in Steering Committee within the VMCAI-track
Nathanaël CourantCourant, Nathanaël INRIAFrance The Correctness of a Code Generator for a Functional Language
Patrick CousotCousot, Patrick Steering Committee Member in Steering Committee within the VMCAI-track
D Maryam DabaghchianDabaghchian, Maryam University of Utah Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Marc DeneckerDenecker, Marc Katholieke Universiteit LeuvenBelgium Improving Parity Game Solvers with Justifications
Simon DierlDierl, Simon Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Daniel DietschDietsch, Daniel University of FreiburgGermany Artifact Evaluation Chair in Artifact-Evaluation Committee within the VMCAI-track Artifact Evaluation Chair in Organizing Committee within the VMCAI-track
Rayna DimitrovaDimitrova, Rayna University of Leicester, UK Committee Member in Artifact-Evaluation Committee within the VMCAI-track PC Member in Program Committee within the VMCAI-track
E Constantin EneaEnea, Constantin IRIF, University Paris Diderot & CNRSFrance Formalizing and Checking Multilevel Consistency PC Member in Program Committee within the VMCAI-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany A Systematic Approach to Abstract Interpretation of Program Transformations
F Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Synthesizing Environment Invariants for Modular Hardware Verification
Andreas FellnerFellner, Andreas AIT - Austrian Institute of TechnologyAustria Language Inclusion for Finite Prime Event Structures
Jerome FeretFeret, Jerome INRIA ParisFrance Sharing Ghost Variables in a Collection of Abstract Domains
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
Bernd FinkbeinerFinkbeiner, Bernd Saarland UniversityGermany How to Win First-Order Safety Games
Mathias FleuryFleury, Mathias MPI-INFGermany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
G Pierre GantyGanty, Pierre IMDEA Software InstituteSpain PC Member in Program Committee within the VMCAI-track
Jack GarzellaGarzella, Jack University of UtahUnited States Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly PC Member in Program Committee within the VMCAI-track
Aarti GuptaGupta, Aarti Princeton UniversityUnited States Synthesizing Environment Invariants for Modular Hardware Verification
Ashutosh GuptaGupta, Ashutosh TIFR, India PC Member in Program Committee within the VMCAI-track
Dilian GurovGurov, Dilian KTH Royal Institute of TechnologySweden Practical Abstractions for Automated Verification of Shared-Memory Concurrency
H Ákos HajduHajdu, Ákos Budapest University of Technology and EconomicsHungary Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Marcel HarkHark, Marcel RWTH Aachen University, Germany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Daniel HausmannHausmann, Daniel Friedrich-Alexander-Universität Erlangen-NürnbergGermany Cheap CTL Compassion in NuSMV
Shaobo HeHe, Shaobo University of UtahUnited States Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
Ben HermannHermann, Ben Paderborn UniversityGermany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Christian HerreraHerrera, Christian fortiss GmbHGermany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Practical Abstractions for Automated Verification of Shared-Memory Concurrency
Antti HyvärinenHyvärinen, Antti Università della Svizzera ItalianaSwitzerland A Cooperative Parallelization Approach for Property-Directed k-Induction
I Oren Ish-ShalomIsh-Shalom, Oren Tel Aviv University, IsraelIsrael Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
Takuya IshizawaIshizawa, Takuya Kyoto UniversityJapan Generalized Property-Directed Reachability for Hybrid Systems
Shachar ItzhakyItzhaky, Shachar Technion, IsraelIsrael Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
J Swen JacobsJacobs, Swen CISPA Helmholtz Center for Information SecurityGermany Promptness and Bounded Fairness in Concurrent and Parameterized Systems
Marie-Christine JakobsJakobs, Marie-Christine TU Darmstadt, Germany Artifact Evaluation Chair in Artifact-Evaluation Committee within the VMCAI-track PC Member in Program Committee within the VMCAI-track Artifact Evaluation Chair in Organizing Committee within the VMCAI-track
Martin JonášJonáš, Martin Fondazione Bruno KesslerItaly Committee Member in Artifact-Evaluation Committee within the VMCAI-track
K Bishoksan KafleKafle, Bishoksan The university of MelbourneAustralia Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Sven KeidelKeidel, Sven JGU MainzGermany A Systematic Approach to Abstract Interpretation of Program Transformations
Martin KelloggKellogg, Martin University of Washington, SeattleUnited States Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Laura KovacsKovacs, Laura Vienna University of Technology (TU Wien)Austria PC Member in Program Committee within the VMCAI-track
Jan KretinskyKretinsky, Jan TU Munich, Germany PC Member in Program Committee within the VMCAI-track
Markus KusanoKusano, Markus Virginia TechUnited States PC Member in Program Committee within the VMCAI-track
Marta KwiatkowskaKwiatkowska, Marta University of Oxford Safety and Robustness for Deep Learning with Provable Guarantees Invited Speaker in Invited Speakers within the VMCAI-track
L Ori LahavLahav, Ori Tel Aviv University Session Chair of Papers 8 (part of VMCAI) PC Member in Program Committee within the VMCAI-track
Ruben LapauwLapauw, Ruben Katholieke Universiteit LeuvenBelgium Improving Parity Game Solvers with Justifications
Maxwell LevatichLevatich, Maxwell YaleUnited States Solving LIA* Using Approximations
Sven LinkerLinker, Sven Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Tadeusz LitakLitak, Tadeusz FAU Erlangen-Nuremberg, INF 8Germany Cheap CTL Compassion in NuSMV
M Sharad MalikMalik, Sharad Princeton UniversityUnited States Synthesizing Environment Invariants for Modular Hardware Verification
Roman ManevichManevich, Roman Mellanox TechnologiesIsrael Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation
Alessio MansuttiMansutti, Alessio CNRS, LSV, ENS Paris-Saclay Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Matteo MarescottiMarescotti, Matteo Università della Svizzera ItalianaSwitzerland A Cooperative Parallelization Approach for Property-Directed k-Induction
David MonniauxMonniaux, David CNRS, VERIMAGFrance PC Member in Program Committee within the VMCAI-track
Madhavan MukundMukund, Madhavan Chennai Mathematical InstituteIndia Formalizing and Checking Multilevel Consistency
Marco MuñizMuñiz, Marco Aalborg UniversityDenmark Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Christian MüllerMüller, Christian Technical University of MunichGermany How to Win First-Order Safety Games
N Kedar NamjoshiNamjoshi, Kedar Bell Labs, NokiaUnited States Session Chair of Papers 2 (part of VMCAI) Witnessing Secure Compilation PC Member in Program Committee within the VMCAI-track
Yannic NollerNoller, Yannic Humboldt-Universität zu Berlin Committee Member in Artifact-Evaluation Committee within the VMCAI-track
O Luca OlivieriOlivieri, Luca JuliaSoft SRLItaly BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
Wytse OortwijnOortwijn, Wytse ETH ZürichSwitzerland Practical Abstractions for Automated Verification of Shared-Memory Concurrency
P Ruzica PiskacPiskac, Ruzica Yale University, USAUnited States Session Chair of Papers 4 (part of VMCAI) Solving LIA* Using Approximations Industrial Relations Co-Chair in Steering Committee within the VMCAI-track
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Session Chair of Papers 6 (part of VMCAI) Panel "The Future of Software Verification" at VMCAI PC Member in Program Committee within the VMCAI-track Steering Committee Chair in Steering Committee within the VMCAI-track
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States PC Member in Program Committee within the VMCAI-track
Sorawee PorncharoenwasePorncharoenwase, Sorawee University of WashingtonUnited States Fixing Code That Explodes Under Symbolic Evaluation
Kostiantyn PotomkinPotomkin, Kostiantyn Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Q Shaz QadeerQadeer, Shaz FacebookUnited States PC Member in Program Committee within the VMCAI-track
R Zvonimir RakamaricRakamaric, Zvonimir University of UtahUnited States Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
Christoph RauchRauch, Christoph FAU Erlangen-Nürnberg, Lehrstuhl 8Germany Cheap CTL Compassion in NuSMV
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
Eric Rothstein-MorrisRothstein-Morris, Eric Singapore University of Technology and DesignSingapore Systematic Classification of Attackers via Bounded Model Checking
S Marek S. BaranowskiS. Baranowski, Marek University of UtahUnited States Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
Mouhammad SakrSakr, Mouhammad Saarland UniversityGermany Promptness and Bounded Fairness in Concurrent and Parameterized Systems
Christian SchillingSchilling, Christian IST AustriaAustria Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Daniel Schwartz-NarbonneSchwartz-Narbonne, Daniel Amazon, n.n. PC Member in Program Committee within the VMCAI-track
Helmut SeidlSeidl, Helmut Technische Universität MünchenGermany How to Win First-Order Safety Games
Martina SeidlSeidl, Martina Johannes Kepler University Linz, Austria PC Member in Program Committee within the VMCAI-track
Antoine SereSere, Antoine Ecole PolytechniqueFrance The Correctness of a Code Generator for a Functional Language
Natarajan ShankarShankar, Natarajan SRI International, USAUnited States The Correctness of a Code Generator for a Functional Language Panel "The Future of Software Verification" at VMCAI
Natasha SharyginaSharygina, Natasha USI Lugano, SwitzerlandSwitzerland Session Chair of Papers 1 (part of VMCAI) A Cooperative Parallelization Approach for Property-Directed k-Induction PC Member in Program Committee within the VMCAI-track
Gautham Shenoy RShenoy R, Gautham Chennai Mathematical InstituteIndia Formalizing and Checking Multilevel Consistency
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction Solving LIA* Using Approximations
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance PC Member in Program Committee within the VMCAI-track
Martin SpiesslSpiessl, Martin LMU MunichGermany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Fausto SpotoSpoto, Fausto U. VeronaItaly BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
Jan StrejcekStrejcek, Jan Masaryk UniversityCzechia PC Member in Program Committee within the VMCAI-track
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Generalized Property-Directed Reachability for Hybrid Systems
Alexander J. SummersSummers, Alexander J. ETH Zurich PC Member in Program Committee within the VMCAI-track
Jun SunSun, Jun Singapore Management University, SingaporeSingapore Systematic Classification of Attackers via Bounded Model Checking
S.P. SureshSuresh, S.P. Chennai Mathematical InstituteIndia Formalizing and Checking Multilevel Consistency
T Lucas M. TabajaraTabajara, Lucas M. Rice UniversityUnited States Witnessing Secure Compilation
Thorsten TarrachTarrach, Thorsten Austrian Institute of TechnologyAustria Language Inclusion for Finite Prime Event Structures
Michael TautschnigTautschnig, Michael Amazon Web Services PC Member in Program Committee within the VMCAI-track
Emina TorlakTorlak, Emina University of WashingtonUnited States Fixing Code That Explodes Under Symbolic Evaluation
U Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance PC Member in Program Committee within the VMCAI-track
V Moshe VardiVardi, Moshe Rice University The Siren Song of Temporal Synthesis Invited Speaker in Invited Speakers within the VMCAI-track
W Heike WehrheimWehrheim, Heike Paderborn UniversityGermany PC Member in Program Committee within the VMCAI-track
Georg WeissenbacherWeissenbacher, Georg Technische Universität WienAustria Language Inclusion for Finite Prime Event Structures
Michael WhalenWhalen, Michael Amazon Web Services and the University of MinnesotaUnited States Panel "The Future of Software Verification" at VMCAI
Thomas WiesWies, Thomas New York University Session Chair of Papers 7 (part of VMCAI) PC Member in Program Committee within the VMCAI-track
Y Weikun YangYang, Weikun Princeton UniversityUnited States Synthesizing Environment Invariants for Modular Hardware Verification
Z Hongce ZhangZhang, Hongce Princeton UniversityUnited States Synthesizing Environment Invariants for Modular Hardware Verification
Martin ZimmermannZimmermann, Martin University of LiverpoolUnited Kingdom Promptness and Bounded Fairness in Concurrent and Parameterized Systems
Matthias ZinnerZinner, Matthias FAU Erlangen-NürnbergGermany Cheap CTL Compassion in NuSMV
Lenore ZuckZuck, Lenore UICUnited States Panel "The Future of Software Verification" at VMCAI PC Member in Program Committee within the VMCAI-track Treasurer & Conference Manager in Steering Committee within the VMCAI-track
Damien ZuffereyZufferey, Damien MPI-SWS Session Chair of Invited 2 (part of VMCAI) Session Chair of Invited 3 (part of VMCAI) PC Chair in Program Committee within the VMCAI-track PC Chair in Organizing Committee within the VMCAI-track