Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (113)

B
Barrett, Clark
Stanford UniversityUnited States
Bloem, Roderick
Institute of Software Technology, Graz University of Technology
Botbol, Vincent
CEA LIST + LIP6 Université Pierre & Marie Curie
Bride, Hadrien
Femto-ST / Université de Franche-Comté
Chin, Wei-Ngan
National University of Singapore
Cortesi, Agostino
Università Ca' Foscari VeneziaItaly
Coti, Camille
LIPN, Université Paris 13France
E
Ebrahimi, Masoud
Institute of Applied Information Processing and Communications, Graz University of TechnologyAustria
Fisher, Jasmin
Microsoft Research
Grumberg, Orna
Technion – Israel Institute of Technology
Gurfinkel, Arie
University of WaterlooCanada
H
Hahn, Ernst Moritz
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
J
Jain, Rahul
Tata Institute of Fundamental Research
Kouchnarenko, Olga
Femto-ST / Université de Franche-Comté
Kovacs, Laura
Chalmers University of Technology
Malik, Sharad
Princeton University
Mukund, Madhavan
Chennai Mathematical InstituteIndia
Muscholl, Anca
Université de Bordeaux / LaBRI
Peureux, Fabien
Femto-ST / Université de Franche-Comté + Smartesting S&S
R
Raskin, Jean-François
Université Libre de Bruxelles
Reps, Thomas
University of Wisconsin - Madison and Grammatech Inc.United States
Sankaranarayanan, Sriram
University of Colorado, Boulder
Seidl, Helmut
Technische Universität München
Sharma, Tushar
University of Wisconsin - Madison, USA
T
Tripp, Omer
IBM Thomas J. Watson Research CenterIsrael
Turrini, Andrea
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences