VMCAI Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (100)

A Simon AußerlechnerAußerlechner, Simon Tight Cutoffs for Guarded Protocols with Fairness
B Alexander BakstBakst, Alexander Predicate Abstraction for Linked Data Structures
Martin BrainBrain, Martin Automatic Generation of Propagation Complete SAT Encodings
C Sagar ChakiChaki, Sagar Model Checking with Multi-Threaded IC3 Portfolios
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Committee Member in Program Committee for VMCAI Session Chair of Invited Talk III (part of VMCAI)
Swarat ChaudhuriChaudhuri, Swarat Rice University Abstract Interpretation with Infinitesimals
Hana ChocklerChockler, Hana King's College London Committee Member in Program Committee for VMCAI
Agostino CortesiCortesi, Agostino Università Ca' Foscari Venezia Committee Member in Steering Committee for VMCAI
Patrick CousotCousot, Patrick Committee Member in Steering Committee for VMCAI
D Przemyslaw DacaDaca, Przemyslaw Abstraction-driven Concolic Testing
Eva DarulovaDarulova, Eva MPI-SWS, Germany Committee Member in Program Committee for VMCAI Session Chair of Abstraction I (part of VMCAI)
Ilaria De CrescenzoDe Crescenzo, Ilaria A General Modular Synthesis Problem for Pushdown Systems
Benoit DelahayeDelahaye, Benoit Parameter Synthesis for Parametric Interval Markov Chains
Rayna DimitrovaDimitrova, Rayna MPI-SWS, Germany Committee Member in Program Committee for VMCAI
Marko DokoDoko, Marko MPI-SWS, Germany A program logic for C11 memory fences
Kamil DudkaDudka, Kamil From Low Level Pointers to High Level Containers
E Petru ElesEles, Petru Lazy Constrained Monotonic Abstraction
E. Allen EmersonEmerson, E. Allen Committee Member in Steering Committee for VMCAI
Javier EsparzaEsparza, Javier Committee Member in Program Committee for VMCAI
F Alexis FouilhéFouilhé, Alexis Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem
G Graeme GangeGange, Graeme An Abstract Domain of Uninterpreted Functions
Zeinab GanjeiGanjei, Zeinab Lazy Constrained Monotonic Abstraction
Khalil GhorbalGhorbal, Khalil Carnegie Mellon University A method for invariant generation for polynomial continuous systems
Aarti GuptaGupta, Aarti Princeton University Committee Member in Program Committee for VMCAI Session Chair of Dynamic and Static Verification (part of VMCAI)
Ashutosh GuptaGupta, Ashutosh Abstraction-driven Concolic Testing
Arie GurfinkelGurfinkel, Arie Carnegie Mellon University United States Committee Member in Program Committee for VMCAI Session Chair of Parameterized and Component-Based Systems (part of VMCAI)
H Liana HadareanHadarean, Liana Automatic Generation of Propagation Complete SAT Encodings
Vahid HashemiHashemi, Vahid Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
Ichiro HasuoHasuo, Ichiro University of TokyoJapan Abstract Interpretation with Infinitesimals
Frédéric HazizaHaziza, Frédéric Pointer Race Freedom
Thomas A. HenzingerHenzinger, Thomas A. IST Austria Abstraction-driven Concolic Testing Lipschitz Robustness of Timed I/O Systems
Holger HermannsHermanns, Holger Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
Benjamin HilleryHillery, Benjamin Exact Heap Summaries for Symbolic Execution
Gerald HolzmannHolzmann, Gerald Cloud-Based Verification of Concurrent Software
Lukáš HolíkHolík, Lukáš From Low Level Pointers to High Level Containers Pointer Race Freedom
J Paul JacksonJackson, Paul Session Chair of Probabilistic Systems (part of VMCAI)
Paul JacksonJackson, Paul A method for invariant generation for polynomial continuous systems
Swen JacobsJacobs, Swen Tight Cutoffs for Guarded Protocols with Fairness
Ranjit JhalaJhala, Ranjit University of California, San Diego Predicate Abstraction for Linked Data Structures
Barbara JobstmannJobstmann, Barbara EPFL, SwitzerlandSwitzerland Co-chair in Program Committee for VMCAI Committee Member in Program Chairs for VMCAI Co-chair in Organizing Committee for VMCAI
K Derrick KarimiKarimi, Derrick Model Checking with Multi-Threaded IC3 Portfolios
Egor KarpenkovKarpenkov, Egor Program Analysis with Local Policy Iteration
Ayrat KhalimovKhalimov, Ayrat Tight Cutoffs for Guarded Protocols with Fairness
Kengo KidoKido, Kengo Abstract Interpretation with Infinitesimals
Tim KingKing, Tim Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem
Daniel KroeningKroening, Daniel University of Oxford Automatic Generation of Propagation Complete SAT Encodings
L Salvatore La TorreLa Torre, Salvatore A General Modular Synthesis Problem for Pushdown Systems
K. Rustan M. LeinoLeino, K. Rustan M. 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 LimeLime, Didier Parameter Synthesis for Parametric Interval Markov Chains
Anthony Widjaja LinLin, Anthony Widjaja Yale-NUS College, SingaporeAustralia Regular Symmetry Patterns
Francesco LogozzoLogozzo, Francesco Committee Member in Program Committee for VMCAI
M Ruben MartinsMartins, Ruben Automatic Generation of Propagation Complete SAT Encodings
Alexandre MaréchalMaréchal, Alexandre Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem
Eric MercerMercer, Eric Exact Heap Summaries for Symbolic Execution
Roland MeyerMeyer, Roland Pointer Race Freedom
David MonniauxMonniaux, David CNRS, VERIMAG Session Chair of Hybrid and Timed Systems (part of VMCAI) Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem Program Analysis with Local Policy Iteration
Madhavan MukundMukund, Madhavan Chennai Mathematical InstituteIndia Committee Member in Program Committee for VMCAI
Peter MüllerMüller, Peter ETH Zurich Committee Member in Program Committee for VMCAI Session Chair of Abstract Interpretation (part of VMCAI) Viper - A Verification Infrastructure for Permission-based Reasoning
N Jorge A. NavasNavas, Jorge A. An Abstract Domain of Uninterpreted Functions
Truong Khanh NguyenNguyen, Truong Khanh Regular Symmetry Patterns
O Jan OtopOtop, Jan University of WrocławPoland Lipschitz Robustness of Timed I/O Systems
P Pavel ParizekParizek, Pavel Charles University in Prague Hybrid Analysis for Partial Order Reduction of Programs with Arrays
David ParkerParker, David University of BirminghamUnited Kingdom Committee Member in Program Committee for VMCAI
Bryan ParnoParno, Bryan Microsoft Research Ironclad - Full Verification of Complex Systems
Hila PelegPeleg, Hila D3 : Data-Driven Disjunctive Abstraction
Zebo PengPeng, Zebo Lazy Constrained Monotonic Abstraction
Michael PerinPerin, Michael Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem
Petr PeringerPeringer, Petr From Low Level Pointers to High Level Containers
Suzette PersonPerson, Suzette Exact Heap Summaries for Symbolic Execution
Laure PetrucciPetrucci, Laure Parameter Synthesis for Parametric Interval Markov Chains
David PichardiePichardie, David Session Chair of Abstraction II (part of VMCAI)
Ruzica PiskacPiskac, Ruzica Yale University Outreach Activities Chair in Organizing Committee for VMCAI
André PlatzerPlatzer, André A method for invariant generation for polynomial continuous systems
Andreas PodelskiPodelski, Andreas University of Freiburg Committee Member in Program Committee for VMCAI Committee Member in Steering Committee for VMCAI
Nadia PolikarpovaPolikarpova, Nadia MIT CSAIL, USARussia Committee Member in Program Committee for VMCAI
R Thomas RepsReps, Thomas University of Wisconsin - Madison and Grammatech Inc.United States Committee Member in Steering Committee for VMCAI Automating Abstract Interpretation
Ahmed RezineRezine, Ahmed Lazy Constrained Monotonic Abstraction
Noam RinetzkyRinetzky, Noam Session Chair of Concurrent Programs (part of VMCAI) Property Directed Abstract Interpretation
Philipp RuemmerRuemmer, Philipp Uppsala University Committee Member in Program Committee for VMCAI Regular Symmetry Patterns
Neha RungtaRungta, Neha Exact Heap Summaries for Symbolic Execution
S Roopsha SamantaSamanta, Roopsha IST Austria Committee Member in Program Committee for VMCAI Session Chair of Solver Improvements (part of VMCAI) Lipschitz Robustness of Timed I/O Systems
Peter SchachteSchachte, Peter An Abstract Domain of Uninterpreted Functions
David SchmidtSchmidt, David ACM Contact in Organizing Committee for VMCAI Committee Member in Steering Committee for VMCAI
Martina SeidlSeidl, Martina Committee Member in Program Committee for VMCAI
Sanjit SeshiaSeshia, Sanjit UC Berkeley Committee Member in Program Committee for VMCAI
Sharon ShohamShoham, Sharon Committee Member in Program Committee for VMCAI Session Chair of Invited Talk I (part of VMCAI) Property Directed Abstract Interpretation D3 : Data-Driven Disjunctive Abstraction
Andrew SogokonSogokon, Andrew A method for invariant generation for polynomial continuous systems
Harald SondergaardSondergaard, Harald An Abstract Domain of Uninterpreted Functions
Lei SongSong, Lei Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
Peter StuckeyStuckey, Peter An Abstract Domain of Uninterpreted Functions
Jun SunSun, Jun Regular Symmetry Patterns
T Tachio TerauchiTerauchi, Tachio JAISTJapan Committee Member in Program Committee for VMCAI
U Caterina UrbanUrban, Caterina ETH Zurich, Switzerland Committee Member in Program Committee for VMCAI
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece A program logic for C11 memory fences
Tomáš VojnarVojnar, Tomáš Brno University of Technology Czech Republic From Low Level Pointers to High Level Containers
W Philipp WendlerWendler, Philipp Program Analysis with Local Policy Iteration
Thomas WiesWies, Thomas New York UniversityUnited States Committee Member in Program Committee for VMCAI
Sebastian WolffWolff, Sebastian Fraunhofer ITWM and TU Kaiserslautern Pointer Race Freedom
Y Eran YahavYahav, Eran TechnionIsrael D3 : Data-Driven Disjunctive Abstraction
Z Lenore ZuckZuck, Lenore UIC Committee Member in Program Committee for VMCAI Treasurer & Conference Manager in Organizing Committee for VMCAI Committee Member in Steering Committee for VMCAI