SPLASH 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (369)

Maaz Bin Safeer Ahmad UW / CSE Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Umair Z. Ahmed National University of Singapore Singapore Committee Member in Artifact Evaluation Committee within the SAS-track
Amal Ahmed Northeastern University, USA United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Shoaib Akram Australian National University Belgium Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jonathan Aldrich Carnegie Mellon University United States Committee Member in Steering Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SLE-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Saba Alimadadi Simon Fraser University Canada Publications Chair in Organizing Committee for SPLASH 2020
Karim Ali University of Alberta PLMW Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Juliana Alves Pereira PUC-Rio Brazil Committee Member in Program Committee (to be completed) within the GPCE-track
Edward Amsden Black River Software, LLC PC Member in Program Committee within the REBLS-track
Davide Ancona DIBRIS, University of Genova, Italy Italy Committee Member in Steering Committee within the DLS-track
Heinrich Apfelmus independent Germany PC Member in Program Committee within the REBLS-track
Dominik Aumayr Johannes Kepler University Linz, Austria Austria Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Uwe Aßmann TU Dresden, Germany Committee Member in Program Committee within the SLE-track
Christiaan Baaij QBayLogic B.V. Netherlands PC Member in Program Committee within the REBLS-track
Domagoj Babic Google, Inc. United States Committee Member in Program Committee within the TAPAS-track
Casper Bach Poulsen Delft University of Technology Committee Member in External Review Committee within the SPLASH OOPSLA-track
Anya Helene Bagge University of Bergen Norway Committee Member in Program Committee within the SPLASH Onward! Essays-track
Mehdi Bagherzadeh Oakland University United States Workshops Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Patrick Bahr IT University of Copenhagen Denmark PC Member in Program Committee within the REBLS-track
Bill Bail MITRE Committee Member in Program Committee within the HILT-track
Gogul Balakrishnan Google Invited Speaker of Gogul Balakrishnan within the SAS 2020 - 27th Static Analysis Symposium-track in SAS 2020 Invited Speaker in Invited Speakers within the SAS-track
Elisa Baniassad University of British Columbia Committee Member in Program Committee within the SPLASH Onward! Papers-track
Elisa Baniassad University of British Columbia Canada SPLASH-E Co-Chair in Organizing Committee for SPLASH 2020 Chair in Program Commitee within the SPLASH -E-track
Olivier Barais (Univ Rennes, Inria, IRISA) Committee Member in Program Committee within the SLE-track
Raj Barik Uber Technologies Inc. Committee Member in External Review Committee within the SPLASH OOPSLA-track
Dan Barowy Williams College United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Antranig Basman Raising the Floor - International United Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Don Batory University of Texas, Austin United States Committee Member in Program Committee (to be completed) within the GPCE-track
Ira Baxter Semantic Designs United States Committee Member in Program Committee (to be completed) within the GPCE-track
Jonathan Bell George Mason University United States PLMW Co-Chair in Organizing Committee for SPLASH 2020 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Josh Berdine Facebook Committee Member in Program Committee within the SAS-track
Alexandre Bergel University of Chile Chile Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Federico Bergenti Università degli Studi di Parma Italy Committee Member in Program Committee within the AGERE-track
Steve Blackburn Australian National University Australia Committee Member in Review Committee within the SPLASH OOPSLA-track
Sandrine Blazy Univ Rennes- IRISA France Committee Member in Program Committee (to be completed) within the GPCE-track
Robert Bocchino NASA/Caltech Jet Propulsion Laboratory Committee Member in Program Committee within the HILT-track
Hans-J. Boehm Google Committee Member in External Review Committee within the SPLASH OOPSLA-track
Carl Friedrich Bolz-Tereick Germany Committee Member in Steering Committee within the DLS-track
Michael D. Bond Ohio State University, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
James Bornholt University of Texas at Austin United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Artur Boronat University of Leicester Committee Member in Program Committee within the SLE-track
Erwan Bousse University of Nantes France Publicity Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Jean Bresson Ableton Germany Committee Member in Program Committee within the SPLASH Onward! Essays-track
Einar Broch Johnsen University of Oslo Committee Member in Program Committee within the AGERE-track
Ben Brosgol AdaCore Committee Member in Program Committee within the HILT-track
Oleksandra Bulgakova Ukraine PC Member in Program Committee within the REBLS-track
Sebastian Burckhardt Microsoft Research Switzerland Committee Member in Review Committee within the SPLASH OOPSLA-track
Loli Burgueño Open University of Catalonia & CEA LIST Publicity Chair in Organizing Committee within the SLE-track
Manuel Bärenz sonnen eServices GmbH PC Member in Program Committee within the REBLS-track
Jose Cambronero MIT United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ting Cao Microsoft Research China Committee Member in External Review Committee within the SPLASH OOPSLA-track
Elias Castegren KTH Royal Institute of Technology Sweden Committee Member in Organizing Committee within the AGERE-track
Walter Cazzola Università degli Studi di Milano Italy Committee Member in Program Committee within the SLE-track
Milind Chabbi Uber Technologies Inc. United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Soham Chakraborty IIT Delhi, India India Committee Member in External Review Committee within the SPLASH OOPSLA-track
Satish Chandra Facebook United States Rebase Co-chair in Organizing Committee for SPLASH 2020 Co-chair in Organizing Committee within the SPLASH Rebase-track
Bor-Yuh Evan Chang University of Colorado Boulder \| Amazon Committee Member in Program Committee within the SAS-track
Kyle Chard University of Chicago United States Committee Member in Program Committee within the HILT-track
Sarah Chasins University of California, Berkeley Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track
Marsha Chechik University of Toronto Canada Committee Member in Program Committee within the SLE-track
Natalia Chechina Bournemouth University United Kingdom Committee Member in Program Committee within the AGERE-track
Sheng Chen University of Louisiana at Lafayette United States Committee Member in Program Committee (to be completed) within the GPCE-track
Liqian Chen National University of Defense Technology China Committee Member in Organizing Committee within the NSAD-track
Maxime Chevalier-Boisvert Université de Montréal Committee Member in Program Committee within the SPLASH Onward! Essays-track
Marc Chevalier ENS, CNRS, PSL University, INRIA France Committee Member in Artifact Evaluation Committee within the SAS-track
Shigeru Chiba The University of Tokyo Japan Committee Member in Program Committee (to be completed) within the GPCE-track Committee Member in Program Committee within the DLS-track
Vikraman Choudhury Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ravi Chugh University of Chicago Local Arrangements Chair in Organizing Committee for SPLASH 2020 Committee Member in Program Committee within the HATRA-track
Guerric Chupin ENSTA ParisTech PC Member in Program Committee within the REBLS-track
Luke Church University of Cambridge United Kingdom Committee Member in Organizing Committee within the HATRA-track
Cristina Cifuentes Oracle Labs Australia Committee Member in Program Committee within the TAPAS-track
Tony Clark Aston University United Kingdom Committee Member in Program Committee within the SLE-track
Yvonne Coady University of Victoria Canada Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2020 Co-chair in Program Committee within the SPLASH Doctoral Symposium-track
Michael Coblenz Carnegie Mellon University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Organizing Committee within the HATRA-track
William Cook University of Texas at Austin Austin in Program Committee within the SPLASH Onward! Papers-track
Patrick Cousot Committee Member in Program Committee within the SAS-track
Charlie Curtsinger Grinnell College SPLASH-E Co-Chair in Organizing Committee for SPLASH 2020 Chair in Program Commitee within the SPLASH -E-track
Javier Luis Cánovas Izquierdo IN3 - UOC Spain Committee Member in Program Committee within the SLE-track
Joeri De Koster Vrije Universiteit Brussel, Belgium Belgium Committee Member in Organizing Committee within the AGERE-track
Wolfgang De Meuter Vrije Universiteit Brussel Committee Member in Organizing Committee within the REBLS-track
Rob DeLine Microsoft Research Committee Member in Program Committee within the HATRA-track
Thomas Degueule CNRS, LaBRI France Committee Member in Program Committee (to be completed) within the GPCE-track
Lukas Diekmann King's College London United Kingdom Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Isil Dillig University of Texas at Austin, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christos Dimoulas PLT @ Northwestern University United States Poster Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Poster Co-Chair in Organizing Committee within the SPLASH Posters-track Committee Member in Organizing Committee within the META-track
Julian Dolby IBM Research, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sophia Drossopoulou Imperial College London United Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Stéphane Ducasse INRIA Lille Committee Member in Program Committee within the DLS-track
Saikat Dutta University of Illinois at Urbana-Champaign, USA United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Robert Dyer University of Nebraska - Lincoln United States Student Volunteer Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track Student Volunteer Co-Chair in Organizers within the SPLASH Student Volunteers-track
Jonathan Edwards United States Committee Member in Program Committee within the SPLASH Onward! Papers-track
Michael Emmi Amazon Web Services Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sebastian Erdweg JGU Mainz Germany Committee Member in Program Committee within the SLE-track
Martin Erwig Oregon State University United States General Chair in Organizing Committee within the GPCE-track
Patrick Eugster Universita della Svizzera Italiana, Switzerland Committee Member in Organizing Committee within the REBLS-track
Molly Feldman Cornell University United States Committee Member in Program Committee within the HATRA-track
Tim Felgentreff Oracle Labs, Potsdam Germany Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track
Yu Feng University of California, Santa Barbara China Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jerome Feret INRIA Paris France Committee Member in Program Committee within the SAS-track
Stephen J Fink Facebook United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Matthew Flatt University of Utah, USA Program Chair in Program Committee within the DLS-track
José Fragoso Santos INESC-ID, Portugal / Instituto Superior Técnico, University of Lisbon, Portugal / Imperial College London, UK Committee Member in Review Committee within the SPLASH OOPSLA-track
Juliana Franco Microsoft Research, Cambridge United Kingdom Committee Member in Program Committee within the AGERE-track
Richard P. Gabriel Dream Songs, Inc. & HPI Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Antonio Garcia-Dominguez Aston University Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Samir Genaim Universidad Complutense de Madrid Spain Committee Member in Program Committee within the SAS-track
Pritam Gharat Committee Member in Artifact Evaluation Committee within the SAS-track
Khalil Ghorbal Inria, France France Committee Member in Organizing Committee within the NSAD-track
Elena Glassman Harvard University United States Keynote Speaker of Keynote Speaker within the Keynotes-track in SPLASH 2020 Committee Member in Program Committee within the HATRA-track
Robert Glück University of Copenhagen Denmark Committee Member in Program Committee (to be completed) within the GPCE-track
Aviral Goel Northeastern University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aman Goel University of Michigan United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anirüddhā Gokhālé Vanderbilt University Committee Member in Program Committee (to be completed) within the GPCE-track
Anitha Gollamudi Harvard University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Belgium Committee Member in Steering Committee for SPLASH 2020 Committee Member in Program Committee (to be completed) within the GPCE-track Committee Member in Program Committee within the DLS-track Committee Member in Steering Committee within the META-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Colin Gordon Drexel University United States Artifact Evaluation Chair in Organizing Committee for SPLASH 2020 Artifact Evaluation Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the AGERE-track
Jeff Gray University of Alabama PC Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Neville Grech University of Athens, Greece Workshops Co-Chair in Organizing Committee for SPLASH 2020
Dan Grossman University of Washington, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
David Grove IBM Research United States OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 Chair in Review Committee within the SPLASH OOPSLA-track
Arie Gurfinkel University of Waterloo Canada Committee Member in Program Committee within the SAS-track
Sam Guyer Tufts University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Tudor Gîrba CompuGroup Medical Schweiz AG Committee Member in Program Committee within the SPLASH Onward! Papers-track
Philipp Haller KTH Royal Institute of Technology Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track
Drew Hamilton Mississippi State University, CCI Committee Member in Program Committee within the HILT-track
Ben Hardekopf UC Santa Barbara Committee Member in External Review Committee within the SPLASH OOPSLA-track
Gautier Hattenberger Keynote Speaker of Paparazzi, a research oriented open source UAV system within the Keynotes-track in SPLASH 2020
Timothée Haudebourg ENS Rennes France Committee Member in Artifact Evaluation Committee within the SAS-track
Matthias Hauswirth Università della Svizzera italiana Switzerland Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2020 Co-chair in Program Committee within the SPLASH Doctoral Symposium-track
Görel Hedin Lund University Committee Member in Program Committee within the SLE-track
Kihong Heo Korea Advanced Institute of Science and Technology (KAIST) South Korea Committee Member in Program Committee within the TAPAS-track
Felienne Hermans Leiden University Netherlands Committee Member in Program Committee within the HATRA-track
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) Invited Speaker of Manuel Hermenegildo within the SAS 2020 - 27th Static Analysis Symposium-track in SAS 2020 Invited Speaker in Invited Speakers within the SAS-track
Paul He University of Pennsylvania United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Raphael Hiesgen HAW Hamburg Germany Committee Member in Program Committee within the AGERE-track
Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Germany Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Michael Homer Victoria University of Wellington Committee Member in Program Committee within the DLS-track
Justin Hsu University of Wisconsin-Madison, USA United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jeff Huang Texas A&M University Committee Member in Review Committee within the SPLASH OOPSLA-track
Marieke Huisman University of Twente Netherlands Committee Member in External Review Committee within the SPLASH OOPSLA-track
Atsushi Igarashi Kyoto University, Japan Japan Committee Member in Review Committee within the SPLASH OOPSLA-track
Md Johirul Islam Iowa State University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Maxime Jacquemin CEA LIST, France France Committee Member in Artifact Evaluation Committee within the SAS-track
Suresh Jagannathan Purdue University Committee Member in Program Committee within the SAS-track
Abhinav Jangda University of Massachusetts Amherst Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ali Jannesari Iowa State University United States Workshops Co-Chair in Organizing Committee for SPLASH 2020
Nicolas Jeannerod IRIF, University Paris Diderot and CNRS, France France Committee Member in Artifact Evaluation Committee within the SAS-track
Alan Jeffrey Mozilla Research United States PC Member in Program Committee within the REBLS-track
Tetsuo Kamina Oita University Japan PC Member in Program Committee within the REBLS-track
John Kassie Rockwell Collins Committee Member in Program Committee within the HILT-track
Stephen Kell University of Kent Onward! Papers Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 PC Chair in Program Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Samantha Syeda Khairunnesa Iowa State University United States Student Volunteer Co-Chair in Organizing Committee for SPLASH 2020 Student Volunteer Co-Chair in Organizers within the SPLASH Student Volunteers-track
Mijung Kim Purdue University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michael Klemm Intel Germany Committee Member in Program Committee within the HILT-track
Martin Kleppmann University of Cambridge United Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Wen Kokke University of Edinburgh United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dimitris Kolovos University of York United Kingdom Committee Member in Program Committee within the SLE-track
Nikolai Kosmatov CEA List France Committee Member in Program Committee within the HILT-track
Chandra Krintz UC Santa Barbara United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Murali Krishna Ramanathan Uber Technologies Inc. United States Poster Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Poster Co-Chair in Organizing Committee within the SPLASH Posters-track Committee Member in Program Committee within the SAS-track
Shriram Krishnamurthi Brown University, United States Committee Member in Program Committee within the HATRA-track
Paddy Krishnan Oracle Labs, Australia Committee Member in Program Committee within the SLE-track
Neel Krishnaswami Computer Laboratory, University of Cambridge Committee Member in Program Committee within the HATRA-track
Srđan Krstić ETH Zürich Switzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Thomas Kuehne Victoria University of Wellington Committee Member in Program Committee within the SLE-track
Viktor Kunčak EPFL, Switzerland Switzerland Committee Member in Review Committee within the SPLASH OOPSLA-track
Yonghwi Kwon University of Virginia United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Leonidas Lampropoulos University of Pennsylvania, University of Maryland Greece Committee Member in External Review Committee within the SPLASH OOPSLA-track
Patrick Lam University of Waterloo Committee Member in Review Committee within the SPLASH OOPSLA-track
Julia Lawall Inria Committee Member in Program Committee (to be completed) within the GPCE-track
Doug Lea State University of New York (SUNY) Oswego United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Woosuk Lee Hanyang University, South Korea Committee Member in Program Committee within the TAPAS-track
Mohsen Lesani University of California, Riverside Committee Member in Review Committee within the SPLASH OOPSLA-track
Ton Chanh Le Stevens Institute of Technology United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ondřej Lhoták University of Waterloo Canada Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yun Lin National University of Singapore Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhengyang Liu University of Utah United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jiangchao Liu College of Computer, National University of Defense Technology China Committee Member in Program Committee within the TAPAS-track
Yu David Liu State University of New York (SUNY) Binghamton United States Rebase Co-chair in Organizing Committee for SPLASH 2020 Co-chair in Organizing Committee within the SPLASH Rebase-track
Y. Annie Liu Stony Brook University United States General Chair in Organizing Committee within the LPOP-track
Yue Li Nanjing University, China China Committee Member in Program Committee within the TAPAS-track
Li Li Monash University, Australia Australia Committee Member in Program Committee within the TAPAS-track
Francesco Logozzo Facebook United States Committee Member in Program Committee within the SAS-track
Yuheng Long Google, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Crista Lopes University of California, Irvine Irvine in Program Committee within the SPLASH Onward! Papers-track
Brandon Lucia Carnegie Mellon University, USA Keynote Speaker of Keynote Speaker within the Keynotes-track in SPLASH 2020
Yi Lu Queensland University of Technology Australia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ralf Lämmel Facebook London General Chair in Organizing Committee within the SLE-track
Julian Mackay Victoria University of Wellington Committee Member in External Review Committee within the SPLASH OOPSLA-track
Geoffrey Mainland Drexel University United States Committee Member in Program Committee (to be completed) within the GPCE-track
Louis Mandel IBM Research Committee Member in External Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the REBLS-track
Mark Marron Microsoft Research United States Committee Member in Program Committee within the DLS-track
Stefan Marr University of Kent United Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the DLS-track Committee Member in Steering Committee within the META-track
Chris Martens North Carolina State University United States Committee Member in Organizing Committee within the HATRA-track
Hidehiko Masuhara Tokyo Institute of Technology Japan Committee Member in Steering Committee for SPLASH 2020 Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Umang Mathur University of Illinois at Urbana-Champaign United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jay McCarthy University of Massachusetts Lowell Committee Member in Program Committee (to be completed) within the GPCE-track
Marjan Mernik University of Maribor Slovenia Committee Member in Program Committee (to be completed) within the GPCE-track
Ana Milanova Rensselaer Polytechnic Institute United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Todd Millstein University of California at Los Angeles, USA Committee Member in Review Committee within the SPLASH OOPSLA-track
Anders Miltner Princeton University, USA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Antoine Miné Sorbonne Université France Committee Member in Program Committee within the SAS-track
Sasa Misailovic University of Illinois at Urbana-Champaign United States Student Research Competition Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
Raphaël Monat Sorbonne University — LIP6 France Committee Member in Artifact Evaluation Committee within the SAS-track
Rashmi Mudduluru University of Washington, Seattle United States Committee Member in Artifact Evaluation Committee within the SAS-track
Hisham Muhammad Kong Inc Brazil Committee Member in Program Committee within the SPLASH Onward! Papers-track
Suvam Mukherjee Microsoft Research India India Committee Member in Artifact Evaluation Committee within the SAS-track
James Munns Ferrous Systems Germany Committee Member in Program Committee within the HILT-track
Gail Murphy University of British Columbia Canada Committee Member in Steering Committee for SPLASH 2020
Anders Møller Aarhus University Denmark Artifact Evaluation Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the DLS-track Artifact Evaluation Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the SAS-track
Kedar Namjoshi Nokia Bell Labs United States Committee Member in Program Committee within the SAS-track
Krishna Narasimhan TU Darmstadt, Germany Germany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Iulian Neamtiu New Jersey Institute of Technology United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Max New Northeastern University Committee Member in Program Committee within the HATRA-track
Hoan Anh Nguyen Amazon United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Olivier Nicole CEA LIST, France France Committee Member in Artifact Evaluation Committee within the SAS-track
Rachit Nigam Cornell University, USA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
James Noble Victoria University of Wellington New Zealand Committee Member in Program Committee within the SPLASH Onward! Papers-track
Martin Nowack Imperial College London Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Robert O'Callahan Pernosco New Zealand Committee Member in Program Committee within the SPLASH Onward! Papers-track
Yoshiki Ohshima Croquet Studios Japan Committee Member in Program Committee within the SPLASH Onward! Papers-track PC Member in Program Committee within the REBLS-track
Hakjoo Oh Korea University, South Korea Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the TAPAS-track Co-chair in Organizing Committee within the TAPAS-track
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Hong Kong Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee (to be completed) within the GPCE-track
Cyrus Omar University of Michigan United States Committee Member in Program Committee within the HATRA-track
Peter-Michael Osera Grinnell College United States Committee Member in Program Committee within the HATRA-track
Klaus Ostermann University of Tübingen, Germany Germany Committee Member in Program Committee within the SPLASH Onward! Papers-track
Burcu Kulahcioglu Ozkan Max Planck Institute for Software Systems (MPI-SWS) Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HILT-track
Rohan Padhye UC Berkeley / Carnegie Mellon University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Luca Padovani University of Turin, Italy Italy Committee Member in Program Committee within the AGERE-track
Jens Palsberg University of California, Los Angeles Committee Member in Steering Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Joe Pamer Facebook United States Keynote Speaker of Keynote Speaker within the Keynotes-track in SPLASH 2020
Rangeet Pan Iowa State University United States Web Chair in Organizing Committee for SPLASH 2020
Hila Peleg University of California, San Diego United States Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track
Ivan Perez NIA / NASA Formal Methods Chair in Program Committee within the REBLS-track
Erez Petrank Technion, Israel Committee Member in External Review Committee within the SPLASH OOPSLA-track
Tomas Petricek University of Kent United Kingdom Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
David Pichardie Univ Rennes, ENS Rennes, IRISA France General Co-Chair in Organizing Committee for SAS 2020 Co-chair in Program Committee within the SAS-track Committee Member in Organizing Committee within the SAS-track
Benjamin C. Pierce University of Pennsylvania United States Committee Member in Steering Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Luis Miguel Pinho ISEP P.PORTO Portugal Committee Member in Program Committee within the HILT-track
Kent Pitman PTC United States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Nadia Polikarpova University of California, San Diego United States Committee Member in Program Committee within the HATRA-track
Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille Argentina Committee Member in Program Committee within the SPLASH Onward! Papers-track
Hernan Ponce de Leon Bundeswehr University Munich Germany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alex Potanin Victoria University of Wellington New Zealand Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee (to be completed) within the GPCE-track
Marc Pouzet École normale supérieure PC Member in Program Committee within the REBLS-track
Michael Pradel University of Stuttgart Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sylvie Putot École Polytechnique Committee Member in Program Committee within the SAS-track
Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte Brazil Committee Member in Program Committee within the SLE-track
Donya Quick Stevens Institute of Technology United States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Azalea Raad MPI-SWS, Germany United Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Mukund Raghothaman University of Southern California Committee Member in External Review Committee within the SPLASH OOPSLA-track
Hridesh Rajan Iowa State University United States General Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 General Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track General Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Gordana Rakić Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad Serbia Committee Member in Program Committee within the SPLASH Onward! Essays-track
Robert Rand University of Maryland United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Francesco Ranzato University of Padova Italy Committee Member in Program Committee within the SAS-track
Henrique Rebelo Universidade Federal de Pernambuco Brazil Accessibility Chair in Organizing Committee for SPLASH 2020
Iris Reinhartz-Berger University of Haifa Israel Committee Member in Program Committee within the SLE-track
Jan S. Rellermeyer TU Delft Netherlands Committee Member in External Review Committee within the SPLASH OOPSLA-track
Márcio Ribeiro Federal University of Alagoas, Brazil Brazil Committee Member in External Review Committee within the SPLASH OOPSLA-track
Gregor Richards University of Waterloo Canada Committee Member in Review Committee within the SPLASH OOPSLA-track
Manuel Rigger ETH Zurich Switzerland Committee Member in Program Committee within the DLS-track
Talia Ringer University of Washington United States Committee Member in Program Committee within the HATRA-track
Xavier Rival INRIA/CNRS/ENS Paris France Committee Member in Program Committee within the SAS-track
Clyde Roby IDA Committee Member in Organizing Committee within the HILT-track Committee Member in Program Committee within the HILT-track
Noemi Rodrigues PUC-Rio PC Member in Program Committee within the REBLS-track
Guillermo Román-Díez Committee Member in Artifact Evaluation Committee within the SAS-track
Andrea Rosà University of Lugano, Switzerland Switzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Reuben Rowe University College London United Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Suman Roychoudhury Tata Consultancy Services Research Committee Member in Program Committee (to be completed) within the GPCE-track
Sara Royuela Barcelona Supercomputing Center Spain Committee Member in Program Committee within the HILT-track
Julia Rubin University of British Columbia Canada Student Research Competition Co-Chair in Organizing Committee for SPLASH 2020 Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
Bernhard Rumpe RWTH Aachen Germany Committee Member in Program Committee within the SLE-track
Sukyoung Ryu KAIST South Korea Committee Member in Program Committee within the DLS-track
Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2 France Committee Member in Program Committee within the SLE-track
Hitesh Sajnani Microsoft Publicity Chair in Organizing Committee for SPLASH 2020
Guido Salvaneschi Technische Universität Darmstadt Committee Member in Program Committee within the AGERE-track Committee Member in Organizing Committee within the REBLS-track Committee Member in Organizing Committee within the REBLS-track
Malavika Samak CSAIL, MIT United States PLMW Co-Chair in Organizing Committee for SPLASH 2020 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Adrian Sampson Cornell University, USA Committee Member in Review Committee within the SPLASH OOPSLA-track
Francisco Sant'Anna Rio de Janeiro State University Brazil Committee Member in Organizing Committee within the REBLS-track
Mark Santolucito Yale University, USA United States PC Member in Program Committee within the REBLS-track
Ina Schaefer Technische Universität Braunschweig Germany Committee Member in Program Committee within the HILT-track
TB Schardl MIT CSAIL Committee Member in Program Committee within the HILT-track
Thomas C. Schmidt HAW Hamburg Committee Member in Organizing Committee within the AGERE-track
Christophe Scholliers Universiteit Gent, Belgium Organization Co-chair in Organizing Committee within the META-track
Elizabeth Scott Royal Holloway University of London Committee Member in Program Committee within the SLE-track
Neil Sculthorpe Nottingham Trent University, UK PC Member in Program Committee within the REBLS-track
Chris Seaton Shopify United Kingdom Committee Member in Program Committee within the SLE-track
Christoph Seidl IT University of Copenhagen Denmark Committee Member in Program Committee (to be completed) within the GPCE-track
Helmut Seidl Technische Universität München Committee Member in Program Committee within the SAS-track
Aritra Sengupta Amazon Web Services, USA United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Rahul Sharma Microsoft Research India Committee Member in Review Committee within the SPLASH OOPSLA-track
Avraham Shinnar IBM Research Committee Member in Program Committee within the SPLASH Onward! Papers-track
Jeremy G. Siek Indiana University, USA United States Committee Member in Program Committee within the DLS-track
Mihaela Sighireanu IRIF, Université Paris Diderot, France France General Co-Chair in Organizing Committee for SAS 2020 Co-chair in Program Committee within the SAS-track Committee Member in Organizing Committee within the SAS-track
Aishwarya Sivaraman University of California, Los Angeles Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Min Si Argonne National Laboratory Keynote Speaker of Keynote Speaker within the Keynotes-track in SPLASH 2020
Yannis Smaragdakis University of Athens, Greece Committee Member in Steering Committee for SPLASH 2020
Devika Sondhi IIIT Delhi India Committee Member in Artifact Evaluation Committee within the SAS-track
Tyler Sorensen Princeton University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sunbeom So Korea University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Manu Sridharan University of California Riverside United States Committee Member in Steering Committee for SPLASH 2020
Witawas Srisa-an University of Nebraska-Lincoln United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Alok Srivastava Engility Corp. Committee Member in Program Committee within the HILT-track
Leo Stefanesco IRIF, University Paris Diderot & CNRS France Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Friedrich Steimann Fernuniversität Committee Member in Program Committee within the SLE-track
Michel Steuwer University of Glasgow United Kingdom Committee Member in Program Committee (to be completed) within the GPCE-track
Yulei Sui University of Technology Sydney, Australia Australia Committee Member in Program Committee within the TAPAS-track Co-chair in Organizing Committee within the TAPAS-track
Ting Su ETH Zurich, Switzerland Switzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eugene Syriani Université de Montréal Canada Committee Member in Program Committee within the SLE-track
Jesús Sánchez Cuadrado University of Murcia Committee Member in Program Committee within the SLE-track
César Sánchez IMDEA Software Institute Spain PC Member in Program Committee within the REBLS-track
Tucker Taft AdaCore, United States United States Committee Member in Organizing Committee within the HILT-track Committee Member in Program Committee within the HILT-track
Carolyn Talcott SRI International Committee Member in Program Committee within the AGERE-track
Olivier Tardieu IBM Research France Committee Member in External Review Committee within the SPLASH OOPSLA-track
Zachary Tatlock University of Washington, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Aditya V. Thakur University of California, Davis United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jonathan Thaler University of Applied Scienes Vorarlberg Austria PC Member in Program Committee within the REBLS-track
Eli Tilevich Virginia Tech United States Committee Member in Program Committee (to be completed) within the GPCE-track
Frank Tip Northeastern University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Emina Torlak University of Washington United States Committee Member in Steering Committee for SPLASH 2020
Massimo Torquati Computer Science Department - University of Pisa Committee Member in Program Committee within the AGERE-track
Laurence Tratt King's College London United Kingdom Committee Member in Steering Committee within the DLS-track Program Co-Chair in Organizing Committee within the SLE-track
Franklyn Turbak Wellesley College United States Committee Member in Program Committee within the HATRA-track
Naoyasu Ubayashi Kyushu University Japan Committee Member in Program Committee (to be completed) within the GPCE-track
Ganesha Upadhyaya Harmony.one United States Sponsorship Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Caterina Urban INRIA & École Normale Supérieure France Committee Member in Program Committee within the SAS-track
Pedro Valero IMDEA Software Institute, Spain Spain Committee Member in Artifact Evaluation Committee within the SAS-track
Tom Van Cutsem Nokia Bell Labs Belgium PC Member in Program Committee within the REBLS-track
Peter Van Roy Université catholique de Louvain Belgium Program Chair in Organizing Committee within the LPOP-track
Eric Van Wyk University of Minnesota, USA United States Committee Member in Program Committee within the SLE-track
Alexa VanHattum Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jyothi Vedurada Microsoft Research India Artifact Evaluation Chair in Artifact Evaluation Committee within the SAS-track Artifact Evaluation Chair in Organizing Committee within the SAS-track
Didier Verna EPITA / LRDE France Onward! Essays Chair in Organizing Committee for SPLASH 2020 Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track PC Chair in Program Committee within the SPLASH Onward! Essays-track
Jan Verschelde University of Illinois at Chicago United States Committee Member in Program Committee within the HILT-track
Jules Villard Facebook London United Kingdom Committee Member in Program Committee within the TAPAS-track
Eelco Visser Delft University of Technology Netherlands Chair in Steering Committee for SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
Jan Vitek Northeastern University United States Committee Member in Steering Committee for SPLASH 2020 Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Tomas Vojnar Brno University of Technology Czech Republic Committee Member in Program Committee within the SAS-track
Markus Völter itemis/independent Committee Member in Program Committee within the SLE-track
Richard Wai ANNEXI-STRAYLINE Canada Committee Member in Organizing Committee within the HILT-track Committee Member in Program Committee within the HILT-track
Weihang Wang University at Buffalo, SUNY United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
David Warren Stony Brook University United States General Chair in Organizing Committee within the LPOP-track
Takuo Watanabe Tokyo Institute of Technology Japan PC Member in Program Committee within the REBLS-track
Hillel Wayne United States Committee Member in Program Committee within the HATRA-track
Marcel Weiher Hasso-Plattner-Institut (HPI), Germany Germany Committee Member in Program Committee within the SPLASH Onward! Papers-track
Guannan Wei Purdue University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Adam Welc Uber Technologies United States Committee Member in Review Committee within the SPLASH OOPSLA-track
John Wickerson Imperial College London United Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Daniel Winograd-Cort Target Corp United States PC Member in Program Committee within the REBLS-track
James Worrell University of Oxford United Kingdom Invited Speaker of James Worrell within the SAS 2020 - 27th Static Analysis Symposium-track in SAS 2020 Invited Speaker in Invited Speakers within the SAS-track
Jingling Xue UNSW Sydney Australia Committee Member in Review Committee within the SPLASH OOPSLA-track
Jean Yang Carnegie Mellon University Keynote Speaker of Keynote Speaker within the Keynotes-track in SPLASH 2020
Xi Yang University of Sydney, Australia Australia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Katherine Ye Carnegie Mellon University United States Committee Member in Program Committee within the HATRA-track
Kwangkeun Yi Seoul National University, South Korea Committee Member in Program Committee within the SAS-track
Enea Zaffanella University of Parma, Italy Italy Committee Member in Program Committee within the SAS-track
Marco Zanella University of Padova, Italy Italy Committee Member in Artifact Evaluation Committee within the SAS-track
Francesco Zappa Nardelli Inria France Committee Member in Program Committee within the DLS-track
Vadim Zaytsev Raincode Labs, Belgium Belgium Committee Member in Program Committee (to be completed) within the GPCE-track Committee Member in Program Committee within the SLE-track
Uwe Zdun University of Vienna Austria Committee Member in Program Committee within the SLE-track
Chengyu Zhang East China Normal University China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yunhui Zheng IBM T.J. Watson Research Center Committee Member in Review Committee within the SPLASH OOPSLA-track
Lukasz Ziarek SUNY Buffalo, USA United States Committee Member in Organizing Committee within the REBLS-track
Elena Zucca University of Genova Committee Member in External Review Committee within the SPLASH OOPSLA-track
Florian Zuleger TU Vienna Austria Committee Member in Program Committee within the SAS-track
Juan de Lara Universidad Autónoma de Madrid Spain Program Co-Chair in Organizing Committee within the SLE-track
Oege de Moor Semmle Keynote Speaker of Keynote Speaker within the Keynotes-track in SPLASH 2020
Tijs van der Storm CWI & University of Groningen, Netherlands Netherlands Committee Member in Program Committee (to be completed) within the GPCE-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SLE-track
Ezgi Çiçek Facebook London Invited Speaker of Ezgi Çiçek within the SAS 2020 - 27th Static Analysis Symposium-track in SAS 2020 Invited Speaker in Invited Speakers within the SAS-track

SPLASH 2020 Contributors

Results (369)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums