VMCAI 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (113)

A Iago AbalAbal, Iago IT University of Copenhagen Effective Bug Finding in C Programs with Shape and Effect Abstraction
Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Committee Member in Program committee for VMCAI 2017
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala UniversitySweden Committee Member in Program committee for VMCAI 2017
B Clark BarrettBarrett, Clark Stanford UniversityUnited States Partitioned Memory Models for Program Analysis.
Sandrine BlazyBlazy, Sandrine University of Rennes 1, FranceFrance Structuring Abstract Interpreters through State and Value Abstractions
Roderick BloemBloem, Roderick Institute of Software Technology, Graz University of Technology Committee Member in Program committee for VMCAI 2017 Synthesizing Non-Vacuous Systems
Vincent BotbolBotbol, Vincent CEA LIST + LIP6 Université Pierre & Marie Curie Static Analysis of Communicating Process using Symbolic Transducers
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Co-chair in Program committee for VMCAI 2017 Committee Member in Organizing Committee for VMCAI 2017 Session Chair of Model Checking and Synthesis (part of VMCAI ) Session Chair of Invited talk 2 (part of VMCAI ) Program Co-Chair in Program Chairs within the VMCAI -track
Claus BrabrandBrabrand, Claus IT University of Copenhagen, Denmark Effective Bug Finding in C Programs with Shape and Effect Abstraction
Hadrien BrideBride, Hadrien Femto-ST / Université de Franche-Comté Reduction of Workflow Nets for Generalised Soundness Verification
David BühlerBühler, David CEA LIST Structuring Abstract Interpreters through State and Value Abstractions
C Emmanuel ChaillouxChailloux, Emmanuel LIP6 - UPMCFrance Static Analysis of Communicating Process using Symbolic Transducers
Supratik ChakrabortyChakraborty, Supratik IIT BombayIndia Matching multiplications in Bit-Vector formulas
Liqian ChenChen, Liqian Block-wise abstract interpretation by combining abstract domains with SMT
Wei-Ngan ChinChin, Wei-Ngan National University of Singapore Committee Member in Program committee for VMCAI 2017
Hana ChocklerChockler, Hana Synthesizing Non-Vacuous Systems
Ernie CohenCohen, Ernie Amazon Web Services Verified Concurrent Code: Tricks of the Trade
Byron CookCook, Byron Amazon Committee Member in Program committee for VMCAI 2017
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Committee Member in Steering Committee for VMCAI 2017
Camille CotiCoti, Camille LIPN, Université Paris 13France Session Chair of Concurrency 1 (part of VMCAI )
Patrick CousotCousot, Patrick New York University Committee Member in Steering Committee for VMCAI 2017
Pascal CuoqCuoq, Pascal Trust-in-Soft Detecting Strict Aliasing Violations in the Wild
D Vijay D'SilvaD'Silva, Vijay Google Complete Abstractions and Subclassical Modal Logics
Vijay D'SilvaD'Silva, Vijay Google Inc. Independence Abstractions and Models of Concurrency
Deepak D'SouzaD'Souza, Deepak Committee Member in Program committee for VMCAI 2017 Detecting All High-Level Dataraces in an RTOS Kernel.
Cezara DrăgoiDrăgoi, Cezara INRIA, ENS, CNRSFrance Committee Member in Program committee for VMCAI 2017
E ma ee, ma Synthesizing Non-Vacuous Systems
E. Allen EmersonEmerson, E. Allen Committee Member in Steering Committee for VMCAI 2017
Constantin EneaEnea, Constantin LIAFA, Université Paris Diderot Session Chair of Symbolic analysis and invariant synthesis (part of VMCAI )
F Yotam M. Y. FeldmanFeldman, Yotam M. Y. Tel Aviv UniversityIsrael Property Directed Reachability for Proving Absence of Concurrent Modification Errors
Pietro FerraraFerrara, Pietro IBM ResearchItaly Using Abstract Interpretation to Correct Synchronization Faults
Jasmin FisherFisher, Jasmin Microsoft Research Verification of Cancer Programs
Asya FrumkinFrumkin, Asya Tel Aviv University Property Directed Reachability for Proving Absence of Concurrent Modification Errors
G Roberto GiacobazziGiacobazzi, Roberto University of Verona, Italy Committee Member in Program committee for VMCAI 2017 Session Chair of Abstract Interpretation (part of VMCAI )
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Committee Member in Program committee for VMCAI 2017 Committee Member in Organizing Committee for VMCAI 2017 Session Chair of Numerical domains (part of VMCAI )
Orna GrumbergGrumberg, Orna Technion – Israel Institute of Technology Committee Member in Program committee for VMCAI 2017
Yijia GuGu, Yijia Northeastern University Stabilizing Floating-Point Programs using Provenance Analysis
Ashutosh GuptaGupta, Ashutosh Matching multiplications in Bit-Vector formulas
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada IC3 - Flipping the E in ICE
Henning GüntherGünther, Henning Technische Universität Wien Dynamic Reductions for Model Checking Concurrent Software.
H Ernst Moritz HahnHahn, Ernst Moritz State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
Lukáš HolíkHolík, Lukáš Counterexample Validation and Interpolation-Based Refinement for Forest Automata
Martin HruskaHruska, Martin Brno University of Technology Counterexample Validation and Interpolation-Based Refinement for Forest Automata
I Radu IosifIosif, Radu VERIMAG, CNRS, Université Grenoble-Alpes Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
J Rahul JainJain, Rahul Tata Institute of Fundamental Research Matching multiplications in Bit-Vector formulas
Jiahong JiangJiang, Jiahong Block-wise abstract interpretation by combining abstract domains with SMT
Dejan JovanovićJovanović, Dejan SRI InternationalUnited States Committee Member in Program committee for VMCAI 2017 Solving Nonlinear Integer Arithmetic with MCSat
K Igor KonnovKonnov, Igor TU WienAustria Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
Konstantin KorovinKorovin, Konstantin University of Manchester Committee Member in Program committee for VMCAI 2017
Eric KoskinenKoskinen, Eric Yale University Using Abstract Interpretation to Correct Synchronization Faults
Olga KouchnarenkoKouchnarenko, Olga Femto-ST / Université de Franche-Comté Reduction of Workflow Nets for Generalised Soundness Verification
Laura KovacsKovacs, Laura Chalmers University of Technology Committee Member in Program committee for VMCAI 2017
Daniel KroeningKroening, Daniel University of Oxford Independence Abstractions and Models of Concurrency
L Alfons LaarmanLaarman, Alfons Vienna University of Technology Dynamic Reductions for Model Checking Concurrent Software.
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft Research Committee Member in Program committee for VMCAI 2017
Akash LalLal, Akash Microsoft Research IndiaIndia Committee Member in Program committee for VMCAI 2017
Tristan Le GallLe Gall, Tristan CEA LIST Static Analysis of Communicating Process using Symbolic Transducers
Ondřej LengálLengál, Ondřej Brno University of Technology Counterexample Validation and Interpolation-Based Refinement for Forest Automata
Ondřej LhotákLhoták, Ondřej University of Waterloo, Canada Property Directed Reachability for Proving Absence of Concurrent Modification Errors
Peng LiuLiu, Peng Purdue University Using Abstract Interpretation to Correct Synchronization Faults
M Rupak MajumdarMajumdar, Rupak MPI-SWS Committee Member in Program committee for VMCAI 2017
Sharad MalikMalik, Sharad Princeton University IC3 - Flipping the E in ICE
Alexandre MaréchalMaréchal, Alexandre Efficient Elimination of Redundancies in Polyhedra using Raytracing
Antoine MinéMiné, Antoine UPMC, FranceFrance Precise Thread-Modular Abstract Interpretation of Concurrent Programs using Relational Interference Abstractions
Raphaël MonatMonat, Raphaël Ecole Normale Supérieure de Lyon Precise Thread-Modular Abstract Interpretation of Concurrent Programs using Relational Interference Abstractions
David MonniauxMonniaux, David CNRS, VERIMAGFrance Chair in Program committee for VMCAI 2017 Committee Member in Organizing Committee for VMCAI 2017 Session Chair of Concurrency 2 (part of VMCAI ) Session Chair of Invited talk 1 (part of VMCAI ) Program Co-Chair in Program Chairs within the VMCAI -track
Suvam MukherjeeMukherjee, Suvam Indian Institute of Science Detecting All High-Level Dataraces in an RTOS Kernel.
Madhavan MukundMukund, Madhavan Chennai Mathematical InstituteIndia Committee Member in Program committee for VMCAI 2017
Anca MuschollMuscholl, Anca Université de Bordeaux / LaBRI Reachability for dynamic parametric processes
O Or OzeriOzeri, Or Tel Aviv university Conjunctive Abstract Interpretation using Paramodulation
P Oded PadonPadon, Oded Tel Aviv UniversityIsrael Property Directed Reachability for Proving Absence of Concurrent Modification Errors Conjunctive Abstract Interpretation using Paramodulation
Michael PerinPerin, Michael Efficient Elimination of Redundancies in Polyhedra using Raytracing
Fabien PeureuxPeureux, Fabien Femto-ST / Université de Franche-Comté + Smartesting S&S Reduction of Workflow Nets for Generalised Soundness Verification
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Committee Member in Program committee for VMCAI 2017 Committee Member in Steering Committee for VMCAI 2017 Session Chair of Model-checking and bug finding (part of VMCAI ) Session Chair of Decision procedures (part of VMCAI ) Session Chair of Invited talk 3 (part of VMCAI )
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research Center Committee Member in Program committee for VMCAI 2017
R Jean-François RaskinRaskin, Jean-François Université Libre de Bruxelles Committee Member in Program committee for VMCAI 2017
Thomas RepsReps, Thomas University of Wisconsin - Madison and Grammatech Inc.United States Committee Member in Steering Committee for VMCAI 2017 Sound Bit-Precise Numerical Domains
Andrew ReynoldsReynolds, Andrew EPFL Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Conjunctive Abstract Interpretation using Paramodulation
Adam RogalewiczRogalewicz, Adam Brno University of Technology Counterexample Validation and Interpolation-Based Refinement for Forest Automata
S Arunkumar SS, Arunkumar Indian Institute of Science Detecting All High-Level Dataraces in an RTOS Kernel.
Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Property Directed Reachability for Proving Absence of Concurrent Modification Errors Conjunctive Abstract Interpretation using Paramodulation
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, Boulder Committee Member in Program committee for VMCAI 2017
Sven ScheweSchewe, Sven University of Liverpool Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
David SchmidtSchmidt, David Committee Member in Steering Committee for VMCAI 2017
Helmut SeidlSeidl, Helmut Technische Universität München Reachability for dynamic parametric processes
Yassamine SeladjiSeladji, Yassamine University of Tlemcen Finding Relevant Templates via the Principal Component Analysis
Cristina SerbanSerban, Cristina VERIMAG, CNRS, Université Grenoble-Alpes Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
Tushar SharmaSharma, Tushar University of Wisconsin - Madison, USA Sound Bit-Precise Numerical Domains
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael IC3 - Flipping the E in ICE Property Directed Reachability for Proving Absence of Concurrent Modification Errors
Ana SokolovaSokolova, Ana University of Salzburg Dynamic Reductions for Model Checking Concurrent Software.
Armando Solar-LezamaSolar-Lezama, Armando MIT CSAILUnited States Committee Member in Program committee for VMCAI 2017
Marcelo SousaSousa, Marcelo University of Oxford Complete Abstractions and Subclassical Modal Logics Independence Abstractions and Models of Concurrency
Luca SpalazziSpalazzi, Luca Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
Francesco SpegniSpegni, Francesco Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
Marielle StoelingaStoelinga, Marielle University of Twente Committee Member in Program committee for VMCAI 2017
Ofer StrichmanStrichman, Ofer Technion Synthesizing Non-Vacuous Systems
T Omer TrippTripp, Omer IBM Thomas J. Watson Research CenterIsrael Using Abstract Interpretation to Correct Synchronization Faults
Andrea TurriniTurrini, Andrea State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
V Yakir VizelVizel, Yakir IC3 - Flipping the E in ICE
Tomáš VojnarVojnar, Tomáš Brno University of Technology Counterexample Validation and Interpolation-Based Refinement for Forest Automata
W Thomas WahlWahl, Thomas Northeastern University Stabilizing Floating-Point Programs using Provenance Analysis
Igor WalukiewiczWalukiewicz, Igor CNRS, LaBRI Reachability for dynamic parametric processes
Ji WangWang, Ji Block-wise abstract interpretation by combining abstract domains with SMT
Wei WangWang, Wei Google, Inc.China Partitioned Memory Models for Program Analysis.
Georg WeissenbacherWeissenbacher, Georg Technische Universität Wien Dynamic Reductions for Model Checking Concurrent Software.
Josef WidderWidder, Josef TU WienAustria Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
Thomas WiesWies, Thomas New York University Partitioned Memory Models for Program Analysis.
Xueguang WuWu, Xueguang Block-wise abstract interpretation by combining abstract domains with SMT
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, Denmark Effective Bug Finding in C Programs with Shape and Effect Abstraction
Y Boris YakobowskiYakobowski, Boris CEA - LISTFrance Committee Member in Program committee for VMCAI 2017 Session Chair of Program Analysis (part of VMCAI ) Structuring Abstract Interpreters through State and Value Abstractions
Z Lijun ZhangZhang, Lijun Institute of Software, Chinese Academy of Sciences Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
Lenore ZuckZuck, Lenore Committee Member in Steering Committee for VMCAI 2017