SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (425)

Accattoli, Beniamino
Inria & Ecole PolytechniqueFrance
Albarghouthi, Aws
University of Wisconsin-MadisonUnited States
Ali, Shaukat
Simula Research Laboratory, NorwayNorway
André, Étienne
LIPN, CNRS UMR 7030, Université Paris 13France
Bae, Kyungmin
Pohang University of Science and Technology (POSTECH)South Korea
Bardin, Sébastien
CEA LIST, University Paris-SaclayFrance
Bell, Christian J.
MIT CSAILUnited States
Benzaken, Véronique
Université Paris-Saclay - Laboratoire de Méthodes Formelles France
Biere, Armin
University of Freiburg, GermanyGermany
Biri, Nicolas
Luxembourg Institute of Science and Technology
Blackburn, Steve
Google and Australian National UniversityAustralia
Butting, Arvid
Software Engineering, RWTH Aachen UniversityGermany
C
Cai, Zixian
Australian National UniversityAustralia
Cameron, Jonathan
Carnegie Mellon UniversityUnited States
Chang, Bor-Yuh Evan
University of Colorado Boulder & Amazon
Chen, Liqian
National University of Defense Technology, ChinaChina
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
Combemale, Benoit
University of Rennes; Inria; IRISAFrance
Costea, Andreea
School of Computing, National University Of SingaporeSingapore
D'Souza, Meenakshi
IIITB - International Institute of Information Technology BangaloreIndia
de Lara, Juan
Autonomous University of MadridSpain
Deng, Yinlin
University of Illinois at Urbana-Champaign
Derakhshan, Farzaneh
Carnegie Mellon UniversityUnited States
Dimoulas, Christos
PLT @ Northwestern UniversityUnited States
Ding, Yi
Massachusetts Institute of TechnologyUnited States
Dutta, Arpita
National University of SingaporeSingapore
Eline, Aaron
AmazonUnited States
Ferrara, Pietro
Università Ca' Foscari, Venezia, ItalyItaly
Fischer, Bernd
Stellenbosch University, South AfricaSouth Africa
G
Gaboardi, Marco
Boston UniversityUnited States
Giannini, Paola
Universita' del Piemonte OrientaleItaly
Gibbons, Jeremy
Department of Computer Science, University of OxfordUnited Kingdom
Goel, Aviral
Northeastern UniversityUnited States
Greenberg, Michael
Stevens Institute of TechnologyUnited States
Grove, David
IBM ResearchUnited States
Guha, Arjun
Northeastern UniversityUnited States
Hasan, Osman
National University of Sciences & Technology
Headley, Kyle
AmazonUnited States
Hicks, MIchael
AmazonUnited States
Hobor, Aquinas
University College LondonUnited Kingdom
Homer, Michael
Victoria University of WellingtonNew Zealand
Ishikawa, Fuyuki
National Institute of InformaticsJapan
Jhala, Ranjit
University of California at San Diego; Amazon Web ServicesUnited States
Jiang, Hanru
Yanqi Lake Beijing Institute of Mathematical Sciences and Applications, ChinaChina
Jourdan, Jacques-Henri
Universersité Paris Saclay, CNRS, LRIFrance
Kaki, Gowtham
University of Colorado BoulderUnited States
Kaseorg, Anders
Massachusetts Institute of TechnologyUnited States
Kastner, John
AmazonUnited States
Kato, Jun
National Institute of Advanced Industrial Science and Technology (AIST)Japan
Keller, Chantal
LRI, Université Paris-SudFrance
Koskinen, Eric
Stevens Institute of TechnologyUnited States
L
Labrada, Elizabeth
University of ChileCuba
Laurel, Jacob
University of Illinois at Urbana-ChampaignUnited States
Le, Quang Loc
University College LondonUnited Kingdom
Le, Xuan-Bach
Nanyang Technological UniversitySingapore
Lea, Doug
State University of New York (SUNY) OswegoUnited States
Lesani, Mohsen
University of California at Riverside
Lopes, Crista
University of California, IrvineUnited States
M
Machiry, Aravind
Purdue UniversityUnited States
Madhusudan, P.
University of Illinois at Urbana-ChampaignUnited States
Mallet, Frederic
Université Côte d'Azur, FranceFrance
Mathur, Umang
National University of SingaporeSingapore
McCutchen, Matt
United States
Misailovic, Sasa
University of Illinois at Urbana-ChampaignUnited States
Monniaux, David
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
Murawski, Andrzej
University of OxfordUnited Kingdom
Negrini, Luca
Ca’ Foscari University of Venice, Corvallis S.r.l.Italy
O
O'Hearn, Peter W.
Meta; University College LondonUnited Kingdom
Ogata, Kazuhiro
Japan Advanced Institute of Science and Technology
P
P. Khedker, Uday
Indian Institute of Technology (IIT) BombayIndia
Paltenghi, Matteo
University of Stuttgart, GermanyGermany
Pelsmaeker, Daniel A. A.
Delft University of Technology, NetherlandsNetherlands
Pierce, Benjamin C.
University of PennsylvaniaUnited States
Polito, Guillermo
Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStALFrance
Politz, Joe Gibbs
University of California at San DiegoUnited States
R
Raad, Azalea
Imperial College LondonUnited Kingdom
Rajan, Hridesh
Iowa State UniversityUnited States
Sasano, Isao
Shibaura Institute of TechnologyJapan
Scott, Elizabeth
Royal Holloway University of London
Seidl, Martina
Johannes Kepler University LinzAustria
Sergey, Ilya
National University of SingaporeSingapore
Sighireanu, Mihaela
IRIF, Université Paris Diderot, FranceFrance
Spinellis, Diomidis
Athens University of Economics and Business; Delft University of TechnologyGreece
Sridharan, Manu
University of California at RiversideUnited States
Strüber, Daniel
Chalmers | University of Gothenburg / Radboud UniversitySweden
Sun, Jing
School of Computer Science, University of AucklandNew Zealand
Tang, Wensheng
Hong Kong University of Science and TechnologyChina
Titzer, Ben L.
Carnegie Mellon UniversityUnited States
Tratt, Laurence
King's College LondonUnited Kingdom
U
Ugare, Shubham
University of Illinois at Urbana-ChampaignUnited States
V
Valente, Marco Tulio
Federal University of Minas Gerais, Brazil
van Antwerpen, Hendrik
Delft University of Technology
van der Storm, Tijs
CWI; University of GroningenNetherlands
Vasconcelos, Vasco T.
LASIGE, Faculty of Sciences, University of LisbonPortugal
W
Wang, Chengpeng
The Hong Kong University of Science and TechnologyChina
Wei, Ran
Dalian University of TechnologyChina
X
Xia, Li-yao
University of Pennsylvania
Y
Yallop, Jeremy
University of CambridgeUnited Kingdom
Yan, Peng
University of Technology SydneyAustralia
Yao, Peisen
The Hong Kong University of Science and TechnologyChina
Zaytsev, Vadim
University of Twente, NetherlandsNetherlands
Zdancewic, Steve
University of PennsylvaniaUnited States
Zhang, Charles
Hong Kong University of Science and TechnologyChina
Zhang, Lingming
University of Illinois at Urbana-ChampaignUnited States
Zschaler, Steffen
King's College LondonUnited Kingdom