SPLASH 2022 Contributors
Filter
Role Type
Committee member
Contributor/Author
Session chair
Contributing to
APLAS
DLS
FTSCS
GPCE
HATRA
LIVE
PAINT
REBLS
SAS
SLE
SPLASH
Unsound
VMIL
Number of Roles
1..3
4..6
7..9
10 or more
Country
-unspecified-
Argentinia
Australia
Austria
Belgium
Brazil
Canada
China
Colombia
Cuba
Czechia
Denmark
Ethiopia
France
Germany
Greece
India
Indonesia
Ireland
Israel
Italy
Japan
Malta
Morocco
Netherlands
New Zealand
Norway
Poland
Portugal
Russia
Serbia
Singapore
Slovenia
South Africa
South Korea
Spain
Sweden
Switzerland
Taiwan
Uganda
United Arab Emirates
United Kingdom
United States
Uzbekistan
n.n.
Search
Results (1144)
Chike AbuahAbuah, Chike University of VermontUnited States |
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance |
Sharar AhmadiAhmadi, Sharar University of SurreyUnited Kingdom |
Khaled AhmedAhmed, Khaled University of British Columbia (UBC)Canada |
Emma AhrensAhrens, Emma RWTH Aachen UniversityGermany |
Baris AktemurAktemur, Baris IntelGermany |
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States |
Maximilian AlgehedAlgehed, Maximilian Chalmers University of Technology, SwedenSweden |
Karim AliAli, Karim University of Alberta |
Shaukat AliAli, Shaukat Simula Research LaboratoryNorway |
Miltiadis AllamanisAllamanis, Miltiadis Microsoft ResearchUnited Kingdom |
Meghan AllenAllen, Meghan University of British ColumbiaCanada |
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States |
Rayhana AmjadAmjad, Rayhana The University of Edinburgh |
Daneshvar AmrollahiAmrollahi, Daneshvar Stanford UniversityUnited States |
Sofia AnanievaAnanieva, Sofia FZI Research Center for Information TechnologyGermany |
Étienne AndréAndré, Étienne Université Sorbonne Paris Nord; LIPN; CNRSFrance |
Luthfan Anshar LubisAnshar Lubis, Luthfan Tokyo Institute of TechnologyJapan |
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand |
Tomoyuki AotaniAotani, Tomoyuki MamezouJapan |
Kalmer ApinisApinis, Kalmer University of Tartu, Estonia |
Vincent AranegaAranega, Vincent Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 - CRIStAL |
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly |
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance |
Robert C. ArmstrongArmstrong, Robert C. Sandia National Laboratories |
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden |
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan |
Wesley AssunçãoAssunção, Wesley Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, BrazilAustria |
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly |
Bereket Shimels AyeleAyele, Bereket Shimels Addis Ababa Institute of TechnologyEthiopia |
Jon AytacAytac, Jon Sandia National Laboratories |
Kyungmin BaeBae, Kyungmin POSTECHSouth Korea |
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark |
Engineer BainomugishaBainomugisha, Engineer Makerere UniversityUganda |
Suguman BansalBansal, Suguman Rice University, USAUnited States |
Olivier BaraisBarais, Olivier University of Rennes; Inria; CNRS; IRISAFrance |
Gergö BaranyBarany, Gergö Oracle LabsAustria |
Mikhail BarashBarash, Mikhail University of BergenNorway |
Pedro BarbosaBarbosa, Pedro University of Lisbon; Instituto de Medicina MolecularPortugal |
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance |
Mike BarkminBarkmin, Mike University of Duisburg-Essen, GermanyGermany |
Konstantinos BarmpisBarmpis, Konstantinos University of YorkUnited Kingdom |
Celeste BarnabyBarnaby, Celeste University of Texas at AustinUnited States |
Hernando BarragánBarragán, Hernando Universidad de Los AndesColombia |
Clark BarrettBarrett, Clark Stanford UniversityUnited States |
Ferenc BarthaBartha, Ferenc Rice UniversityUnited States |
Gilles BartheBarthe, Gilles MPI-SP, Germany / IMDEA Software Institute, SpainGermany |
Ezio BartocciBartocci, Ezio TU WienAustria |
David BasinBasin, David ETH ZurichSwitzerland |
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States |
Iulia BastysBastys, Iulia Chalmers University of TechnologySweden |
Kevin BatzBatz, Kevin RWTH Aachen University |
Santiago BautistaBautista, Santiago Univ Rennes, Inria, CNRS, IRISAFrance |
Rohan BavishiBavishi, Rohan University of California at BerkeleyUnited States |
Felipe Bañados SchwerterBañados Schwerter, Felipe University of British ColumbiaCanada |
Anna BecchiBecchi, Anna Fondazione Bruno Kessler, Trento, ItalyItaly |
Bereket Ngussie BekeleBekele, Bereket Ngussie Addis Ababa Institute of TechnologyEthiopia |
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France |
John BenderBender, John Sandia National Laboratories |
Véronique BenzakenBenzaken, Véronique Université Paris-Saclay - Laboratoire de Méthodes Formelles France |
Josh BerdineBerdine, Josh MetaUnited Kingdom |
Celina BergBerg, Celina University of VictoriaCanada |
Vincent BertramBertram, Vincent RWTH Aachen UniversityGermany |
Ana Carla BibianoBibiano, Ana Carla Pontifical Catholic University of Rio de Janeiro (PUC-Rio)Brazil |
Robert BiddleBiddle, Robert Carleton UniversityCanada |
Armin BiereBiere, Armin University of Freiburg, GermanyGermany |
Nicolas BiriBiri, Nicolas Input Output Global (IOG) |
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia |
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom |
Eion BlanchardBlanchard, Eion University of Illinois at Urbana-ChampaignUnited States |
Bruno BodinBodin, Bruno Yale-NUS CollegeSingapore |
Shapagat BolatBolat, Shapagat Université de Lorraine; CNRS; Inria; LORIAFrance |
Anna BolotinaBolotina, Anna Czech Technical University in PragueCzechia |
James BornholtBornholt, James University of Texas at AustinUnited States |
Miriam BoßBoß, Miriam RWTH Aachen UniversityGermany |
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance |
Houda BoukhamBoukham, Houda Ecole Mohammadia d'Ingénieurs; Oracle LabsMorocco |
Erwan BousseBousse, Erwan IMT Atlantique; Nantes Université; École Centrale NantesFrance |
Marius BozgaBozga, Marius CNRS; Université Grenoble AlpesFrance |
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany |
Oliver BračevacBračevac, Oliver Purdue UniversityUnited States |
Lexi BrentBrent, Lexi International Computer Science Institute, USA / University of Sydney, Australia |
Daniel BrittenBritten, Daniel University of WaikatoNew Zealand |
David BromanBroman, David KTH Royal Institute of TechnologySweden |
Hugo BruneliereBruneliere, Hugo IMT Atlantique, LS2N (UMR CNRS 6004)France |
Roberto BruniBruni, Roberto University of PisaItaly |
Brandt BucherBucher, Brandt Research Affiliates, LLCUnited States |
Tristan BunnBunn, Tristan Victoria University of WellingtonNew Zealand |
Humphrey BurchellBurchell, Humphrey University of Kent |
Arvid ButtingButting, Arvid Software Engineering, RWTH Aachen UniversityGermany |
Yuxi CaiCai, Yuxi University of TorontoCanada |
Zixian CaiCai, Zixian Australian National UniversityAustralia |
Tommaso CaloCalo, Tommaso Politecnico di TorinoItaly |
Stéphanie CamarénaCamaréna, Stéphanie Source TransitionsAustralia |
José Pablo CambroneroCambronero, José Pablo MicrosoftUnited States |
Jonathan CameronCameron, Jonathan Carnegie Mellon UniversityUnited States |
Marco CampionCampion, Marco University of VeronaItaly |
Miguel CampusanoCampusano, Miguel University of Southern DenmarkDenmark |
Paulo CanelasCanelas, Paulo University of Lisbon; Carnegie Mellon UniversityPortugal |
Pablo C CanizaresCanizares, Pablo C Autonomous University of Madrid, Spain |
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States |
Paris CarboneCarbone, Paris RISE Research institutes of Sweden |
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia |
Edwin CarlinetCarlinet, Edwin EPITA Research LaboratoryFrance |
Robert CartwrightCartwright, Robert Rice UniversityUnited States |
Luís CarvalhoCarvalho, Luís NOVA-LINCS; Nova University of LisbonPortugal |
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly |
Ethan CecchettiCecchetti, Ethan University of Maryland, College ParkUnited States |
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside |
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom |
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon |
Chun Yin ChauChau, Chun Yin The Hong Kong University of Science and TechnologyChina |
Marsha ChechikChechik, Marsha University of TorontoCanada |
Adam ChenChen, Adam Stevens Institute of TechnologyUnited States |
Bretton ChenChen, Bretton University of California at Los AngelesUnited States |
Guangke ChenChen, Guangke ShanghaiTech UniversityChina |
Hao ChenChen, Hao Yale UniversityUnited States |
Jiawei ChenChen, Jiawei University of Michigan at Ann ArborUnited States |
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) University of Texas at AustinUnited States |
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina |
Sheng ChenChen, Sheng University of Louisiana at Lafayette |
Taolue ChenChen, Taolue Birkbeck University of LondonUnited Kingdom |
Xiaohong ChenChen, Xiaohong University of Illinois at Urbana-Champaign |
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States |
Zhiyang ChenChen, Zhiyang University of TorontoCanada |
Zhuo ChenChen, Zhuo University of MelbourneAustralia |
James CheneyCheney, James University of EdinburghUnited Kingdom |
Luyu ChengCheng, Luyu Hong Kong University of Science and Technology |
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States |
Dalila ChiadmiChiadmi, Dalila Ecole Mohammadia d'IngénieursMorocco |
Wei-Ngan ChinChin, Wei-Ngan National University of SingaporeSingapore |
Luca ChiodiniChiodini, Luca USI LuganoSwitzerland |
Khushboo ChitreChitre, Khushboo IIIT DelhiIndia |
Andrei ChişChiş, Andrei feenk, Switzerland |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Stephen ChouChou, Stephen Massachusetts Institute of TechnologyUnited States |
Pritam ChoudhuryChoudhury, Pritam University of PennsylvaniaUnited States |
Sangeeta ChowdharyChowdhary, Sangeeta Rutgers UniversityUnited States |
Maria ChristakisChristakis, Maria MPI-SWSGermany |
Jörg Christian KirchhofChristian Kirchhof, Jörg RWTH Aachen UniversityGermany |
Benjamin ChungChung, Benjamin Northeastern University |
Luke ChurchChurch, Luke University of Cambridge | Lund University | Lark SystemsUnited Kingdom |
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States |
Gabriela CiocarlieCiocarlie, Gabriela University of Texas at San Antonio |
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands |
Myra CohenCohen, Myra Iowa State UniversityUnited States |
Benoit CombemaleCombemale, Benoit University of Rennes; Inria; CNRS; IRISAFrance |
Breandan ConsidineConsidine, Breandan McGill UniversityCanada |
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal |
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore |
Will CrichtonCrichton, Will Stanford University |
Abby CriswellCriswell, Abby University of Texas at AustinUnited States |
Ryan CulpepperCulpepper, Ryan Czech Technical University in PragueCzechia |
Charlie CurtsingerCurtsinger, Charlie Grinnell College |
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania |
Meenakshi D'SouzaD'Souza, Meenakshi IIITB - International Institute of Information Technology BangaloreIndia |
Sadegh DalvandiDalvandi, Sadegh University of SurreyUnited Kingdom |
Daniela DamianDamian, Daniela University of VictoriaCanada |
David DaraisDarais, David GaloisUnited States |
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland |
Eva DarulovaDarulova, Eva Uppsala UniversitySweden |
Sourav DasDas, Sourav Indian Institute of Technology KharagpurIndia |
Brahma DathanDathan, Brahma Metropolitan State UniversityUnited States |
Istvan DavidDavid, Istvan Université de MontréalCanada |
Joeri De KosterDe Koster, Joeri Vrije Universiteit BrusselBelgium |
Alfonso de la Vegade la Vega, Alfonso Universidad de CantabriaSpain |
Juan de Larade Lara, Juan Autonomous University of MadridSpain |
José Luiz Vargas de Mendonçade Mendonça, José Luiz Vargas University of Michigan at Ann ArborUnited States |
Alexis De MeoDe Meo, Alexis TroveNew Zealand |
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom |
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium |
Luigi De RussisDe Russis, Luigi Politecnico di TorinoItaly |
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States |
David DelmasDelmas, David Airbus & Sorbonne UniversitéFrance |
Delphine DemangeDemange, Delphine Univ Rennes, Inria, CNRS, IRISAFrance |
Yinlin DengDeng, Yinlin University of Illinois at Urbana-ChampaignUnited States |
Farzaneh DerakhshanDerakhshan, Farzaneh Carnegie Mellon UniversityUnited States |
Kezia DevathasanDevathasan, Kezia University of VictoriaCanada |
Utkarsh DhandhaniaDhandhania, Utkarsh University of Hong KongChina |
Kevin DickDick, Kevin Carleton UniversityCanada |
Robert DickersonDickerson, Robert Purdue UniversityUnited States |
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand |
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States |
Shuo DingDing, Shuo Georgia Institute of TechnologyUnited States |
Yi DingDing, Yi Massachusetts Institute of TechnologyUnited States |
Thi Thu Ha DoanDoan, Thi Thu Ha University of Freiburg |
Pierre Donat-BouilludDonat-Bouillud, Pierre Czech Technical University in PragueCzechia |
James DongDong, James Stanford UniversityUnited States |
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom |
Raphael Douglas GilesDouglas Giles, Raphael UNSWAustralia |
Derek DreyerDreyer, Derek MPI-SWSGermany |
Sophia DrossopoulouDrossopoulou, Sophia Meta and Imperial College London United Kingdom |
Andrej DudenhefnerDudenhefner, Andrej Technical University Dortmund |
Adam DuraczDuracz, Adam Rice UniversityUnited States |
Greg DurrettDurrett, Greg University of Texas at AustinUnited States |
Arpita DuttaDutta, Arpita National University of SingaporeSingapore |
Martijn DwarsDwars, Martijn Oracle LabsSwitzerland |
Tristan DyerDyer, Tristan Brown UniversityUnited States |
Ana María Díaz CastilloDíaz Castillo, Ana María Teach for AllColombia |
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom |
Stephen EllisEllis, Stephen Imperial College LondonUnited Kingdom |
Madeline EndresEndres, Madeline University of MichiganUnited States |
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance |
Julian ErhardErhard, Julian Technical University of Munich |
Guilherme EspadaEspada, Guilherme University of LisbonPortugal |
Baptiste EstebanEsteban, Baptiste EPITA Research LaboratoryFrance |
Patrick EugsterEugster, Patrick USI Lugano; Purdue UniversitySwitzerland |
Hongyu FanFan, Hongyu Tsinghua UniversityChina |
Marie FarrellFarrell, Marie Maynooth UniversityIreland |
Parisa FathololumiFathololumi, Parisa Stevens Institute of TechnologyUnited States |
Marc FeeleyFeeley, Marc Université de MontréalCanada |
Yotam M. Y. FeldmanFeldman, Yotam M. Y. Tel Aviv UniversityIsrael |
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany |
Yu FengFeng, Yu University of California at Santa BarbaraUnited States |
Jerome FeretFeret, Jerome INRIA ParisFrance |
Kostas FerlesFerles, Kostas Veridise Inc.United States |
Kiko Fernandez-ReyesFernandez-Reyes, Kiko KlarnaSweden |
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly |
Carla FerreiraFerreira, Carla NOVA-LINCS; Nova University of LisbonPortugal |
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States |
Bernd FischerFischer, Bernd Stellenbosch University, South AfricaSouth Africa |
Jennifer FishFish, Jennifer Carnegie Mellon University |
Alcides FonsecaFonseca, Alcides University of LisbonPortugal |
Darius FooFoo, Darius National University of Singapore |
Fabrizio FornariFornari, Fabrizio University of Camerino, ItalyItaly |
Niklas ForsFors, Niklas Lund UniversitySweden |
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States |
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom |
Dov FraivertFraivert, Dov Open University of IsraelIsrael |
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta |
Björn FrankeFranke, Björn University of EdinburghUnited Kingdom |
Steven D. FraserFraser, Steven D. InnoxecUnited States |
Vanessa FreudenbergFreudenberg, Vanessa Croquet CorpUnited States |
Felipe FronchettiFronchetti, Felipe Virginia Commonwealth UniversityUnited States |
Daniel FruminFrumin, Daniel University of GroningenNetherlands |
Damian FrölichFrölich, Damian University of AmsterdamNetherlands |
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina |
Tsukasa FukusatoFukusato, Tsukasa The University of TokyoJapan |
Richard P. GabrielGabriel, Richard P. PoetUnited States |
Adrian GallusGallus, Adrian RWTH Aachen University |
Vashti GalpinGalpin, Vashti University of EdinburghUnited Kingdom |
Sankalp GambhirGambhir, Sankalp Ecole Polytechnique Federale de Lausanne (EPFL) |
Ronald GarciaGarcia, Ronald University of British ColumbiaCanada |
Isabel Garcia-ContrerasGarcia-Contreras, Isabel University of WaterlooCanada |
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom |
Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of WellingtonNew Zealand |
Antonio GarmendiaGarmendia, Antonio JKU LinzAustria |
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States |
Leonard GeierGeier, Leonard University of Potsdam; Hasso Plattner InstituteGermany |
Aina Linn GeorgesGeorges, Aina Linn Aarhus University |
Simos GerasimouGerasimou, Simos University of YorkUnited Kingdom |
Arthur GervaisGervais, Arthur Imperial College LondonUnited Kingdom |
Dimitra GiannakopoulouGiannakopoulou, Dimitra NASA Ames Research Center |
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly |
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom |
Robert GlückGlück, Robert University of CopenhagenDenmark |
Aviral GoelGoel, Aviral Northeastern UniversityUnited States |
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States |
Anitha GollamudiGollamudi, Anitha University of Massachusetts Lowell |
Christiane GoltzGoltz, Christiane SnykSwitzerland |
Léon GondelmanGondelman, Léon Aarhus UniversityDenmark |
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium |
April GonçalvesGonçalves, April Metastate AGDenmark |
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore |
Roberta GoriGori, Roberta University of PisaItaly |
Eric GoubaultGoubault, Eric Ecole Polytechnique |
Hemant GouniGouni, Hemant University of Minnesota at Twin CitiesUnited States |
Maruth GoyalGoyal, Maruth University of Texas at AustinUnited States |
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States |
Ben GreenmanGreenman, Ben Brown UniversityUnited States |
Matt GriffinGriffin, Matt University of SurreyUnited Kingdom |
Lindsay GrovesGroves, Lindsay Victoria University of Wellington |
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology |
Arjun GuhaGuha, Arjun Northeastern University and Roblox ResearchUnited States |
Sumit GulwaniGulwani, Sumit MicrosoftUnited States |
Philip GuoGuo, Philip University of California at San DiegoUnited States |
Philip GuoGuo, Philip University of California San Diego |
Thierry GéraudGéraud, Thierry EPITA Research LaboratoryFrance |
Pablo Gómez-AbajoGómez-Abajo, Pablo Universidad Autónoma de MadridSpain |
Braxton HallHall, Braxton University of British ColumbiaCanada |
William T. HallahanHallahan, William T. Yale UniversityUnited States |
Philipp HallerHaller, Philipp KTHSweden |
Osman HasanHasan, Osman National University of Sciences & Technology |
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland |
Chris HawblitzelHawblitzel, Chris Microsoft Research |
Fei HeHe, Fei Tsinghua UniversityChina |
Pinjia HeHe, Pinjia Chinese University of Hong Kong at ShenzhenChina |
Andrew HeadHead, Andrew University of Pennsylvania |
Görel HedinHedin, Görel Lund UniversitySweden |
Bastiaan HeerenHeeren, Bastiaan Open University of the Netherlands, Netherlands |
Gernot HeiserHeiser, Gernot UNSWAustralia |
Joseph M. HellersteinHellerstein, Joseph M. University of California at BerkeleyUnited States |
Marc HentzeHentze, Marc VolkswagenGermany |
Martin HenzHenz, Martin National University of SingaporeSingapore |
Ben HermannHermann, Ben TU DortmundGermany |
Felienne HermansHermans, Felienne Vrije Universiteit AmsterdamNetherlands |
Noa HeylHeyl, Noa University of British ColumbiaCanada |
Michael HicksHicks, Michael University of Maryland; AmazonUnited States |
Michael HicksHicks, Michael University of Maryland; AmazonUnited States |
Kesha HietalaHietala, Kesha University of MarylandUnited States |
Joshua HoeflichHoeflich, Joshua Northwestern UniversityUnited States |
Henry HoffmannHoffmann, Henry University of ChicagoUnited States |
Reid HolmesHolmes, Reid University of British ColumbiaCanada |
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand |
Falk HowarHowar, Falk TU Dortmund UniversityGermany |
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States |
Kangjing HuangHuang, Kangjing Purdue University, USAUnited States |
Geoffrey C. HuletteHulette, Geoffrey C. Sandia National Laboratories |
Mathieu HuotHuot, Mathieu Oxford University |
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea |
Takeo IgarashiIgarashi, Takeo The University of TokyoJapan |
Hugo IllousIllous, Hugo CEA & INRIA / ENS ParisFrance |
Connor ImesImes, Connor University of ChicagoUnited States |
Leon IngelseIngelse, Leon University of LisbonPortugal |
Radu IosifIosif, Radu CNRS; Université Grenoble AlpesFrance |
Fuyuki IshikawaIshikawa, Fuyuki National Institute of InformaticsJapan |
Takuma IshikawaIshikawa, Takuma The University of Tokyo |
Chiaki IshioIshio, Chiaki Ochanomizu UniversityJapan |
Anastasia IsychevIsychev, Anastasia Technical University of MunichGermany |
Naoki IwayamaIwayama, Naoki University of Tokyo, Japan |
Joxan JaffarJaffar, Joxan National University of SingaporeSingapore |
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States |
Sorour JahanbinJahanbin, Sorour University of YorkUnited Kingdom |
Joel JakubovicJakubovic, Joel University of KentUnited Kingdom |
Shayan JaliliJalili, Shayan University of Michigan at Ann ArborUnited States |
Corinna JaschekJaschek, Corinna Hasso Plattner InstituteGermany |
Dhanushka JayasuriyaJayasuriya, Dhanushka University of AucklandNew Zealand |
Pierre JeanjeanJeanjean, Pierre Inria; University of Rennes; CNRS; IRISAFrance |
Jean-Baptiste JeanninJeannin, Jean-Baptiste University of Michigan at Ann ArborUnited States |
Thomas P. JensenJensen, Thomas P. INRIA RennesFrance |
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States |
Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States |
Hanru JiangJiang, Hanru Yanqi Lake Beijing Institute of Mathematical Sciences and Applications, ChinaChina |
Charles JinJin, Charles Massachusetts Institute of TechnologyUnited States |
Patricia JohannJohann, Patricia Appalachian State University |
Tanya JohnsonJohnson, Tanya AurorNew Zealand |
Jacques-Henri JourdanJourdan, Jacques-Henri CNR, LMFFrance |
Ralf JungJung, Ralf MPI-SWSGermany |
René JustJust, René University of WashingtonUnited States |
Gail KaiserKaiser, Gail Columbia UniversityUnited States |
Gowtham KakiKaki, Gowtham University of Colorado BoulderUnited States |
Sophie KalebaKaleba, Sophie University of KentUnited Kingdom |
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan |
Shoaib KamilKamil, Shoaib Adobe Research |
Farhan Kamil-okedaraKamil-okedara, Farhan University of WarwickUnited Kingdom |
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University and University College LondonGermany |
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom |
Byeongjee KangKang, Byeongjee POSTECHSouth Korea |
Anders KaseorgKaseorg, Anders Massachusetts Institute of TechnologyUnited States |
Hiroyuki KatoKato, Hiroyuki National Institute of Informatics, Japan |
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany |
Asterios KatsifodimosKatsifodimos, Asterios TU DelftNetherlands |
Geoff KaufmanKaufman, Geoff Carnegie Mellon UniversityUnited States |
Piyus KediaKedia, Piyus IIIT DelhiIndia |
Stephen KellKell, Stephen King's College LondonUnited Kingdom |
Chantal KellerKeller, Chantal LRI, Université Paris-SudFrance |
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands |
Martin KelloggKellogg, Martin University of WashingtonUnited States |
Bettina KemmeKemme, Bettina McGill University, Canada |
Hoda KhalilKhalil, Hoda Carleton UniversityCanada |
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States |
Nishant KheterpalKheterpal, Nishant University of MichiganUnited States |
Siau-Cheng KhooKhoo, Siau-Cheng National University of SingaporeSingapore |
Faezeh KhorramKhorram, Faezeh IMT Atlantique; Nantes Université; École Centrale NantesFrance |
Jung-Eun KimKim, Jung-Eun Yale UniversityUnited States |
Sangki KimKim, Sangki POSTECHSouth Korea |
Marisa KirisameKirisame, Marisa University of UtahUnited States |
Diana KirkKirk, Diana University of AucklandNew Zealand |
Gerwin KleinKlein, Gerwin Proofcraft; UNSWAustralia |
Anno KleissKleiss, Anno RWTH Aachen University |
Tobias KohnKohn, Tobias University of Cambridge, UKUnited Kingdom |
Wen KokkeKokke, Wen University of Edinburgh |
Michalis KokologiannakisKokologiannakis, Michalis MPI-SWSGermany |
John C. KolesarKolesar, John C. Yale UniversityUnited States |
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States |
Austin KothigKothig, Austin University of Waterloo |
Christos KotselidisKotselidis, Christos KTM Innovation / The University of ManchesterUnited Kingdom |
Adrien KoutsosKoutsos, Adrien INRIA ParisFrance |
Laura KovácsKovács, Laura TU WienAustria |
Fabian KrauseKrause, Fabian University of Freiburg |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Sebastian KrieterKrieter, Sebastian University of UlmGermany |
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India |
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States |
Rahul KrishnanKrishnan, Rahul University of Wisconsin-MadisonUnited States |
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom |
Paul KrogmeierKrogmeier, Paul University of Illinois at Urbana-ChampaignUnited States |
Bastian KruckKruck, Bastian itemis SECURE // Hasso Plattner InstituteGermany |
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States |
Amrit KumarKumar, Amrit Zilliqa Researchn.n. |
Filip KřikavaKřikava, Filip Czech Technical University in PragueCzechia |
Shadaj LaddadLaddad, Shadaj University of California at BerkeleyUnited States |
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States |
Joey LaiLai, Joey University of AmsterdamNetherlands |
Patrick LamLam, Patrick University of Waterloo |
Octave LaroseLarose, Octave University of KentUnited Kingdom |
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States |
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States |
Quang Loc LeLe, Quang Loc University College LondonUnited Kingdom |
Xuan-Bach LeLe, Xuan-Bach Nanyang Technological UniversitySingapore |
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States |
Edward LeeLee, Edward University of WaterlooCanada |
Jaeseo LeeLee, Jaeseo POSTECHSouth Korea |
Yunjeong LeeLee, Yunjeong National University of Singapore |
Engel LefaucheuxLefaucheux, Engel Université de Lorraine; CNRS; Inria; LORIAFrance |
Yuxiang LeiLei, Yuxiang University of Technology SydneyAustralia |
Ondřej LengálLengál, Ondřej Brno University of Technology |
Rodolphe LepigreLepigre, Rodolphe MPI-SWSGermany |
Benjamin LernerLerner, Benjamin Northeastern University, United StatesUnited States |
Sorin LernerLerner, Sorin University of California at San DiegoUnited States |
Mohsen LesaniLesani, Mohsen University of California at Riverside |
Luc LesoilLesoil, Luc IRISAFrance |
Martin LesterLester, Martin University of ReadingUnited Kingdom |
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada |
Guoqiang LiLi, Guoqiang Shanghai Jiao Tong UniversityChina |
Yao LiLi, Yao Portland State UniversityUnited States |
Zhibo LiLi, Zhibo University of EdinburghUnited Kingdom |
Zhengyao LinLin, Zhengyao Carnegie Mellon UniversityUnited States |
Pilar Selene Linares ArévaloLinares Arévalo, Pilar Selene University of MelbourneAustralia |
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany |
Bozhen LiuLiu, Bozhen Texas A&M University, USA |
Hongming LiuLiu, Hongming Shanghai Jiao Tong UniversityChina |
Jiawei LiuLiu, Jiawei University of Illinois at Urbana-ChampaignUnited States |
Jiaxiang LiuLiu, Jiaxiang Shenzhen UniversityChina |
Mengqi LiuLiu, Mengqi Yale UniversityUnited States |
Si LiuLiu, Si ETH ZurichSwitzerland |
Ben LivshitsLivshits, Ben Imperial College LondonUnited Kingdom |
Fan LongLong, Fan University of TorontoCanada |
Crista LopesLopes, Crista University of California, IrvineUnited States |
David H. LorenzLorenz, David H. Open University of IsraelIsrael |
Shan LuLu, Shan University of ChicagoUnited States |
Karsten LundqvistLundqvist, Karsten New Zealand |
Aran LunzerLunzer, Aran Croquet CorporationUnited Kingdom |
Christof LödingLöding, Christof RWTH Aachen UniversityGermany |
Julian MackayMackay, Julian Victoria University of WellingtonNew Zealand |
Ardi MadadiMadadi, Ardi University of WashingtonUnited States |
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States |
Ole Lehrmann MadsenMadsen, Ole Lehrmann Aarhus UniversityDenmark |
Raheel S. MahmoodMahmood, Raheel S. Sandia National Laboratories |
Daryl MaierMaier, Daryl IBM CanadaCanada |
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States |
Frederic MalletMallet, Frederic Université Côte d'Azur, FranceFrance |
Dennis ManclMancl, Dennis MSWX Software ExpertsUnited States |
Louis MandelMandel, Louis IBM ResearchUnited States |
Nicolas ManiniManini, Nicolas IMDEA Software InstituteSpain |
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom |
Benjamin MarianoMariano, Benjamin The University of Texas at Austin, Texas, USAUnited States |
Benjamin MarianoMariano, Benjamin University of Texas at AustinUnited States |
Dylan MarinhoMarinho, Dylan Université de Lorraine; CNRS; Inria; LORIAFrance |
Rani Rahel MarkusMarkus, Rani Rahel Indonesia |
Danielle MarshallMarshall, Danielle University of Kent, UKUnited Kingdom |
Lina MarssoMarsso, Lina University of TorontoCanada |
Agustín Rafael MartínezMartínez, Agustín Rafael University of Buenos AiresArgentinia |
Dave MasonMason, Dave Toronto Metropolitan University (formerly Ryerson University)Canada |
Abu Naser MasudMasud, Abu Naser Malardalen UniversitySweden |
Christoph MathejaMatheja, Christoph ETH Zurich |
Umang MathurMathur, Umang National University of SingaporeSingapore |
Toni MattisMattis, Toni University of Potsdam; Hasso Plattner InstituteGermany |
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure |
Mahsa McCauleyMcCauley, Mahsa Auckland University of TechnologyNew Zealand |
Sean McDirmidMcDirmid, Sean GoogleUnited States |
Kathryn S McKinleyMcKinley, Kathryn S Google |
Christopher MeiklejohnMeiklejohn, Christopher Carnegie Mellon UniversityUnited States |
Marjan MernikMernik, Marjan University of MariborSlovenia |
Jose MeseguerMeseguer, Jose University of Illinois at Urbana-ChampaignUnited States |
Johannes MeyMey, Johannes Technische Universität Dresden |
Mira MeziniMezini, Mira TU DarmstadtGermany |
Judith MichaelMichael, Judith RWTH Aachen UniversityGermany |
Marco MilaneseMilanese, Marco Dipartimento di Matematica, University of Padova, ItalyItaly |
Gary MillerMiller, Gary University of Technology Sydney |
Heather MillerMiller, Heather Carnegie Mellon University, USA |
Todd MillsteinMillstein, Todd University of California at Los AngelesUnited States |
Anders MiltnerMiltner, Anders UT AustinUnited States |
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance |
Samim MirhosseiniMirhosseini, Samim North Carolina State University |
Solène MirliazMirliaz, Solène ENS Rennes / IRISA / InriaFrance |
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States |
Ashish MishraMishra, Ashish Purdue UniversityUnited States |
Pierre Misse-ChanabierMisse-Chanabier, Pierre University of Lille; Inria; CNRS; Centrale Lille; UMR 9189 CRIStALFrance |
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany |
Evgenii MoiseenkoMoiseenko, Evgenii JetBrains ResearchSerbia |
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance |
Shouvick MondalMondal, Shouvick IIT Gandhinagar, IndiaIndia |
David MonniauxMonniaux, David Grenoble Alps University / CNRS / Grenoble INP / VERIMAG |
David MoonMoon, David University of Michigan |
Marcel MoosbruggerMoosbrugger, Marcel TU WienAustria |
Angelica MoreiraMoreira, Angelica Federal University of Minas GeraisBrazil |
Sosuke MoriguchiMoriguchi, Sosuke Tokyo Institute of TechnologyJapan |
Karla MorrisMorris, Karla Sandia National Laboratories |
Magnus MortonMorton, Magnus HuaweiUnited Kingdom |
Raphael MosanerMosaner, Raphael JKU LinzAustria |
Peter D. MossesMosses, Peter D. Swansea University and Delft University of TechnologyNetherlands |
Jean-Marie MottuMottu, Jean-Marie IMT Atlantique; Nantes Université; École Centrale NantesFrance |
Sujit Kumar MuduliMuduli, Sujit Kumar IIT KanpurIndia |
Ryoya MukaiMukai, Ryoya The University of TokyoJapan |
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands |
Ankan MullickMullick, Ankan IIT Kharagpur |
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States |
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom |
Anders MøllerMøller, Anders Aarhus UniversityDenmark |
Birger Møller-PedersenMøller-Pedersen, Birger University of OsloNorway |
Peter MüllerMüller, Peter ETH ZurichSwitzerland |
Maximilian MünkerMünker, Maximilian RWTH Aachen UniversityGermany |
Matthias NadenauNadenau, Matthias RWTH Aachen UniversityGermany |
Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States |
Robert NagelNagel, Robert University of Illinois at Urbana-ChampaignUnited States |
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany |
Roberto NardoneNardone, Roberto University of Naples "Parthenope" |
Nina NarodytskaNarodytska, Nina VMware ResearchUnited States |
Carlos Diego Nascimento DamascenoNascimento Damasceno, Carlos Diego Radboud University Nijmegen, NetherlandsNetherlands |
Joseph P. NearNear, Joseph P. University of VermontUnited States |
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy |
Tim NelsonNelson, Tim Brown UniversityUnited States |
Nicholas NethercoteNethercote, Nicholas Futurewei Technologies |
Rumyana NeykovaNeykova, Rumyana Brunel University London |
Jens NicolayNicolay, Jens Vrije Universiteit BrusselBelgium |
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany |
Abel NietoNieto, Abel Aarhus UniversityDenmark |
James NobleNoble, James Research & ProgrammingNew Zealand |
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology |
Thomas NollNoll, Thomas RWTH Aachen UniversityGermany |
Vesna NowackNowack, Vesna Imperial College LondonUnited Kingdom |
Liam O'ConnorO'Connor, Liam University of EdinburghUnited Kingdom |
Peter W. O'HearnO'Hearn, Peter W. Meta; University College LondonUnited Kingdom |
Bjarno OeyenOeyen, Bjarno Vrije Universiteit BrusselBelgium |
Kazuhiro OgataOgata, Kazuhiro Japan Advanced Institute of Science and Technology |
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea |
Yoshiki OhshimaOhshima, Yoshiki Croquet Corporation, Shizuoka UniversityJapan |
Oluwakemi OlaOla, Oluwakemi University of British ColumbiaCanada |
Carlos OlarteOlarte, Carlos CNRS; LIPN; Université Sorbonne Paris NordFrance |
Anderson OliveiraOliveira, Anderson PUC-RioBrazil |
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina |
Luca OlivieriOlivieri, Luca University of Verona, Corvallis S.r.l.Italy |
Dan OlteanuOlteanu, Dan University of ZurichSwitzerland |
Cyrus OmarOmar, Cyrus University of MichiganUnited States |
Radoslav OrlovOrlov, Radoslav RWTH Aachen University |
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States |
Klaus OstermannOstermann, Klaus University of Tübingen |
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance |
Oded PadonPadon, Oded VMware ResearchUnited States |
Shankara PailoorPailoor, Shankara University of Texas at AustinUnited States |
Catuscia PalamidessiPalamidessi, Catuscia INRIA and LIX |
Krishna PalemPalem, Krishna Rice UniversityUnited States |
Matteo PaltenghiPaltenghi, Matteo University of Stuttgart, GermanyGermany |
Sebastien PalumbyPalumby, Sebastien Ecole Polytechnique |
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States |
Sheng-Ying PaoPao, Sheng-Ying National Tsing Hua UniversityTaiwan |
Michail PapadimitriouPapadimitriou, Michail OctoMLUnited Kingdom |
Chris ParninParnin, Chris North Carolina State UniversityUnited States |
Bryan ParnoParno, Bryan Carnegie Mellon University, USA |
Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance |
Marco PatrignaniPatrignani, Marco University of TrentoItaly |
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States |
Daniel A. A. PelsmaekerPelsmaeker, Daniel A. A. Delft University of Technology, NetherlandsNetherlands |
Yuxiang PengPeng, Yuxiang University of MarylandUnited States |
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and Technology |
Judith PereraPerera, Judith University of AucklandNew Zealand |
Ahsan PervaizPervaiz, Ahsan University of ChicagoUnited States |
Laure PetrucciPetrucci, Laure CNRS; LIPN; Université Sorbonne Paris NordFrance |
Tobias PettPett, Tobias TU BraunschweigGermany |
Lucas PeñaPeña, Lucas University of Illinois at Urbana-ChampaignUnited States |
Siraphob PhipathananunthPhipathananunth, Siraphob Vanderbilt UniversityUnited States |
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo Google ResearchUnited States |
David PichardiePichardie, David MetaFrance |
Lauren PickPick, Lauren University of Wisconsin-Madison and University of California, BerkeleyUnited States |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States |
Jared PincusPincus, Jared Stevens Institute of TechnologyUnited States |
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States |
Anton PodkopaevPodkopaev, Anton JetBrains ResearchRussia |
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States |
Guillermo PolitoPolito, Guillermo Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStALFrance |
Joe Gibbs PolitzPolitz, Joe Gibbs University of California at San DiegoUnited States |
Samuel D. PollardPollard, Samuel D. Sandia National LaboratoriesUnited States |
Hernán Ponce de LeónPonce de León, Hernán Huawei Dresden Research CenterGermany |
Adrian PopPop, Adrian Linköping UniversitySweden |
Alex PotaninPotanin, Alex Australian National UniversityAustralia |
Hannah PotterPotter, Hannah University of WashingtonUnited States |
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA |
Marc PouzetPouzet, Marc École normale supérieure |
Conor PowerPower, Conor University of California at BerkeleyUnited States |
Michael PradelPradel, Michael University of StuttgartGermany |
Kai-Oliver ProttPrott, Kai-Oliver University of Kiel, GermanyGermany |
Rahul PurandarePurandare, Rahul IIIT DelhiIndia |
Sylvie PutotPutot, Sylvie École Polytechnique |
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance |
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands |
George PîrleaPîrlea, George National University of Singapore, Singapore |
Zhemin QuQu, Zhemin University of Michigan at Ann ArborUnited States |
Jenny QuillienQuillien, Jenny Independent ScholarNetherlands |
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States |
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States |
Sarnath RamnathRamnath, Sarnath St. Cloud State UniversityUnited States |
Francesco RanzatoRanzato, Francesco University of PadovaItaly |
Moeketsi RaselimoRaselimo, Moeketsi Stellenbosch University, South AfricaSouth Africa |
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia |
Blake C. RawlingsRawlings, Blake C. Sandia National Laboratories |
Steve ReevesReeves, Steve University of WaikatoNew Zealand |
Baber RehmanRehman, Baber University of Hong Kong |
Christoph ReichenbachReichenbach, Christoph Lund UniversitySweden |
Alastair ReidReid, Alastair Arm LtdUnited Kingdom |
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States |
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States |
Alban ReynaudReynaud, Alban ENS LyonFrance |
Manuel RiggerRigger, Manuel National University of SingaporeSingapore |
Anton Risberg AlakülaRisberg Alaküla, Anton Lund UniversitySweden |
Nico RitschelRitschel, Nico University of British ColumbiaCanada |
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance |
Christine RizkallahRizkallah, Christine University of MelbourneAustralia |
Humberto Rodriguez AvilaRodriguez Avila, Humberto Vrije Universiteit BrusselBelgium |
Markus RoggenbachRoggenbach, Markus Swansea University, Swansea, UK |
Théo RoglianoRogliano, Théo University of Lille; Inria; CNRS; Centrale Lille; UMR 9189 CRIStALFrance |
Tiark RompfRompf, Tiark Purdue UniversityUnited States |
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany |
Arjen RouvoetRouvoet, Arjen Delft University of TechnologyNetherlands |
Sudip RoyRoy, Sudip Cohere.aiUnited States |
Michaël ROYNARDROYNARD, Michaël EPITA Research LaboratoryFrance |
Bernhard RumpeRumpe, Bernhard RWTH Aachen UniversityGermany |
Louis RustenholzRustenholz, Louis Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain |
Fredrik RømmingRømming, Fredrik University of OsloNorway |
Andrei SabelfeldSabelfeld, Andrei Chalmers University of TechnologySweden |
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University and Nat. Tech. Univ. of AthensSweden |
Ryuichi SaiSai, Ryuichi Rice UniversityUnited States |
Ken SakayoriSakayori, Ken University of BolognaItaly |
Georgios SakkasSakkas, Georgios University of California at San DiegoUnited States |
Leila SalemSalem, Leila University of TorontoCanada |
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland |
Michael SammlerSammler, Michael MPI-SWSGermany |
Alex Sanchez-SternSanchez-Stern, Alex University of Massachusetts at AmherstUnited States |
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States |
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil |
Pranesh SantikellurSantikellur, Pranesh Technology Innovation Institute (TII), Abu Dhabi, UAEUnited Arab Emirates |
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States |
Igor Moreno SantosSantos, Igor Moreno USI LuganoSwitzerland |
Isao SasanoSasano, Isao Shibaura Institute of TechnologyJapan |
Ryosuke SatoSato, Ryosuke University of Tokyo, JapanJapan |
Shigeyuki SatoSato, Shigeyuki University of TokyoJapan |
Charitha SaumyaSaumya, Charitha Purdue UniversityUnited States |
Max SchaeferSchaefer, Max GitHub, Inc.United Kingdom |
Filippo SchiavioSchiavio, Filippo USI LuganoSwitzerland |
Maximilian SchiedermeierSchiedermeier, Maximilian McGill UniversityCanada |
Daniel SchoepeSchoepe, Daniel AmazonUnited Kingdom |
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium |
Bernhard ScholzScholz, Bernhard University of SydneyAustralia |
Bernhard ScholzScholz, Bernhard The University of Sydney |
Bernhard ScholzScholz, Bernhard University of SydneyAustralia |
Bernhard ScholzScholz, Bernhard The University of Sydney |
Bernhard ScholzScholz, Bernhard University of SydneyAustralia |
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern DenmarkDenmark |
Philipp SchusterSchuster, Philipp University of Tübingen |
Peter SchwabeSchwabe, Peter Max Planck Institute for Security and PrivacyGermany |
Michael SchwarzSchwarz, Michael Technische Universität München |
Ulrich SchöppSchöpp, Ulrich fortiss GmbHGermany |
Elizabeth ScottScott, Elizabeth Royal Holloway University of London |
Helmut SeidlSeidl, Helmut Technische Universität München |
Martina SeidlSeidl, Martina Johannes Kepler University LinzAustria |
Klara SeitzSeitz, Klara University of Potsdam; Hasso Plattner InstituteGermany |
Benjamin Selwyn-SmithSelwyn-Smith, Benjamin Oracle Labs |
Srinivasan H. SengameduSengamedu, Srinivasan H. AmazonUnited States |
Benjamin SepanskiSepanski, Benjamin The University of Texas at Austin |
Manuel SerranoSerrano, Manuel Inria; University of Côte d'AzurFrance |
Peter SewellSewell, Peter University of CambridgeUnited Kingdom |
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Mahmood SharifSharif, Mahmood Tel Aviv UniversityIsrael |
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore |
Pranjal SharmaSharma, Pranjal University of Michigan at Ann ArborUnited States |
Mary ShawShaw, Mary Carnegie Mellon UniversityUnited States |
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology |
Pranav ShenoyShenoy, Pranav University of UtahUnited States |
David C. ShepherdShepherd, David C. Virginia Commonwealth UniversityUnited States |
Elena ShermanSherman, Elena Boise State UniversityUnited States |
Yuanfeng ShiShi, Yuanfeng Peking UniversityChina |
Tigist ShiferawShiferaw, Tigist Addis Ababa Institute of TechnologyEthiopia |
Avraham ShinnarShinnar, Avraham IBM ResearchUnited States |
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael |
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance |
Violetta SimSim, Violetta Innopolis UniversityUzbekistan |
Jerome SimeonSimeon, Jerome DocuSign, Inc.United States |
David SirkinSirkin, David Stanford UniversityUnited States |
Aishwarya SivaramanSivaraman, Aishwarya University of California at Los AngelesUnited States |
Vilhelm SjöbergSjöberg, Vilhelm CertiKUnited States |
Alex SloleySloley, Alex Agile TwistAustralia |
Sally SloleySloley, Sally Visual Agile ManagementAustralia |
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece |
Calvin SmithSmith, Calvin University of Texas AustinUnited States |
Jaclyn SmithSmith, Jaclyn Oxford UniversityUnited Kingdom |
Jeff SmitsSmits, Jeff Delft University of TechnologyNetherlands |
Gustavo SoaresSoares, Gustavo MicrosoftUnited States |
Fu SongSong, Fu ShanghaiTech UniversityChina |
Jiaxin SongSong, Jiaxin Shanghai Jiao Tong UniversityChina |
Linhai SongSong, Linhai Pennsylvania State UniversityUnited States |
Ryan SongSong, Ryan University of TorontoCanada |
Yahui SongSong, Yahui National University of SingaporeSingapore |
Jonas SpengerSpenger, Jonas KTH Royal Institute of TechnologySweden |
Diomidis SpinellisSpinellis, Diomidis Athens University of Economics and Business; Delft University of TechnologyGreece |
Manu SridharanSridharan, Manu University of California at RiversideUnited States |
Caleb StanfordStanford, Caleb University of California, Davis |
Miroslav StankovičStankovič, Miroslav TU WienAustria |
Adam SteinStein, Adam University of Pennsylvania |
Benno SteinStein, Benno Meta; University of Colorado BoulderUnited Kingdom |
Michel SteuwerSteuwer, Michel University of EdinburghUnited Kingdom |
Jan StrejcekStrejcek, Jan Masaryk UniversityCzechia |
Daniel StrüberStrüber, Daniel Chalmers | University of Gothenburg / Radboud UniversitySweden |
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland |
Sangho SuhSuh, Sangho University of California, San DiegoUnited States |
Yulei SuiSui, Yulei University of New South Wales, SydneyAustralia |
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada |
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada |
Jing SunSun, Jing School of Computer Science, University of AucklandNew Zealand |
Zhihang SunSun, Zhihang Tsinghua UniversityChina |
Kirshanthan SundararajahSundararajah, Kirshanthan Purdue UniversityUnited States |
Chico SundermannSundermann, Chico University of UlmGermany |
Gerson SunyéSunyé, Gerson IMT Atlantique; Nantes Université; École Centrale NantesFrance |
Gerson SunyéSunyé, Gerson University of NantesFrance |
Zachary SusagSusag, Zachary Cornell UniversityUnited States |
Partha SusarlaSusarla, Partha IndependentAustralia |
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands |
Juan Pablo SáenzSáenz, Juan Pablo Politecnico di TorinoItaly |
Marcel TaeumelTaeumel, Marcel University of Potsdam; Hasso Plattner InstituteGermany |
Sofiene TaharTahar, Sofiene Concordia UniversityCanada |
Ruby TahboubTahboub, Ruby University of Illinois, Urbana-ChampainUnited States |
Carolyn TalcottTalcott, Carolyn SRI International |
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan |
Wensheng TangTang, Wensheng Hong Kong University of Science and TechnologyChina |
Steven L. TanimotoTanimoto, Steven L. University of Washington, USA |
Hanneli TavanteTavante, Hanneli McGill University |
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan |
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States |
Theodoros TheodoridisTheodoridis, Theodoros ETH ZurichSwitzerland |
Peter ThiemannThiemann, Peter University of Freiburg, Germany |
Sverrir ThorgeirssonThorgeirsson, Sverrir ETH ZurichSwitzerland |
Thomas ThümThüm, Thomas University of UlmGermany |
Clemens TiedtTiedt, Clemens University of Potsdam; Hasso Plattner InstituteGermany |
Amin TimanyTimany, Amin Aarhus UniversityDenmark |
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States |
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States |
Ashish TiwariTiwari, Ashish MicrosoftUnited States |
Guillaume TochonTochon, Guillaume EPITA Research LaboratoryFrance |
Federico TomassettiTomassetti, Federico CEO at StrumentaItaly |
Bernardo ToninhoToninho, Bernardo NOVA-LINCS; Nova University of LisbonPortugal |
Van-Dang TranTran, Van-Dang National Institute of Informatics, Japan |
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom |
Richard TreflerTrefler, Richard University of Waterloo, Canada |
Konstantinos TriantafyllouTriantafyllou, Konstantinos ETH Zurich |
Danilo TrottaTrotta, Danilo RWTH Aachen UniversityGermany |
Michele TucciTucci, Michele Charles UniversityCzechia |
Petr TumaTuma, Petr Charles UniversityCzechia |
Alexi TurcotteTurcotte, Alexi Northeastern UniversityUnited States |
Sota UenoUeno, Sota Oita UniversityJapan |
Shubham UgareUgare, Shubham University of Illinois at Urbana-ChampaignUnited States |
Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan |
Qurat Ul Ain AliUl Ain Ali, Qurat University of YorkUnited Kingdom |
Hiroshi UnnoUnno, Hiroshi University of Tsukuba; RIKEN AIPJapan |
Marco Tulio ValenteValente, Marco Tulio Federal University of Minas Gerais, Brazil |
Hendrik van Antwerpenvan Antwerpen, Hendrik Delft University of TechnologyNetherlands |
L. Thomas van Binsbergenvan Binsbergen, L. Thomas University of AmsterdamNetherlands |
Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium |
Bas van den Heuvelvan den Heuvel, Bas University of GroningenNetherlands |
Cas van der Restvan der Rest, Cas Delft University of TechnologyNetherlands |
Tijs van der Stormvan der Storm, Tijs CWI; University of GroningenNetherlands |
Sören van der Wallvan der Wall, Sören PhD StudentGermany |
Phillip van Heerdenvan Heerden, Phillip Stellenbosch University |
Riemer van Rozenvan Rozen, Riemer CWINetherlands |
Louise Van VerreVan Verre, Louise Vrije Universiteit BrusselBelgium |
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States |
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal |
Mandana VaziriVaziri, Mandana IBM Research |
Niki VazouVazou, Niki IMDEA Software Institute |
Andreas VenerisVeneris, Andreas University of TorontoCanada |
Didier VernaVerna, Didier EPITA Research LaboratoryFrance |
Jules VillardVillard, Jules MetaUnited Kingdom |
Jurgen VinjuVinju, Jurgen CWI; Eindhoven University of TechnologyNetherlands |
Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna |
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands |
Sandhya ViswanathanViswanathan, Sandhya Intel |
Finn VoichickVoichick, Finn University of MarylandUnited States |
Philippe VoinovVoinov, Philippe ETH ZurichSwitzerland |
Louis WachtmeisterWachtmeister, Louis RWTH Aachen UniversityGermany |
Gabriel A. WainerWainer, Gabriel A. Carleton UniversityCanada |
Chenglong WangWang, Chenglong Microsoft Researchn.n. |
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina |
Jingbo WangWang, Jingbo University of Southern California |
Mingzhe WangWang, Mingzhe Princeton UniversityUnited States |
Xinyu WangWang, Xinyu University of MichiganUnited States |
Yongchao WANGWANG, Yongchao Hong Kong University of Science and TechnologyChina |
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada |
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan |
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan |
Yasunari WatanabeWatanabe, Yasunari AhrefsSingapore |
Radosław WaśkoWaśko, Radosław University of WarsawPoland |
Nick WebsterWebster, Nick Victoria University of Wellington |
Ran WeiWei, Ran Dalian University of TechnologyChina |
Yuxiang WeiWei, Yuxiang Tongji UniversityChina |
Theo B. WeidmannWeidmann, Theo B. ETH ZurichSwitzerland |
Matthew WeidnerWeidner, Matthew Carnegie Mellon UniversityUnited States |
Westley WeimerWeimer, Westley University of MichiganUnited States |
Matthew Edwin WeingartenWeingarten, Matthew Edwin ETH Zurich; Oracle LabsSwitzerland |
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland |
Scott WesleyWesley, Scott University of Waterloo, Canada |
Thomas WiesWies, Thomas New York UniversityUnited States |
Christian WimmerWimmer, Christian Oracle LabsUnited States |
Manuel WimmerWimmer, Manuel JKU LinzAustria |
Tobias WinklerWinkler, Tobias RWTH Aachen UniversityGermany |
Sebastian WolffWolff, Sebastian New York UniversityUnited States |
Dakota WongWong, Dakota University of Waterloo |
Andreas WortmannWortmann, Andreas University of Stuttgart |
Valentin WüstholzWüstholz, Valentin ConsenSysGermany |
Ningning XieXie, Ningning University of TorontoCanada |
Yingfei XiongXiong, Yingfei Peking UniversityChina |
Chuangjie XuXu, Chuangjie fortiss GmbHGermany |
Yichen XuXu, Yichen Beijing University of Posts and TelecommunicationsChina |
Tetsuro YamazakiYamazaki, Tetsuro University of TokyoJapan |
Peng YanYan, Peng University of Technology SydneyAustralia |
Pengbo YanYan, Pengbo University of MelbourneAustralia |
Pengbo YanYan, Pengbo University of Melbourne |
Rem YangYang, Rem University of Illinois at Urbana-ChampaignUnited States |
Sen YangYang, Sen Fudan University |
Yao Hsiang YangYang, Yao Hsiang Rice UniversityUnited States |
Ziyi YangYang, Ziyi National University of SingaporeSingapore |
Peisen YaoYao, Peisen Hong Kong University of Science and TechnologyChina |
Qianchuan YeYe, Qianchuan Purdue UniversityUnited States |
Akihiko YokoyamaYokoyama, Akihiko Tokyo Institute of TechnologyJapan |
Man-Ki YoonYoon, Man-Ki Yale UniversityUnited States |
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom |
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States |
zhiyong yuyu, zhiyong Shanghai Jiao Tong UniversityChina |
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States |
Foivos S. ZakkakZakkak, Foivos S. Red Hat, Inc. |
Vadim ZaytsevZaytsev, Vadim University of Twente, NetherlandsNetherlands |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina |
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States |
Linpeng ZhangZhang, Linpeng University College LondonUnited Kingdom |
Michael K. ZhangZhang, Michael K. Purdue University |
Min ZhangZhang, Min East China Normal UniversityChina |
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States |
Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States |
Yedi ZhangZhang, Yedi ShanghaiTech UniversityChina |
Yicheng ZhangZhang, Yicheng University of Michigan at Ann ArborUnited States |
Yuhao ZhangZhang, Yuhao University of Wisconsin-MadisonUnited States |
Tian ZhaoZhao, Tian University of Wisconsin-MilwaukeeUnited States |
Zhe ZhaoZhao, Zhe ShanghaiTech UniversityChina |
Zihan ZhaoZhao, Zihan University of TorontoCanada |
Yuyi ZhongZhong, Yuyi National University of SingaporeSingapore |
Litao ZhouZhou, Litao Shanghai Jiao Tong UniversityChina |
Yaoda ZhouZhou, Yaoda University of Hong KongChina |
Fengmin ZhuZhu, Fengmin MPI-SWSGermany |
He ZhuZhu, He Rutgers University, USA |
Shuofei ZhuZhu, Shuofei Pennsylvania State UniversityUnited States |
Steffen ZschalerZschaler, Steffen King's College LondonUnited Kingdom |
Aron ZwaanZwaan, Aron Delft University of TechnologyNetherlands |