VMCAI 2022
Sun 16 - Tue 18 January 2022 Philadelphia, Pennsylvania, United States
co-located with POPL 2022
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (140)

A
Albarghouthi, Aws
University of Wisconsin-Madison, USA
Arceri, Vincenzo
University of Parma - Department of Mathematical, Physical, and Computer SciencesItaly
Barrett, Clark
Stanford UniversityUnited States
Bayani, David
Carnegie Mellon University's School of Computer ScienceUnited States
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Chandrasekharan, Arun
OneSpin Solutions, MunichGermany
Cortesi, Agostino
Università Ca' Foscari VeneziaItaly
Dillig, Isil
University of Texas at AustinUnited States
Dimitrova, Rayna
CISPA Helmholtz Center for Information Security
E
Ellison, Tosha
Fintech Open Source FoundationUnited States
Ernst, Gidon
Ludwig Maximilian University of MunichGermany
Ferrara, Pietro
Università Ca' Foscari, Venezia, ItalyItaly
Fu, Chen
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina
Grumberg, Orna
Technion – Israel Institute of Technology
Gutsfeld, Jens Oliver
Westfälische Wilhelm-Universität Münster (WWU), Germany
Hadarean, Liana
Amazon Web ServicesUnited States
Hahn, Ernst Moritz
University of TwenteNetherlands
Henzinger, Thomas A.
IST Austria, Austria
Hui, John
Columbia University, New YorkUnited States
I
Irfan, Ahmed
Stanford UniversityUnited States
Junges, Sebastian
University of California, BerkeleyUnited States
Kovacs, Laura
Vienna University of Technology (TU Wien)Austria
Kretinsky, Jan
Technical University of MunichGermany
Krishna, Siddharth
Microsoft ResearchUnited Kingdom
Li, Yong
Institute of Software, Chinese Academy of SciencesChina
Liu, Depeng
Institute of Software, Chinese Academy of SciencesChina
Mann, Makai
Stanford UniversityUnited States
Mirliaz, Solène
ENS Rennes / IRISA / InriaFrance
Moerman, Joshua
Open University of the NetherlandsNetherlands
Müller-Olm, Markus
University of MünsterGermany
Niemetz, Aina
Stanford UniversityUnited States
Nötzli, Andres
Stanford University, USAUnited States
O
Olliaro, Martina
Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and StatisticsItaly
Onderka, Jan
Czech Technical University in Prague
Palsberg, Jens
University of California at Los AngelesUnited States
Podelski, Andreas
University of Freiburg, GermanyGermany
Preiner, Mathias
Stanford UniversityUnited States
Păsăreanu, Corina S.
Carnegie Mellon UniversityUnited States
R
Ratschan, Stefan
The Czech Academy of Sciences
Reimer, Sven
OneSpin Solutions, MunichGermany
S
Sankaranarayanan, Sriram
University of Colorado, BoulderUnited States
Santolucito, Mark
Barnard College, Columbia University, USAUnited States
Schmid, Georg Stefan
EPFL, SwitzerlandSwitzerland
Scholl, Christoph
University of FreiburgGermany
Seidl, Martina
Johannes Kepler University LinzAustria
Seshia, Sanjit
UC BerkeleyUnited States
Seufert, Tobias
University of FreiburgGermany
Sighireanu, Mihaela
IRIF, Université Paris Diderot, FranceFrance
Singh, Gagandeep
University of Illinois at Urbana-ChampaignUnited States
Turrini, Andrea
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesChina
Welp, Tobias
OneSpin Solutions, MunichGermany