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

Results (802)

Accattoli, Beniamino
Inria & Ecole PolytechniqueFrance
Albarghouthi, Aws
University of Wisconsin-MadisonUnited States
Algehed, Maximilian
Chalmers University of Technology, SwedenSweden
Ali, Shaukat
Simula Research Laboratory, NorwayNorway
Amarasinghe, Saman
Massachusetts Institute of TechnologyUnited States
André, Étienne
Université Sorbonne Paris NordFrance
Anslow, Craig
Victoria University of WellingtonNew Zealand
Bae, Kyungmin
Pohang University of Science and Technology (POSTECH)South Korea
Bansal, Suguman
Rice University, USAUnited States
Barais, Olivier
University of Rennes, France / Inria, France / CNRS, France / IRISA, FranceFrance
Bardin, Sébastien
CEA LIST, University Paris-SaclayFrance
Barkmin, Mike
University of Duisburg-Essen, GermanyGermany
Barnaby, Celeste
The University of Texas at Austin, Texas, USAUnited States
Barrett, Clark
Stanford UniversityUnited States
Barthe, Gilles
MPI-SP, Germany / IMDEA Software Institute, SpainGermany
Bastys, Iulia
Chalmers University of TechnologySweden
Bautista, Santiago
Univ Rennes, Inria, CNRS, IRISAFrance
Bavishi, Rohan
University of California at BerkeleyUnited States
Bell, Christian J.
MIT CSAILUnited States
Benzaken, Véronique
Université Paris-Saclay - Laboratoire de Méthodes Formelles France
Bianchini, Riccardo
University of Genova
Biere, Armin
University of Freiburg, GermanyGermany
Blackburn, Steve
Google and Australian National UniversityAustralia
Blackwell, Alan
University of CambridgeUnited Kingdom
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Bozga, Marius
CNRS, Universite Grenoble Alpes, France
Butting, Arvid
Software Engineering, RWTH Aachen UniversityGermany
C
Cagne, Pierre
Appalachian State University
Cai, Zixian
Australian National UniversityAustralia
Cameron, Jonathan
Carnegie Mellon UniversityUnited States
Chaliasos, Stefanos
Imperial College London, UKUnited Kingdom
Chang, Bor-Yuh Evan
University of Colorado Boulder & Amazon
Chau, Tony
The Hong Kong University of Science and Technology
Chen, Adam
Stevens Institute of TechnologyUnited States
Chen, Liqian
National University of Defense Technology, ChinaChina
Cheng, Luyu
Hong Kong University of Science and Technology
Chiodini, Luca
Università della Svizzera italianaSwitzerland
Chitre, Khushboo
Indraprastha Institute of Information Technology, Delhi
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
Chou, Stephen
Massachusetts Institute of TechnologyUnited States
Costea, Andreea
School of Computing, National University Of SingaporeSingapore
D
D'Antoni, Loris
University of Wisconsin-Madison, USA
D'Souza, Meenakshi
IIITB - International Institute of Information Technology BangaloreIndia
Dagnino, Francesco
DIBRIS, University of Genova, ItalyItaly
Das, Sourav
Indian Institute of Technology KharagpurIndia
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
Eisenbach, Susan
Imperial College LondonUnited Kingdom
Eline, Aaron
AmazonUnited States
Endres, Madeline
University of MichiganUnited States
Farzan, Azadeh
University of TorontoCanada
Ferrara, Pietro
Università Ca' Foscari, Venezia, ItalyItaly
Fischer, Bernd
Stellenbosch University, South AfricaSouth Africa
Foo, Darius
National University of Singapore
Fowler, Simon
University of GlasgowUnited Kingdom
Fraivert, Dov
Open University of IsraelIsrael
Fu, Hongfei
Shanghai Jiao Tong University, China
G
Gaboardi, Marco
Boston UniversityUnited States
Gambhir, Sankalp
Ecole Polytechnique Federale de Lausanne (EPFL)
Ghica, Dan
Huawei R&D UKUnited Kingdom
Ghosh, Anubhab
Indian Institute of Information Technology KalyaniIndia
Gibbons, Jeremy
Department of Computer Science, University of OxfordUnited Kingdom
Goel, Aviral
Northeastern UniversityUnited States
Goldstein, Harrison
University of PennsylvaniaUnited States
Greenberg, Michael
Stevens Institute of TechnologyUnited States
Grove, David
IBM ResearchUnited States
Guha, Arjun
Northeastern UniversityUnited States
Haas, Thomas
TU BraunschweigGermany
Hasan, Osman
National University of Sciences & Technology
Hauswirth, Matthias
Università della Svizzera italianaSwitzerland
Headley, Kyle
AmazonUnited States
Heyl, Noa
University of British ColumbiaCanada
Hicks, MIchael
AmazonUnited States
Hicks, Michael
Amazon, USA and University of Maryland, USA
Hietala, Kesha
University of MarylandUnited States
Homer, Michael
Victoria University of WellingtonNew Zealand
Hsu, Justin
Cornell UniversityUnited States
Huang, Kangjing
Purdue University, USAUnited States
Ikemori, Kazuki
Tokyo Institute of Technology
Iosif, Radu
VERIMAG, CNRS, Université Grenoble-Alpes
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
Johann, Patricia
Appalachian State University
K
Kabaha, Anan
Technion, Israel Institute of TechnologyIsrael
Kaki, Gowtham
University of Colorado BoulderUnited States
Kammar, Ohad
University of EdinburghUnited Kingdom
Kaseorg, Anders
Massachusetts Institute of TechnologyUnited States
Kastner, John
AmazonUnited States
Kato, Jun
National Institute of Advanced Industrial Science and Technology (AIST)Japan
Kedia, Piyus
Indraprastha Institute of Information Technology, Delhi
Keller, Chantal
LRI, Université Paris-SudFrance
Krogmeier, Paul
University of Illinois at Urbana-ChampaignUnited States
L
Labrada, Elizabeth
University of ChileCuba
Lahiri, Shuvendu K.
Microsoft ResearchUnited States
LaToza, Thomas
George Mason UniversityUnited States
Le, Quang Loc
University College LondonUnited Kingdom
Le, Xuan-Bach
Nanyang Technological UniversitySingapore
Lea, Doug
State University of New York (SUNY) OswegoUnited States
Leijen, Daan
Microsoft ResearchUnited States
Lerner, Sorin
University of California at San DiegoUnited States
Lesani, Mohsen
University of California at Riverside
Li, Guoqiang
Shanghai Jiao Tong University, ChinaChina
Li, Liyi
University of Illinois at Urbana-ChampaignChina
Lin, Zhengyao
University of Illinois at Urbana-Champaign
Lincke, Jens
Hasso Plattner Institute, University of Potsdam, GermanyGermany
Lindley, Sam
The University of Edinburgh, UKUnited Kingdom
Lopes, Crista
University of California, IrvineUnited States
Lorenz, David H.
Open University and Technion IIT
M
Machiry, Aravind
Purdue UniversityUnited States
Mallet, Frederic
Université Côte d'Azur, FranceFrance
Marasoiu, Mariana
University of CambridgeUnited Kingdom
Mathur, Umang
National University of SingaporeSingapore
McCutchen, Matt
United States
Milanese, Marco
Dipartimento di Matematica, University of Padova, ItalyItaly
Millstein, Todd
University of California at Los Angeles
Mondal, Shouvick
Concordia University, Montreal, CanadaCanada
Monniaux, David
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
Murawski, Andrzej
University of OxfordUnited Kingdom
Narodytska, Nina
VMWare ResearchUnited States
Negrini, Luca
Ca’ Foscari University of Venice, Corvallis S.r.l.Italy
Noble, James
Creative Research & ProgrammingNew Zealand
Nose, Junya
Tokyo Institute of Technology
O
O'Callahan, Robert
Google ResearchNew Zealand
O'Hearn, Peter W.
Meta; University College LondonUnited Kingdom
Ogata, Kazuhiro
Japan Advanced Institute of Science and Technology
Ohshima, Yoshiki
Croquet Corporation, Shizuoka UniversityJapan
Ola, Oluwakemi
University of British Columbia
Olarte, Carlos
Université Sorbonne Paris NordFrance
P
P. Khedker, Uday
Indian Institute of Technology (IIT) BombayIndia
Pal, Abhinandan
Indian Institute of Information Technology KalyaniIndia
Paltenghi, Matteo
University of Stuttgart, GermanyGermany
Panchekha, Pavel
University of UtahUnited States
Pelsmaeker, Daniel A. A.
Delft University of Technology, NetherlandsNetherlands
Peng, Yuxiang
University of Maryland
Pereira, Mário
NOVA LINCS & DI -- Nova School of Science and Technology
Petrank, Erez
Technion, Israel
Phipathananunth, Siraphob
Vanderbilt UniversityUnited States
Pierce, Benjamin C.
University of PennsylvaniaUnited States
Pincus, Jared
Stevens Institute of TechnologyUnited States
Piróg, Maciej
Huawei R&D UKPoland
Piskac, Ruzica
Yale UniversityUnited States
Polito, Guillermo
Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStALFrance
Politz, Joe Gibbs
University of California at San DiegoUnited States
Ponce de Leon, Hernan
Huawei Dresden Research CenterGermany
Purandare, Rahul
Indraprastha Institute of Information Technology, DelhiIndia
Q
Qiu, Xiaokang
Purdue University, USAUnited States
R
Raad, Azalea
Imperial College LondonUnited Kingdom
Rajan, Hridesh
Iowa State UniversityUnited States
Reps, Thomas
University of Wisconsin--Madison
S
Sabelfeld, Andrei
Chalmers University of TechnologySweden
Sakkas, Georgios
University of California at San Diego, USA
Santikellur, Pranesh
Technology Innovation Institute (TII), Abu Dhabi, UAEUnited Arab Emirates
Santolucito, Mark
Barnard College, Columbia University, USAUnited States
Santos, Igor Moreno
Software Institute - Università della Svizzera italiana
Sasano, Isao
Shibaura Institute of TechnologyJapan
Schaefer, Ina
Karlsruhe Institute of Technology (KIT)Germany
Schwabe, Peter
Max Planck Institute for Security and PrivacyGermany
Scott, Elizabeth
Royal Holloway University of London
Seidl, Martina
Johannes Kepler University LinzAustria
Sela, Gal
TechnionIsrael
Shariffdeen, Ridwan Salihin
National University of SingaporeSingapore
Sighireanu, Mihaela
IRIF, Université Paris Diderot, FranceFrance
Sivaraman, Aishwarya
University of California, Los Angeles
Song, Linhai
Pennsylvania State University, USAUnited States
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
Suh, Sangho
University of California, San DiegoUnited States
Summers, Alexander J.
University of British ColumbiaCanada
Sun, Jing
School of Computer Science, University of AucklandNew Zealand
Susag, Zachary
Cornell UniversityUnited States
Tahboub, Ruby
University of Illinois, Urbana-ChampainUnited States
Tang, Wensheng
Hong Kong University of Science and TechnologyChina
Thakur, Manas
Indian Institute of Technology MandiIndia
Tratt, Laurence
King's College LondonUnited Kingdom
Valente, Marco Tulio
Federal University of Minas Gerais, Brazil
Vanegue, Julien
BloombergUnited States
Vasconcelos, Vasco T.
LASIGE, Faculty of Sciences, University of LisbonPortugal
Vinju, Jurgen
CWI; Eindhoven University of TechnologyNetherlands
Viroli, Mirko
Alma Mater Studiorum - Università di Bologna
Voichick, Finn
University of Maryland
Wei, Ran
Dalian University of TechnologyChina
Weimer, Westley
University of MichiganUnited States
Weisenburger, Pascal
University of St. GallenSwitzerland
Wies, Thomas
New York UniversityUnited States
Wu, Xiaodi
University of Maryland, USA
X
Xia, Li-yao
University of Pennsylvania
Xue, Xu
University of Hong Kong
Y
Yallop, Jeremy
University of CambridgeUnited Kingdom
Yan, Peng
University of Technology SydneyAustralia
Yang, Ziyi
National University of SingaporeSingapore
Zaytsev, Vadim
University of Twente, NetherlandsNetherlands
Zdancewic, Steve
University of PennsylvaniaUnited States
Zhang, Lingming
University of Illinois at Urbana-ChampaignUnited States
Zhang, Yuhao
University of Wisconsin-Madison, USAUnited States
Zschaler, Steffen
King's College LondonUnited Kingdom