VMCAI 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (140)

A Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States PC Member in Program Committee within the VMCAI-track
Vincenzo ArceriArceri, Vincenzo University of Parma - Department of Mathematical, Physical, and Computer SciencesItaly Session Chair of Privacy and Security (part of VMCAI) Relational String Abstract Domains
Sacha-Élie AyounAyoun, Sacha-Élie Amazon and Imperial College LondonUnited Kingdom Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
B Christel BaierBaier, Christel TU Dresden, GermanyGermany PC Member in Program Committee within the VMCAI-track
Earl BarrBarr, Earl UCLUnited Kingdom High Assurance Software for Financial Regulation and Business Platforms
Clark BarrettBarrett, Clark Stanford UniversityUnited States Bit-Precise Reasoning via Int-Blasting
David BayaniBayani, David Carnegie Mellon University's School of Computer ScienceUnited States Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems
Dirk BeyerBeyer, Dirk LMU Munich, GermanyGermany PC Member in Program Committee within the VMCAI-track
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance PC Member in Program Committee within the VMCAI-track
Lei BuBu, Lei Nanjing UniversityChina Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata
Lukas BuecherlBuecherl, Lukas University of Colorado, BoulderUnited States STAMINA 2.0: Improving Scalability of Infinite-StateStochastic Model Checking
C Claudia CauliCauli, Claudia Amazon Web ServicesSweden Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Arun ChandrasekharanChandrasekharan, Arun OneSpin Solutions, MunichGermany Making PROGRESS in Property Directed Reachability
Yu-Fang ChenChen, Yu-Fang Academia Sinica, Taiwan Committee Member in Program Committee within the VMCAI-track
Wonhyuk ChoiChoi, Wonhyuk Columbia University Artifact Evalation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Maria ChristakisChristakis, Maria MPI-SWSGermany Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE
Norine CoenenCoenen, Norine CISPA Helmholtz Center for Information Security Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Relational String Abstract Domains
Patrick CousotCousot, Patrick PC Member in Program Committee within the VMCAI-track
D Spandan DasDas, Spandan Kansas State UniversityIndia Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Leonardo de Mourade Moura, Leonardo Microsoft Research, n.n. PC Member in Program Committee within the VMCAI-track
Brian DemskyDemsky, Brian University of California at IrvineUnited States Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Simplifying Concurrent Programming via Synchronization Synthesis
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information Security PC Member in Program Committee within the VMCAI-track
Dino DistefanoDistefano, Dino Facebook London PC Member in Program Committee within the VMCAI-track
E Tosha EllisonEllison, Tosha Fintech Open Source FoundationUnited States High Assurance Software for Financial Regulation and Business Platforms
Gidon ErnstErnst, Gidon Ludwig Maximilian University of MunichGermany Loop Verification with Invariants and Contracts
Javier EsparzaEsparza, Javier Back to the Future: A Fresh Look at Linear Temporal Logic
F Marco A. FeliuFeliu, Marco A. National Institute of Aerospace Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Relational String Abstract Domains
Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRSFrance PC Member in Program Committee within the VMCAI-track
Bernd FinkbeinerFinkbeiner, Bernd CISPA Helmholtz Center for Information SecurityGermany Session Chair of Invited Talk (part of VMCAI) Session Chair of Invited Talk (part of VMCAI) Program Co-Chair in Organizing Committee within the VMCAI-track
Chen FuFu, Chen Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina EPMC Gets Knowledge in Multi-Agent Systems
G Stephen GoldbaumGoldbaum, Stephen Morgan StanleyUnited States High Assurance Software for Financial Regulation and Business Platforms
Orna GrumbergGrumberg, Orna Technion – Israel Institute of Technology PC Member in Program Committee within the VMCAI-track
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Session Chair of Model Checking (part of VMCAI) Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE
Jens Oliver GutsfeldGutsfeld, Jens Oliver Westfälische Wilhelm-Universität Münster (WWU), Germany Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
H Thomas HaasHaas, Thomas Technical University of BraunschweigGermany Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Liana HadareanHadarean, Liana Amazon Web ServicesUnited States PC Member in Program Committee within the VMCAI-track
Ernst Moritz HahnHahn, Ernst Moritz University of TwenteNetherlands EPMC Gets Knowledge in Multi-Agent Systems
William T. HallahanHallahan, William T. Yale University Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
William HarrisHarris, William Galois, Inc. PC Member in Program Committee within the VMCAI-track
Linus HeckHeck, Linus RWTH Aachen UniversityGermany Gradient-Descent for Randomized Controllers under Partial Observability
Thomas A. HenzingerHenzinger, Thomas A. IST Austria, Austria Sequential Information Flow
John HuiHui, John Columbia University, New YorkUnited States art in Artifact Evaluation Committee within the VMCAI-track
I Ahmed IrfanIrfan, Ahmed Stanford UniversityUnited States Bit-Precise Reasoning via Int-Blasting
J Nikolaj Jensen UlrikJensen Ulrik, Nikolaj Aalborg UniversityDenmark Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
Peter Gjøl JensenJensen, Peter Gjøl Aalborg University, DenmarkDenmark Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
Sebastian JungesJunges, Sebastian University of California, BerkeleyUnited States Gradient-Descent for Randomized Controllers under Partial Observability
K Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Gradient-Descent for Randomized Controllers under Partial Observability Out of Control: Reducing Probabilistic Models by Control-State Elimination
Laura KovacsKovacs, Laura Vienna University of Technology (TU Wien)Austria PC Member in Program Committee within the VMCAI-track
Jan KretinskyKretinsky, Jan Technical University of MunichGermany PC Member in Program Committee within the VMCAI-track
Siddharth KrishnaKrishna, Siddharth Microsoft ResearchUnited Kingdom PC Member in Program Committee within the VMCAI-track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Session Chair of Synthesis (part of VMCAI) NP Satisfiability for Arrays as Powers Generalized Arrays for Stainless Frames
L Johannes LehmannLehmann, Johannes RWTH Aachen UniversityGermany Out of Control: Reducing Probabilistic Models by Control-State Elimination
Matthieu LemerreLemerre, Matthieu CEA LIST, FranceFrance Lightweight Shape Analysis based on Physical Types
Xuandong LiLi, Xuandong Nanjing UniversityChina Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata
Yong LiLi, Yong Institute of Software, Chinese Academy of SciencesChina EPMC Gets Knowledge in Multi-Agent Systems
Depeng LiuLiu, Depeng Institute of Software, Chinese Academy of SciencesChina Verifying Pufferfish Privacy in Hidden Markov Models
Anna LukinaLukina, Anna TU Delft PC Member in Program Committee within the VMCAI-track
Weiyu LuoLuo, Weiyu University of California, IrvineUnited States Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
M Rupak MajumdarMajumdar, Rupak MPI-SWSGermany Session Chair of Formal Methods in Machine Learning (part of VMCAI)
Makai MannMann, Makai Stanford UniversityUnited States Bit-Precise Reasoning via Int-Blasting
Mark MarronMarron, Mark Microsoft ResearchUnited States High Assurance Software for Financial Regulation and Business Platforms
Simon Mejlby VirenfeldtMejlby Virenfeldt, Simon Aalborg UniversityDenmark Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
Baoluo MengMeng, Baoluo GE Research Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Roland MeyerMeyer, Roland TU Braunschweig PC Member in Program Committee within the VMCAI-track
Attila MihalyMihaly, Attila Morgan StanleyUnited States High Assurance Software for Financial Regulation and Business Platforms
Solène MirliazMirliaz, Solène ENS Rennes / IRISA / InriaFrance A Flow-Insensitive-Complete Program Representation
Stefan MitschMitsch, Stefan Carnegie Mellon University, USAUnited States Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems
Joshua MoermanMoerman, Joshua Open University of the NetherlandsNetherlands Gradient-Descent for Randomized Controllers under Partial Observability
Mariano MoscatoMoscato, Mariano National Institute of Aerospace Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Chris MyersMyers, Chris University of Colorado, BoulderUnited States STAMINA 2.0: Improving Scalability of Infinite-StateStochastic Model Checking
Markus Müller-OlmMüller-Olm, Markus University of MünsterGermany PC Member in Program Committee within the VMCAI-track
N Monal NarasimhamurthyNarasimhamurthy, Monal University of Colorado, BoulderUnited States Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Jorge A. NavasNavas, Jorge A. Certora, inc.United States Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE PC Member in Program Committee within the VMCAI-track
Thakur NeupaneNeupane, Thakur The MathWorks, Inc.United States STAMINA 2.0: Improving Scalability of Infinite-StateStochastic Model Checking
Olivier NicoleNicole, Olivier CEA LIST, FranceFrance Lightweight Shape Analysis based on Physical Types
Victor NicoletNicolet, Victor University of TorontoCanada Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Aina NiemetzNiemetz, Aina Stanford UniversityUnited States Bit-Precise Reasoning via Int-Blasting
Andres NötzliNötzli, Andres Stanford University, USAUnited States Bit-Precise Reasoning via Int-Blasting
O Martina OlliaroOlliaro, Martina Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and StatisticsItaly Relational String Abstract Domains
Jan OnderkaOnderka, Jan Czech Technical University in Prague Fast Three-Valued Abstract Bit-Vector Arithmetic
P Oded PadonPadon, Oded VMware Research; Stanford UniversityUnited States PC Member in Program Committee within the VMCAI-track
Jens PalsbergPalsberg, Jens University of California at Los AngelesUnited States PC Member in Program Committee within the VMCAI-track
David PichardiePichardie, David Facebook ParisFrance A Flow-Insensitive-Complete Program Representation
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Publicity Chair in Organizing Committee within the VMCAI-track
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany PC Member in Program Committee within the VMCAI-track
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom Session Chair of Program Verification (part of VMCAI) Satisfiability and Synthesis Modulo Oracles
Pavithra PrabhakarPrabhakar, Pavithra Kansas State UniversityUnited States Session Chair of Probabilistic Systems (part of VMCAI) Bisimulations for Neural Network Reduction PC Member in Program Committee within the VMCAI-track
Mathias PreinerPreiner, Mathias Stanford UniversityUnited States Bit-Precise Reasoning via Int-Blasting
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon UniversityUnited States PC Member in Program Committee within the VMCAI-track
R Stefan RatschanRatschan, Stefan The Czech Academy of Sciences Fast Three-Valued Abstract Bit-Vector Arithmetic
Rodrigo RayaRaya, Rodrigo EPFLSwitzerland NP Satisfiability for Arrays as Powers
Sven ReimerReimer, Sven OneSpin Solutions, MunichGermany Making PROGRESS in Property Directed Reachability
Alex ReinkingReinking, Alex UC BerkeleyUnited States Artifact Evalation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Xinyue RenRen, Xinyue Nanjing UniversityChina Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata
Andrew ReynoldsReynolds, Andrew University of IowaUnited States Bit-Precise Reasoning via Int-Blasting Satisfiability and Synthesis Modulo Oracles
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Lightweight Shape Analysis based on Physical Types PC Member in Program Committee within the VMCAI-track
Riley RobertsRoberts, Riley Utah State UniversityUnited States STAMINA 2.0: Improving Scalability of Infinite-StateStochastic Model Checking
S Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States PC Member in Program Committee within the VMCAI-track
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States Artifact Evaluation Chair in Organizing Committee within the VMCAI-track
Sven ScheweSchewe, Sven University of LiverpoolUnited Kingdom EPMC Gets Knowledge in Multi-Agent Systems PC Member in Program Committee within the VMCAI-track
Tanja SchindlerSchindler, Tanja University of Freiburg Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Georg Stefan SchmidSchmid, Georg Stefan EPFL, SwitzerlandSwitzerland Generalized Arrays for Stainless Frames
Christoph SchollScholl, Christoph University of FreiburgGermany Making PROGRESS in Property Directed Reachability
Martina SeidlSeidl, Martina Johannes Kepler University LinzAustria PC Member in Program Committee within the VMCAI-track
Sanjit SeshiaSeshia, Sanjit UC BerkeleyUnited States Satisfiability and Synthesis Modulo Oracles
Tobias SeufertSeufert, Tobias University of FreiburgGermany Making PROGRESS in Property Directed Reachability
Natarajan ShankarShankar, Natarajan SRI International, USA Session Chair of Satisfiability Modulo Theories (part of VMCAI)
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance PC Member in Program Committee within the VMCAI-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMwareUnited States PC Member in Program Committee within the VMCAI-track
Jip SpelSpel, Jip RWTH Aachen UniversityGermany Gradient-Descent for Randomized Controllers under Partial Observability
Jiri SrbaSrba, Jiri Aalborg UniversityDenmark Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
Meng SunSun, Meng Peking UniversityChina EPMC Gets Knowledge in Multi-Agent Systems
César SánchezSánchez, César IMDEA Software InstituteSpain PC Member in Program Committee within the VMCAI-track
T Serdar TasiranTasiran, Serdar Amazon, n.n. PC Member in Program Committee within the VMCAI-track
Landon TaylorTaylor, Landon Utah State UniversityUnited States Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms
Cesare TinelliTinelli, Cesare University of IowaUnited States Bit-Precise Reasoning via Int-Blasting PC Member in Program Committee within the VMCAI-track
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States PC Member in Program Committee within the VMCAI-track
Richard TreflerTrefler, Richard University of Waterloo, CanadaCanada Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE
Rahmadi TrimanandaTrimananda, Rahmadi University of California at Irvine, USAUnited States Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Andrea TurriniTurrini, Andrea State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesChina EPMC Gets Knowledge in Multi-Agent Systems
W Bow-Yaw WangWang, Bow-Yaw Academia SinicaTaiwan Verifying Pufferfish Privacy in Hidden Markov Models
Jiawan WangWang, Jiawan Nanjing UniversityChina Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata
Tobias WelpWelp, Tobias OneSpin Solutions, MunichGermany Making PROGRESS in Property Directed Reachability
Scott WesleyWesley, Scott University of Waterloo, CanadaCanada Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE
Thomas WiesWies, Thomas New York UniversityUnited States Session Chair of Static Analysis and Abstract Interpretation (part of VMCAI) Session Chair of Invited Talk (part of VMCAI) Program Co-Chair in Organizing Committee within the VMCAI-track
Tobias WinklerWinkler, Tobias RWTH Aachen UniversityGermany Out of Control: Reducing Probabilistic Models by Control-State Elimination
Sebastian WolffWolff, Sebastian New York UniversityUnited States Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Yuming WuWu, Yuming Nanjing UniversityChina Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata
Valentin WüstholzWüstholz, Valentin ConsenSysGermany Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE
X Wen XiongXiong, Wen Nanjing UniversityChina Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata
Harry XuXu, Harry University of California, Los Angeles (UCLA)United States Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Anton XueXue, Anton University of Pennsylvania Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Z Jialu ZhangZhang, Jialu Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI-track
Lijun ZhangZhang, Lijun Institute of Software, Chinese Academy of SciencesChina Verifying Pufferfish Privacy in Hidden Markov Models EPMC Gets Knowledge in Multi-Agent Systems
Zhen ZhangZhang, Zhen Utah State UniversityUnited States STAMINA 2.0: Improving Scalability of Infinite-StateStochastic Model Checking Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms
Yoni ZoharZohar, Yoni Bar Ilan UniversityUnited States Session Chair of Static Analysis and Hybrid Systems (part of VMCAI) Bit-Precise Reasoning via Int-Blasting
Lenore ZuckZuck, Lenore UICUnited States PC Member in Program Committee within the VMCAI-track PC Member in Program Committee within the VMCAI-track