VMCAI Contributors

Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (100)

Thomas A. Henzinger IST Austria Author of Abstraction-driven Concolic Testing within the VMCAI-track in VMCAI Author of Lipschitz Robustness of Timed I/O Systems within the VMCAI-track in VMCAI
Simon Außerlechner Author of Tight Cutoffs for Guarded Protocols with Fairness within the VMCAI-track in VMCAI
Alexander Bakst Author of Predicate Abstraction for Linked Data Structures within the VMCAI-track in VMCAI
Martin Brain Author of Automatic Generation of Propagation Complete SAT Encodings within the VMCAI-track in VMCAI
Sagar Chaki Author of Model Checking with Multi-Threaded IC3 Portfolios within the VMCAI-track in VMCAI
Bor-Yuh Evan Chang University of Colorado Boulder Committee Member in Program Committee for VMCAI Session Chair of Invited Talk III (part of VMCAI)
Swarat Chaudhuri Rice University Author of Abstract Interpretation with Infinitesimals within the VMCAI-track in VMCAI
Hana Chockler King's College London Committee Member in Program Committee for VMCAI
Agostino Cortesi Università Ca' Foscari Venezia Committee Member in Steering Committee for VMCAI
Patrick Cousot Committee Member in Steering Committee for VMCAI
Przemyslaw Daca Author of Abstraction-driven Concolic Testing within the VMCAI-track in VMCAI
Eva Darulova MPI-SWS, Germany Committee Member in Program Committee for VMCAI Session Chair of Abstraction I (part of VMCAI)
Ilaria De Crescenzo Author of A General Modular Synthesis Problem for Pushdown Systems within the VMCAI-track in VMCAI
Benoit Delahaye Author of Parameter Synthesis for Parametric Interval Markov Chains within the VMCAI-track in VMCAI
Rayna Dimitrova MPI-SWS, Germany Committee Member in Program Committee for VMCAI
Marko Doko MPI-SWS, Germany Author of A program logic for C11 memory fences within the VMCAI-track in VMCAI
Kamil Dudka Author of From Low Level Pointers to High Level Containers within the VMCAI-track in VMCAI
Petru Eles Author of Lazy Constrained Monotonic Abstraction within the VMCAI-track in VMCAI
E. Allen Emerson Committee Member in Steering Committee for VMCAI
Javier Esparza Committee Member in Program Committee for VMCAI
Alexis Fouilhé Author of Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem within the VMCAI-track in VMCAI
Graeme Gange Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track in VMCAI
Zeinab Ganjei Author of Lazy Constrained Monotonic Abstraction within the VMCAI-track in VMCAI
Khalil Ghorbal Carnegie Mellon University Author of A method for invariant generation for polynomial continuous systems within the VMCAI-track in VMCAI
Aarti Gupta Princeton University Committee Member in Program Committee for VMCAI Session Chair of Dynamic and Static Verification (part of VMCAI)
Ashutosh Gupta Author of Abstraction-driven Concolic Testing within the VMCAI-track in VMCAI
Arie Gurfinkel Carnegie Mellon University United States Committee Member in Program Committee for VMCAI Session Chair of Parameterized and Component-Based Systems (part of VMCAI)
Liana Hadarean Author of Automatic Generation of Propagation Complete SAT Encodings within the VMCAI-track in VMCAI
Vahid Hashemi Author of Reward-Bounded Reachability Probability for Uncertain Weighted MDPs within the VMCAI-track in VMCAI
Ichiro Hasuo University of Tokyo Japan Author of Abstract Interpretation with Infinitesimals within the VMCAI-track in VMCAI
Frédéric Haziza Author of Pointer Race Freedom within the VMCAI-track in VMCAI
Holger Hermanns Author of Reward-Bounded Reachability Probability for Uncertain Weighted MDPs within the VMCAI-track in VMCAI
Benjamin Hillery Author of Exact Heap Summaries for Symbolic Execution within the VMCAI-track in VMCAI
Lukas Holik Author of From Low Level Pointers to High Level Containers within the VMCAI-track in VMCAI Author of Pointer Race Freedom within the VMCAI-track in VMCAI
Gerald Holzmann Author of Cloud-Based Verification of Concurrent Software within the VMCAI-track in VMCAI
Paul Jackson Author of A method for invariant generation for polynomial continuous systems within the VMCAI-track in VMCAI
Paul Jackson Session Chair of Probabilistic Systems (part of VMCAI)
Swen Jacobs Author of Tight Cutoffs for Guarded Protocols with Fairness within the VMCAI-track in VMCAI
Ranjit Jhala University of California, San Diego Author of Predicate Abstraction for Linked Data Structures within the VMCAI-track in VMCAI
Barbara Jobstmann EPFL, Switzerland Switzerland Co-chair in Program Committee for VMCAI Committee Member in Program Chairs for VMCAI Co-chair in Organizing Committee for VMCAI
Derrick Karimi Author of Model Checking with Multi-Threaded IC3 Portfolios within the VMCAI-track in VMCAI
Egor Karpenkov Author of Program Analysis with Local Policy Iteration within the VMCAI-track in VMCAI
Ayrat Khalimov Author of Tight Cutoffs for Guarded Protocols with Fairness within the VMCAI-track in VMCAI
Kengo Kido Author of Abstract Interpretation with Infinitesimals within the VMCAI-track in VMCAI
Tim King Author of Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem within the VMCAI-track in VMCAI
Daniel Kroening University of Oxford Author of Automatic Generation of Propagation Complete SAT Encodings within the VMCAI-track in VMCAI
Salvatore La Torre Author of A General Modular Synthesis Problem for Pushdown Systems within the VMCAI-track in VMCAI
K. Rustan M. Leino Microsoft Research Co-chair in Program Committee for VMCAI Committee Member in Program Chairs for VMCAI Co-chair in Organizing Committee for VMCAI Session Chair of Invited Talk II (part of VMCAI) Session Chair of Welcome (part of VMCAI)
Didier Lime Author of Parameter Synthesis for Parametric Interval Markov Chains within the VMCAI-track in VMCAI
Anthony Widjaja Lin Yale-NUS College, Singapore Australia Author of Regular Symmetry Patterns within the VMCAI-track in VMCAI
Francesco Logozzo Committee Member in Program Committee for VMCAI
Ruben Martins Author of Automatic Generation of Propagation Complete SAT Encodings within the VMCAI-track in VMCAI
Alexandre Maréchal Author of Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem within the VMCAI-track in VMCAI
Eric Mercer Author of Exact Heap Summaries for Symbolic Execution within the VMCAI-track in VMCAI
Roland Meyer Author of Pointer Race Freedom within the VMCAI-track in VMCAI
David Monniaux CNRS, VERIMAG Session Chair of Hybrid and Timed Systems (part of VMCAI) Author of Program Analysis with Local Policy Iteration within the VMCAI-track in VMCAI Author of Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem within the VMCAI-track in VMCAI
Madhavan Mukund Chennai Mathematical Institute India Committee Member in Program Committee for VMCAI
Peter Müller ETH Zurich Committee Member in Program Committee for VMCAI Session Chair of Abstract Interpretation (part of VMCAI) Author of Viper - A Verification Infrastructure for Permission-based Reasoning within the VMCAI-track in VMCAI
Jorge A. Navas Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track in VMCAI
Truong Khanh Nguyen Author of Regular Symmetry Patterns within the VMCAI-track in VMCAI
Jan Otop University of Wrocław Poland Author of Lipschitz Robustness of Timed I/O Systems within the VMCAI-track in VMCAI
Pavel Parizek Charles University in Prague Author of Hybrid Analysis for Partial Order Reduction of Programs with Arrays within the VMCAI-track in VMCAI
David Parker University of Birmingham United Kingdom Committee Member in Program Committee for VMCAI
Bryan Parno Microsoft Research Author of Ironclad - Full Verification of Complex Systems within the VMCAI-track in VMCAI
Hila Peleg Author of D3 : Data-Driven Disjunctive Abstraction within the VMCAI-track in VMCAI
Zebo Peng Author of Lazy Constrained Monotonic Abstraction within the VMCAI-track in VMCAI
Petr Peringer Author of From Low Level Pointers to High Level Containers within the VMCAI-track in VMCAI
Michael Perin Author of Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem within the VMCAI-track in VMCAI
Suzette Person Author of Exact Heap Summaries for Symbolic Execution within the VMCAI-track in VMCAI
Laure Petrucci Author of Parameter Synthesis for Parametric Interval Markov Chains within the VMCAI-track in VMCAI
David Pichardie Session Chair of Abstraction II (part of VMCAI)
Ruzica Piskac Yale University Outreach Activities Chair in Organizing Committee for VMCAI
André Platzer Author of A method for invariant generation for polynomial continuous systems within the VMCAI-track in VMCAI
Andreas Podelski University of Freiburg Committee Member in Program Committee for VMCAI Committee Member in Steering Committee for VMCAI
Nadia Polikarpova MIT CSAIL, USA Russia Committee Member in Program Committee for VMCAI
Thomas Reps University of Wisconsin - Madison and Grammatech Inc. United States Committee Member in Steering Committee for VMCAI Author of Automating Abstract Interpretation within the VMCAI-track in VMCAI
Ahmed Rezine Author of Lazy Constrained Monotonic Abstraction within the VMCAI-track in VMCAI
Noam Rinetzky Session Chair of Concurrent Programs (part of VMCAI) Author of Property Directed Abstract Interpretation within the VMCAI-track in VMCAI
Philipp Ruemmer Uppsala University Committee Member in Program Committee for VMCAI Author of Regular Symmetry Patterns within the VMCAI-track in VMCAI
Neha Rungta Author of Exact Heap Summaries for Symbolic Execution within the VMCAI-track in VMCAI
Roopsha Samanta IST Austria Committee Member in Program Committee for VMCAI Session Chair of Solver Improvements (part of VMCAI) Author of Lipschitz Robustness of Timed I/O Systems within the VMCAI-track in VMCAI
Peter Schachte Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track in VMCAI
David Schmidt ACM Contact in Organizing Committee for VMCAI Committee Member in Steering Committee for VMCAI
Martina Seidl Committee Member in Program Committee for VMCAI
Sanjit Seshia UC Berkeley Committee Member in Program Committee for VMCAI
Sharon Shoham Committee Member in Program Committee for VMCAI Session Chair of Invited Talk I (part of VMCAI) Author of D3 : Data-Driven Disjunctive Abstraction within the VMCAI-track in VMCAI Author of Property Directed Abstract Interpretation within the VMCAI-track in VMCAI
Andrew Sogokon Author of A method for invariant generation for polynomial continuous systems within the VMCAI-track in VMCAI
Harald Sondergaard Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track in VMCAI
Lei Song Author of Reward-Bounded Reachability Probability for Uncertain Weighted MDPs within the VMCAI-track in VMCAI
Peter Stuckey Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track in VMCAI
Jun Sun Author of Regular Symmetry Patterns within the VMCAI-track in VMCAI
Tachio Terauchi JAIST Japan Committee Member in Program Committee for VMCAI
Caterina Urban ETH Zurich, Switzerland Committee Member in Program Committee for VMCAI
Viktor Vafeiadis MPI-SWS, Germany Greece Author of A program logic for C11 memory fences within the VMCAI-track in VMCAI
Tomas Vojnar Brno University of Technology Czech Republic Author of From Low Level Pointers to High Level Containers within the VMCAI-track in VMCAI
Philipp Wendler Author of Program Analysis with Local Policy Iteration within the VMCAI-track in VMCAI
Thomas Wies New York University United States Committee Member in Program Committee for VMCAI
Sebastian Wolff Fraunhofer ITWM and TU Kaiserslautern Author of Pointer Race Freedom within the VMCAI-track in VMCAI
Eran Yahav Technion Israel Author of D3 : Data-Driven Disjunctive Abstraction within the VMCAI-track in VMCAI
Lenore Zuck UIC Committee Member in Program Committee for VMCAI Treasurer & Conference Manager in Organizing Committee for VMCAI Committee Member in Steering Committee for VMCAI