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

Results (1143)

Accattoli, Beniamino
Inria & Ecole PolytechniqueFrance
Ahmadi, Sharar
University of SurreyUnited Kingdom
Albarghouthi, Aws
University of Wisconsin-MadisonUnited States
Algehed, Maximilian
Chalmers University of Technology, SwedenSweden
Allamanis, Miltiadis
Microsoft ResearchUnited Kingdom
Amarasinghe, Saman
Massachusetts Institute of TechnologyUnited States
Apinis, Kalmer
University of Tartu, Estonia
Aranega, Vincent
Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 - CRIStAL
Arias, Jaime
CNRS; LIPN; Université Sorbonne Paris NordFrance
Assunção, Wesley
Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, BrazilAustria
Barbosa, Pedro
University of Lisbon; Instituto de Medicina MolecularPortugal
Bardin, Sébastien
CEA LIST, University Paris-SaclayFrance
Barkmin, Mike
University of Duisburg-Essen, GermanyGermany
Barnaby, Celeste
University of Texas at AustinUnited 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 GenoaItaly
Bibiano, Ana Carla
Pontifical Catholic University of Rio de Janeiro (PUC-Rio)Brazil
Biere, Armin
University of Freiburg, GermanyGermany
Bierhoff, Kevin
GoogleUnited States
Blackwell, Alan
University of CambridgeUnited Kingdom
Blanchard, Eion
University of Illinois at Urbana-ChampaignUnited States
Bolat, Shapagat
Université de Lorraine; CNRS; Inria; LORIAFrance
Bolotina, Anna
Czech Technical University in PragueCzechia
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Bousse, Erwan
IMT Atlantique; Nantes Université; École Centrale NantesFrance
Bozga, Marius
CNRS; Université Grenoble AlpesFrance
Bravo, Marcos Maronas
HuaweiUnited Kingdom
Brent, Lexi
International Computer Science Institute, USA / University of Sydney, Australia
Broman, David
KTH Royal Institute of TechnologySweden
Bruneliere, Hugo
IMT Atlantique, LS2N (UMR CNRS 6004)France
Bucher, II, Gary Brandt
Research Affiliates, LLCUnited States
Bunn, Tristan
Victoria University of WellingtonNew Zealand
C
Cagne, Pierre
Appalachian State University
Cai, Zixian
Australian National UniversityAustralia
Cameron, Jonathan
Carnegie Mellon UniversityUnited States
Canelas, Paulo
University of Lisbon; Carnegie Mellon UniversityPortugal
Carvalho, Luís
NOVA-LINCS; Nova University of LisbonPortugal
Chang, Bor-Yuh Evan
University of Colorado Boulder & Amazon
Chau, Chun Yin
The Hong Kong University of Science and TechnologyChina
Chen, Adam
Stevens Institute of TechnologyUnited States
Chen, Bretton
University of California at Los AngelesUnited States
Chen, Liqian
National University of Defense Technology, ChinaChina
Cheney, James
University of EdinburghUnited Kingdom
Cheng, Luyu
Hong Kong University of Science and Technology
Chiu, Kenneth
SUNY BinghamtonUnited States
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
Chou, Stephen
Massachusetts Institute of TechnologyUnited States
Choudhury, Pritam
University of PennsylvaniaUnited States
Cimini, Matteo
University of Massachusetts LowellUnited States
Ciocarlie, Gabriela
University of Texas at San Antonio
Cockx, Jesper
Delft University of TechnologyNetherlands
Costa Seco, João
NOVA-LINCS; Nova University of LisbonPortugal
D'Souza, Meenakshi
IIITB - International Institute of Information Technology BangaloreIndia
Dagnino, Francesco
University of GenoaItaly
Das, Sourav
Indian Institute of Technology KharagpurIndia
Dathan, Brahma
Metropolitan State UniversityUnited States
de Lara, Juan
Autonomous University of MadridSpain
Deng, Yinlin
University of Illinois at Urbana-ChampaignUnited States
Derakhshan, Farzaneh
Carnegie Mellon UniversityUnited States
Dexter, Philip
SUNY BinghamtonUnited States
Dietrich, Jens
Victoria University of WellingtonNew Zealand
Dimoulas, Christos
PLT @ Northwestern UniversityUnited States
Ding, Shuo
Georgia Institute of TechnologyUnited States
Ding, Yi
Massachusetts Institute of TechnologyUnited States
Donat-Bouillud, Pierre
Czech Technical University in PragueCzechia
Dutta, Arpita
National University of SingaporeSingapore
Díaz Castillo, Ana María
Teach for AllColombia
Eisenbach, Susan
Imperial College LondonUnited Kingdom
Eline, Aaron
AmazonUnited States
Emmi, Michael
Amazon Web ServicesUnited States
Endres, Madeline
University of MichiganUnited States
Erhard, Julian
Technical University of Munich
Farzan, Azadeh
University of TorontoCanada
Fathololumi, Parisa
Stevens Institute of TechnologyUnited States
Ferrara, Pietro
Università Ca' Foscari, Venezia, ItalyItaly
Ferreira, Carla
NOVA-LINCS; Nova University of LisbonPortugal
Freitag, Marius
Fernuniversität in Hagen
Fu, Weili
University of Freiburg, Germany
G
Gaboardi, Marco
Boston UniversityUnited States
Galpin, Vashti
University of EdinburghUnited Kingdom
Gambhir, Sankalp
Ecole Polytechnique Federale de Lausanne (EPFL)
Gazzillo, Paul
University of Central FloridaUnited States
Gervais, Arthur
Imperial College LondonUnited Kingdom
Ghica, Dan
HuaweiUnited Kingdom
Gibbons, Jeremy
Department of Computer Science, University of OxfordUnited Kingdom
Goel, Aviral
Northeastern UniversityUnited States
Gouni, Hemant
University of Minnesota at Twin CitiesUnited States
Greenberg, Michael
Stevens Institute of TechnologyUnited States
Grove, David
IBM ResearchUnited States
Guha, Arjun
Northeastern University and Roblox ResearchUnited States
Haas, Thomas
TU BraunschweigGermany
Hallahan, William T.
Yale UniversityUnited States
Hartman, Toine
IndependentNetherlands
Hasan, Osman
National University of Sciences & Technology
Headley, Kyle
AmazonUnited States
Heeren, Bastiaan
Open University of the Netherlands, Netherlands
Hermans, Felienne
Vrije Universiteit AmsterdamNetherlands
Heyl, Noa
University of British ColumbiaCanada
Hicks, MIchael
AmazonUnited States
Hietala, Kesha
University of MarylandUnited States
Hsu, Justin
Cornell UniversityUnited States
Huang, Kangjing
Purdue University, USAUnited States
Ikemori, Kazuki
Tokyo Institute of Technology
Iosif, Radu
CNRS; Université Grenoble AlpesFrance
Ishikawa, Fuyuki
National Institute of InformaticsJapan
Jayasuriya, Dhanushka
University of AucklandNew Zealand
Jeanjean, Pierre
Inria; University of Rennes; CNRS; IRISAFrance
Jiang, Hanru
Yanqi Lake Beijing Institute of Mathematical Sciences and Applications, ChinaChina
Jin, Charles
Massachusetts Institute of TechnologyUnited States
Johann, Patricia
Appalachian State University
Just, René
University of WashingtonUnited States
Järvi, Jaakko
University of TurkuNorway
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, Hiroyuki
National Institute of Informatics, Japan
Keller, Chantal
LRI, Université Paris-SudFrance
Khoo, Siau-Cheng
National University of SingaporeSingapore
Khorram, Faezeh
IMT Atlantique; Nantes Université; École Centrale NantesFrance
Kirisame, Marisa
University of UtahUnited States
Kohn, Tobias
University of Cambridge, UKUnited Kingdom
Krishnan, Rahul
University of Wisconsin-MadisonUnited States
Krogmeier, Paul
University of Illinois at Urbana-ChampaignUnited States
Křikava, Filip
Czech Technical University in PragueCzechia
L
Labrada, Elizabeth
University of ChileCuba
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
Lefaucheux, Engel
Université de Lorraine; CNRS; Inria; LORIAFrance
Leijen, Daan
Microsoft ResearchUnited States
Lerner, Sorin
University of California at San DiegoUnited States
Li, Guoqiang
Shanghai Jiao Tong UniversityChina
Li, Liyi
University of MarylandUnited States
Li, Yonglun
University of Wisconsin-MilwaukeeUnited States
Lin, Zhengyao
Carnegie Mellon UniversityUnited States
Lindley, Sam
University of EdinburghUnited Kingdom
Liu, Hongming
Shanghai Jiao Tong UniversityChina
Liu, Jiawei
University of Illinois at Urbana-ChampaignUnited States
Liu, Yu David
SUNY BinghamtonUnited States
Livshits, Ben
Imperial College LondonUnited Kingdom
Lopes, Crista
University of California, IrvineUnited States
M
Machiry, Aravind
Purdue UniversityUnited States
Mallet, Frederic
Université Côte d'Azur, FranceFrance
Marasoiu, Mariana
University of CambridgeUnited Kingdom
Mariano, Benjamin
The University of Texas at Austin, Texas, USAUnited States
Marinho, Dylan
Université de Lorraine; CNRS; Inria; LORIAFrance
Mason, Dave
Toronto Metropolitan University (formerly Ryerson University)Canada
Mathur, Umang
National University of SingaporeSingapore
McCauley, Mahsa
Auckland University of TechnologyNew Zealand
McCutchen, Matt
United States
Meiklejohn, Christopher
Carnegie Mellon UniversityUnited States
Milanese, Marco
Dipartimento di Matematica, University of Padova, ItalyItaly
Millstein, Todd
University of California at Los AngelesUnited States
Mirhosseini, Samim
North Carolina State University
Misse-Chanabier, Pierre
University of Lille; Inria; CNRS; Centrale Lille; UMR 9189 CRIStALFrance
Monniaux, David
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
Mosses, Peter D.
Swansea University and Delft University of TechnologyNetherlands
Mottu, Jean-Marie
IMT Atlantique; Nantes Université; École Centrale NantesFrance
Murawski, Andrzej
University of OxfordUnited Kingdom
Narodytska, Nina
VMware ResearchUnited States
Nascimento Damasceno, Carlos Diego
Radboud University Nijmegen, NetherlandsNetherlands
Negrini, Luca
Ca’ Foscari University of Venice, Corvallis S.r.l.Italy
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
Ola, Oluwakemi
University of British ColumbiaCanada
P
P. Khedker, Uday
Indian Institute of Technology (IIT) BombayIndia
Pailoor, Shankara
University of Texas at AustinUnited States
Paltenghi, Matteo
University of Stuttgart, GermanyGermany
Panchekha, Pavel
University of UtahUnited States
Parnin, Chris
North Carolina State UniversityUnited States
Pelsmaeker, Daniel A. A.
Delft University of Technology, NetherlandsNetherlands
Peng, Yuxiang
University of MarylandUnited States
Pereira, Mário
NOVA LINCS & DI -- Nova School of Science and Technology
Perera, Judith
University of AucklandNew Zealand
Petrank, Erez
TechnionIsrael
Petrucci, Laure
CNRS; LIPN; Université Sorbonne Paris NordFrance
Peña, Lucas
University of Illinois at Urbana-ChampaignUnited States
Phipathananunth, Siraphob
Vanderbilt UniversityUnited States
Phothilimthana, Phitchaya Mangpo
Google ResearchUnited States
Pincus, Jared
Stevens Institute of TechnologyUnited States
Piróg, Maciej
HuaweiUnited Kingdom
Piskac, Ruzica
Yale UniversityUnited States
Polikarpova, Nadia
University of California at San DiegoUnited States
Polito, Guillermo
Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStALFrance
Politz, Joe Gibbs
University of California at San DiegoUnited States
Ponce de León, Hernán
Huawei Dresden Research CenterGermany
R
Raad, Azalea
Imperial College LondonUnited Kingdom
Radanne, Gabriel
InriaFrance
Rajan, Hridesh
Iowa State UniversityUnited States
Ramnath, Sarnath
St. Cloud State UniversityUnited States
Rawlings, Blake C.
Sandi