VMCAI 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (106)

A Michael D. AdamsAdams, Michael D. University of UtahUnited States Demand Control-Flow Analysis
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-Madison Program Synthesis with Equivalence Reduction
Miltiadis AllamanisAllamanis, Miltiadis Microsoft Research, CambridgeUnited Kingdom Committee Member in Program Committee within the VMCAI-track
Étienne AndréAndré, Étienne LIPN, CNRS UMR 7030, Université Paris 13France Parametric Timed Broadcast Protocols Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking
Timos AntonopoulosAntonopoulos, Timos Yale University Committee Member in Program Committee within the VMCAI-track
B Domagoj BabicBabic, Domagoj Google, Inc.United States Committee Member in Program Committee within the VMCAI-track
Clément BallabrigaBallabriga, Clément Static Analysis of Binary Code with Memory Indirections Using Polyhedra
Josh BerdineBerdine, Josh Facebook Committee Member in Program Committee within the VMCAI-track
Roderick BloemBloem, Roderick Institute of Software Technology, Graz University of Technology Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs
François BobotBobot, François CEA Exploiting Pointer Analysis in Memory Models for Deductive Verification
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Committee Member in Program Committee within the VMCAI-track
Quentin BouillaguetBouillaguet, Quentin Exploiting Pointer Analysis in Memory Models for Deductive Verification
Rémy BoutonnetBoutonnet, Rémy Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis
Martin BrainBrain, Martin Application of Abstract Interpretation to the Automotive Electronic Control System
Denis BuenoBueno, Denis euforia: Complete Software Model Checking with Uninterpreted Functions
C Pavol CernyCerny, Pavol University of Colorado BoulderSlovakia Type-directed Bounding of Collections in Reactive Programs
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Type-directed Bounding of Collections in Reactive Programs
Krishnendu ChatterjeeChatterjee, Krishnendu IST Austria Termination of Nondeterministic Probabilistic Programs
Wei-Ngan ChinChin, Wei-Ngan National University of Singapore Automatic Program Repair using Formal Verification and Expression Templates
Patrick M. CousotCousot, Patrick M. Session Chair of Abstract Interpretation (1) (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
D Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Effect-driven Flow Analysis
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Effect-driven Flow Analysis
Normann DeckerDecker, Normann Flat Model Checking for Counting LTL using Quantifier-free Presburger Arithmetic
Benoit DelahayeDelahaye, Benoit Parametric Timed Broadcast Protocols
Iulia DragomirDragomir, Iulia Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
Cezara DrăgoiDrăgoi, Cezara INRIA, ENS, CNRSFrance Session Chair of Networks and Concurrency (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
E Constantin EneaEnea, Constantin Université Paris DiderotFrance Session Chair of Invited Talk 1 (part of VMCAI) Co-chair in Organizing Committee within the VMCAI-track Program Co-Chair in Program Committee within the VMCAI-track
Javier EsparzaEsparza, Javier Committee Member in Program Committee within the VMCAI-track
F Grigory FedyukovichFedyukovich, Grigory Princeton UniversityUnited States Session Chair of Software Verification (part of VMCAI) Lazy but Effective Functional Synthesis
Jerome FeretFeret, Jerome INRIA ParisFrance Committee Member in Program Committee within the VMCAI-track
Julien ForgetForget, Julien Static Analysis of Binary Code with Memory Indirections Using Polyhedra
Paulin FournierFournier, Paulin Parametric Timed Broadcast Protocols
Gereon FoxFox, Gereon Syntactic Partial Order Compression for Probabilistic Reachability
Laurent FribourgFribourg, Laurent Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking
Hongfei FuFu, Hongfei IST Austria Termination of Nondeterministic Probabilistic Programs
G Kimball GermaneGermane, Kimball University of Utah Relatively Complete Pushdown Analysis of Escape Continuations Demand Control-Flow Analysis
Khalil GhorbalGhorbal, Khalil Committee Member in Program Committee within the VMCAI-track
Roberto GiacobazziGiacobazzi, Roberto University of Verona and IMDEA Software InstituteItaly Committee Member in Program Committee within the VMCAI-track
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Static Analysis of Binary Code with Memory Indirections Using Polyhedra
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly Committee Member in Program Committee within the VMCAI-track
Aarti GuptaGupta, Aarti Princeton University Lazy but Effective Functional Synthesis
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Lazy but Effective Functional Synthesis
H Stefan HaarHaar, Stefan Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Nicolas HalbwachsHalbwachs, Nicolas Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis
Jad HamzaHamza, Jad LIAFA, Université Paris Diderot Minimal Synthesis of String To String Functions From Examples
Holger HermannsHermanns, Holger Saarland UniversityGermany Syntactic Partial Order Compression for Probabilistic Reachability
Jochen HoenickeHoenicke, Jochen Universität FreiburgGermany Solving and Interpolating Constant Arrays Based on Weak Equivalences
Justin HsuHsu, Justin University of Wisconsin-Madison, USAUnited States Session Chair of Probabilistic Systems (part of VMCAI)
Richard HuybersHuybers, Richard A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization
I Yosikazu ImaiImai, Yosikazu Application of Abstract Interpretation to the Automotive Electronic Control System
K Anja KarlKarl, Anja Institute of Applied Information Processing and Communications, Graz University of TechnologyAustria Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs
Yoshiumi KawamuraKawamura, Yoshiumi Application of Abstract Interpretation to the Automotive Electronic Control System
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States A Practical Algorithm for Structure Embedding
Juraj KolčákKolčák, Juraj LSV, CNRS & ENS Cachan, University Paris SaclaySlovakia Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Jan KretinskyKretinsky, Jan Committee Member in Program Committee within the VMCAI-track
K Narayan KumarKumar, K Narayan Chennai Mathematical InstituteIndia Committee Member in Program Committee within the VMCAI-track
Viktor KunčakKunčak, Viktor EPFL, Switzerland Minimal Synthesis of String To String Functions From Examples
L Alfons LaarmanLaarman, Alfons Leiden UniversityNetherlands A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization
Ori LahavLahav, Ori Tel Aviv University Session Chair of Software Verification and Synthesis (part of VMCAI) On the Semantics of Snapshot Isolation Committee Member in Program Committee within the VMCAI-track
Didier LimeLime, Didier Parametric Timed Broadcast Protocols
Anthony Widjaja LinLin, Anthony Widjaja Oxford UniversityUnited Kingdom Committee Member in Program Committee within the VMCAI-track
Giuseppe LipariLipari, Giuseppe Static Analysis of Binary Code with Memory Indirections Using Polyhedra
Nuno P. LopesLopes, Nuno P. Microsoft Research Session Chair of Program Synthesis (part of VMCAI) Semantics for Compiler IRs: Undefined Behavior is not Evil! Fast BGP Simulation of Large Datacenters Invited Speaker in Invited Speakers within the VMCAI-track
Tianhan LuLu, Tianhan University of Colorado Boulder Type-directed Bounding of Collections in Reactive Programs
M Stefan MangardMangard, Stefan Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityPortugal Committee Member in Program Committee within the VMCAI-track
Jay McCarthyMcCarthy, Jay University of Massachusetts Lowell Demand Control-Flow Analysis
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States Relatively Complete Pushdown Analysis of Escape Continuations Demand Control-Flow Analysis
Jean-Marc MotaMota, Jean-Marc Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking
Charlie MurphyMurphy, Charlie Princeton UniversityUnited States A Practical Algorithm for Structure Embedding
N Kedar NamjoshiNamjoshi, Kedar Bell Labs, Nokia Session Chair of Decision Procedures (part of VMCAI) Designing Self-Certifying Software Systems Committee Member in Program Committee within the VMCAI-track Invited Speaker in Invited Speakers within the VMCAI-track
Thanh-Toan NguyenNguyen, Thanh-Toan Automatic Program Repair using Formal Verification and Expression Templates
Dejan NickovicNickovic, Dejan Austrian Institute of Technology Committee Member in Program Committee within the VMCAI-track
Jens NicolayNicolay, Jens Vrije Universiteit Brussel, BelgiumBelgium Effect-driven Flow Analysis
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA) Committee Member in Program Committee within the VMCAI-track
Loïc PaulevéPaulevé, Loïc Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Anton PirogovPirogov, Anton Flat Model Checking for Counting LTL using Quantifier-free Presburger Arithmetic
Ruzica PiskacPiskac, Ruzica Yale University, USA Session Chair of Invited Talk 3 (part of VMCAI) Co-chair in Organizing Committee within the VMCAI-track Program Co-Chair in Program Committee within the VMCAI-track
Viorel PreoteasaPreoteasa, Viorel Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
Sylvie PutotPutot, Sylvie École Polytechnique Under and Over Approximated Reachability Analysis for the Verifcation of Control Systems Committee Member in Program Committee within the VMCAI-track Invited Speaker in Invited Speakers within the VMCAI-track
Q Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Session Chair of Model Checking (part of VMCAI) A Decidable Logic for Tree Data-Structures with Measurements
R Azalea RaadRaad, Azalea MPI-SWS, GermanyUnited Kingdom On the Semantics of Snapshot Isolation
Jordy RuizRuiz, Jordy Static Analysis of Binary Code with Memory Indirections Using Polyhedra
Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom Fast BGP Simulation of Large Datacenters
Chris RyderRyder, Chris Application of Abstract Interpretation to the Automotive Electronic Control System
S Karem A. SakallahSakallah, Karem A. euforia: Complete Software Model Checking with Uninterpreted Functions
Robert SchillingSchilling, Robert Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs
Tanja SchindlerSchindler, Tanja University of Freiburg Solving and Interpolating Constant Arrays Based on Weak Equivalences
Daniel Schwartz-NarbonneSchwartz-Narbonne, Daniel Amazon, n.n. Committee Member in Program Committee within the VMCAI-track
Martina SeidlSeidl, Martina Committee Member in Program Committee within the VMCAI-track
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael Committee Member in Program Committee within the VMCAI-track
Mihaela SighireanuSighireanu, Mihaela IRIF, University Paris Diderot and CNRS, France Session Chair of Abstract Interpretation (2) (part of VMCAI) Exploiting Pointer Analysis in Memory Models for Deductive Verification
Calvin SmithSmith, Calvin University of Wisconsin - MadisonUnited States Program Synthesis with Equivalence Reduction
Romain SoulatSoulat, Romain Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking
Daniel StanStan, Daniel Syntactic Partial Order Compression for Probabilistic Reachability
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel, BelgiumBelgium Effect-driven Flow Analysis
T Quang-Trung TaTa, Quang-Trung National University of Singapore Automatic Program Repair using Formal Verification and Expression Templates
Stavros TripakisTripakis, Stavros Aalto University and UC Berkeley Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
Ashutosh TrivediTrivedi, Ashutosh Type-directed Bounding of Collections in Reactive Programs
U Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Committee Member in Program Committee within the VMCAI-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece On the Semantics of Snapshot Isolation
W Yanjun WangWang, Yanjun Purdue UniversityUnited States A Decidable Logic for Tree Data-Structures with Measurements
Y Boris YakobowskiYakobowski, Boris CEA - LISTFrance Exploiting Pointer Analysis in Memory Models for Deductive Verification
Tomoya YamaguchiYamaguchi, Tomoya Application of Abstract Interpretation to the Automotive Electronic Control System
Z Lenore ZuckZuck, Lenore Session Chair of Invited Talk 2 (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
Damien ZuffereyZufferey, Damien MPI-SWS Committee Member in Program Committee within the VMCAI-track