POPL 2024 Contributors
Filter
Role Type
Committee member
Contributor/Author
Session chair
Contributing to
CPP
CoqPL
Dafny
GALOP
Incorrectness
LAFI
N40AI
O'Hearn Fest
PADL
PEPM
PLMW @ POPL
PLanQC
POCL
POPL
PROPL
PriSC
The Future of Weak Memory
VMCAI
WAW
WITS
Number of Roles
1..3
4..6
7..9
10 or more
Country
-unspecified-
Argentina
Australia
Austria
Belgium
Brazil
Canada
China
Denmark
Estonia
Finland
France
Germany
Greece
Hong Kong
India
Iran
Ireland
Israel
Italy
Japan
Lithuania
Netherlands
New Zealand
Poland
Portugal
Russia
Serbia
Singapore
South Korea
Spain
Sweden
Switzerland
Taiwan
Turkey
Ukraine
United Arab Emirates
United Kingdom
United States
Search
Results (1143)
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, SwedenSweden |
Supun AbeysingheAbeysinghe, Supun Purdue UniversityUnited States |
Vytautas AbramaviciusAbramavicius, Vytautas PASQAL SAS |
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityUnited States |
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance |
Nate AckermanAckerman, Nate Harvard University |
Andy Adams-MoranAdams-Moran, Andy MetaUnited Kingdom |
Sharan AgrawalAgrawal, Sharan University of Cambridge, UK |
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark |
Amal AhmedAhmed, Amal Northeastern University, USAUnited States |
Benedikt AhrensAhrens, Benedikt Delft University of TechnologyNetherlands |
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States |
Aurore AlcoleiAlcolei, Aurore INRIA RennesFrance |
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States |
Jade AlglaveAlglave, Jade Arm and University College LondonUnited Kingdom |
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom |
Ricardo AlmeidaAlmeida, Ricardo University of Edinburgh |
Anoud AlshnakatAlshnakat, Anoud KTH Royal Institute of Technology |
Thorsten AltenkirchAltenkirch, Thorsten University of Nottingham |
Mario AlvianoAlviano, Mario University of CalabriaItaly |
Nicolas AmatAmat, Nicolas LAAS-CNRSFrance |
Danilo AmendolaAmendola, Danilo Oliveru - Smartly Engineering |
Abhishek AnandAnand, Abhishek BedRock SystemsUnited States |
Cezar-Constantin AndriciAndrici, Cezar-Constantin MPI-SPGermany |
Étienne AndréAndré, Étienne Université Sorbonne Paris Nord; LIPN; CNRSFrance |
Zhendong AngAng, Zhendong National University of Singapore |
Carlo AngiuliAngiuli, Carlo Indiana UniversityUnited States |
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance |
Joaquín AriasArias, Joaquín Universidad Rey Juan CarlosSpain |
Jatin AroraArora, Jatin Carnegie Mellon UniversityUnited States |
Lyes AttoucheAttouche, Lyes Université Paris-Dauphine -- PSL |
Lennart AugustssonAugustsson, Lennart Epic Games |
Jeremy AvigadAvigad, Jeremy Carnegie Mellon University, USA |
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom |
Jon AytacAytac, Jon Sandia National Laboratories |
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited States |
Casper BachBach, Casper Delft University of TechnologyNetherlands |
Jakub BachurskiBachurski, Jakub University of CambridgePoland |
Michael BackesBackes, Michael Cispa Helmholtz Center for Information Security |
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark |
A. R. BalasubramanianBalasubramanian, A. R. Technical University of Munich |
Teodoro BaldazziBaldazzi, Teodoro Università degli Studi Roma Tre |
Marcello BalducciniBalduccini, Marcello Saint Joseph's University, USA |
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States |
Alexander BandukwalaBandukwala, Alexander Unaffiliated |
Rini BanerjeeBanerjee, Rini University of CambridgeUnited Kingdom |
Suguman BansalBansal, Suguman Georgia Institute of Technology, USAUnited States |
Yuyan BaoBao, Yuyan Augusta UniversityUnited States |
Joachim BardBard, Joachim CISPA Helmholtz Center for Information SecurityGermany |
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance |
Lara BargmannBargmann, Lara University of Oldenburg |
Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States |
Clark BarrettBarrett, Clark Stanford UniversityUnited States |
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland |
Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany |
Ezio BartocciBartocci, Ezio Technische Universität WienAustria |
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States |
Mark BattyBatty, Mark University of KentUnited Kingdom |
Kevin BatzBatz, Kevin RWTH Aachen UniversityGermany |
Thomas BauereissBauereiss, Thomas University of Cambridge |
Mireia González BedmarBedmar, Mireia González University of Barcelona and Formal Vindications S.L. |
Luigi BellomariniBellomarini, Luigi Banca d'Italia |
Benjamin BennetzenBennetzen, Benjamin Department of Computer Science, Aalborg University |
Josh BerdineBerdine, Josh SkipLabsUnited Kingdom |
George BerdovskiyBerdovskiy, George University of California, Davis |
Daniil BerezunBerezun, Daniil JetBrains Research; Constructor University BremenNetherlands |
Pascal BergsträßerBergsträßer, Pascal University of Kaiserslautern-LandauGermany |
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States |
Quentin BerthetBerthet, Quentin Google DeepMind |
Nathalie BertrandBertrand, Nathalie INRIA Rennes |
Dariusz BiernackiBiernacki, Dariusz University of WrocławPoland |
Tom BiskupBiskup, Tom RWTH Aachen University, Germany |
Joydeep BiswasBiswas, Joydeep The University of Texas at Austin |
Sandrine BlazyBlazy, Sandrine University of RennesFrance |
Andrew BlinnBlinn, Andrew University of MichiganUnited States |
Pauline BlohmBlohm, Pauline Uni MünsterGermany |
Lison Blondeau-PatissierBlondeau-Patissier, Lison LIS & I2M, Aix-Marseille UniversitéFrance |
Laura BocchiBocchi, Laura University of KentUnited Kingdom |
Stefan BodenmüllerBodenmüller, Stefan University of AugsburgGermany |
Mikolaj BojanczykBojanczyk, Mikolaj Warsaw University |
Sylvie BoldoBoldo, Sylvie Inria and Université Paris-SaclayFrance |
Joe BondBond, Joe University of Bristol, UK |
Michele BorealeBoreale, Michele Università di FirenzeItaly |
Peio BorthelleBorthelle, Peio Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, LAMA, 73000 ChambéryFrance |
Luca BortolussiBortolussi, Luca Department of Mathematics and Geosciences, University of Trieste |
Gert-Jan BothBoth, Gert-Jan PASQAL SAS |
Nicola BottaBotta, Nicola Potsdam Institute for Climate Impact Research (PIK) |
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance |
Maddy BowersBowers, Maddy Massachusetts Institute of TechnologyUnited States |
William J. BowmanBowman, William J. University of British ColumbiaCanada |
Marius BozgaBozga, Marius CNRS; Université Grenoble AlpesFrance |
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany |
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom |
Franz BrausseBrausse, Franz The University of Manchester |
Oliver BračevacBračevac, Oliver Galois, Inc.United States |
Christopher BrixBrix, Christopher RWTH Aachen University |
Stefan BrunthalerBrunthaler, Stefan Bundeswehr University MunichGermany |
Alex Buna-MargineanBuna-Marginean, Alex University of Oxford |
Benedict BuntingBunting, Benedict University of OxfordUnited Kingdom |
Matteo BusiBusi, Matteo University Ca' Foscari, VeniceItaly |
Joaquim Casals BuñuelBuñuel, Joaquim Casals University of Barcelona and Formal Vindications S.L. |
Twain ByrnesByrnes, Twain Carnegie Mellon UniversityUnited States |
Lucas BöltzBöltz, Lucas Univerity of KoblenzGermany |
Francesco CalimeriCalimeri, Francesco University of Calabria |
Marco CampionCampion, Marco INRIA & École Normale Supérieure | Université PSLFrance |
Filip Cano CórdobaCano Córdoba, Filip Technical University of Graz |
Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina |
Manuel CarroCarro, Manuel IMDEA Software Institute and T.U. of Madrid (UPM)Spain |
Giuseppe CastagnaCastagna, Giuseppe CNRS; Université Paris CitéFrance |
Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States |
Emmanuel ChaillouxChailloux, Emmanuel UPMC, France |
Tej ChajedChajed, Tej UW-MadisonUnited States |
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom |
Jonathan ChanChan, Jonathan University of PennsylvaniaCanada |
Kostia ChardonnetChardonnet, Kostia Università di BolognaItaly |
Nicolas ChataingChataing, Nicolas ENS Paris |
Agnishom ChattopadhyayChattopadhyay, Agnishom Rice University |
Chun Yin ChauChau, Chun Yin HKUST (The Hong Kong University of Science and Technology) |
Isha ChaudharyChaudhary, Isha Univ of Illinois Urbana-Champaign |
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) University of Texas at AustinUnited States |
Taolue ChenChen, Taolue University of LondonUnited Kingdom |
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States |
Yuqi ChenChen, Yuqi ShanghaiTech University, ChinaChina |
Francesco ChiarielloChiariello, Francesco University of Naples Federico II |
David ChisnallChisnall, David SCI SemiconductorUnited Kingdom |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Ezequiel CimadevillaCimadevilla, Ezequiel Instituto de Fisica de Cantabria |
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly |
Stefan CiobacaCiobaca, Stefan Alexandru Ioan Cuza University of Iasi |
Pierre ClairambaultClairambault, Pierre CNRS & LIS, Aix-Marseille UniversitéFrance |
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States |
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands |
Liron CohenCohen, Liron Ben-Gurion University of the NegevIsrael |
Dario ColazzoColazzo, Dario Université Paris-Dauphine -- PSL |
Andrea ColledanColledan, Andrea University of Bologna & INRIA Sophia Antipolis |
Luisa CollodiCollodi, Luisa University of FlorenceItaly |
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan |
Breandan ConsidineConsidine, Breandan McGill UniversityCanada |
Breandan ConsidineConsidine, Breandan McGill UniversityCanada |
Évelyne ContejeanContejean, Évelyne CNRS, ENS Paris-Saclay & Université Paris-Saclay |
Simon CookseyCooksey, Simon NVIDIAUnited Kingdom |
Lucas C. CordeiroCordeiro, Lucas C. University of Manchester, UKUnited Kingdom |
Stefania CostantiniCostantini, Stefania Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila |
Andreea CosteaCostea, Andreea National University of SingaporeSingapore |
Damien CourousséCouroussé, Damien Univ Grenoble Alpes, CEA, ListFrance |
Patrick CousotCousot, Patrick New York University |
Maria-Nicoleta CraciunCraciun, Maria-Nicoleta University of Oxford |
Will CrichtonCrichton, Will Brown UniversityUnited States |
Caroline CronjägerCronjäger, Caroline Vrije Universiteit AmsterdamNetherlands |
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania |
John CyphertCyphert, John University of Wisconsin-Madison, USA |
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly |
Silvano DAL ZILIODAL ZILIO, Silvano LAAS-CNRSFrance |
Michael DalesDales, Michael University of Cambridge, UK |
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly |
Hoang-Hai DangDang, Hoang-Hai BedRock SystemsGermany |
Hezi DanielDaniel, Hezi Israel Academic College in Ramat Gan |
Lesly-Ann DanielDaniel, Lesly-Ann CEA ListFrance |
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland |
Kinnari DaveDave, Kinnari Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles |
Cristina DavidDavid, Cristina University of BristolUnited Kingdom |
Ana de Almeida Borgesde Almeida Borges, Ana University of Barcelona and Formal Vindications S.L. |
María Inés de Frutos-Fernándezde Frutos-Fernández, María Inés Universidad Autónoma de Madrid |
Tom de Jongde Jong, Tom University of NottinghamUnited Kingdom |
Ulrik de Muelenaerede Muelenaere, Ulrik University of Notre Dame |
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of StrathclydeUnited Kingdom |
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium |
Folkert de Vriesde Vries, Folkert University of Groningen |
Abhishek DeDe, Abhishek University of BirminghamUnited Kingdom |
Pierpaolo DeganoDegano, Pierpaolo University of Pisa and IMT School for Advanced Studies Lucca |
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States |
Haowei DengDeng, Haowei University of Maryland at College ParkUnited States |
Yuxin DengDeng, Yuxin East China Normal UniversityChina |
Xavier DenisDenis, Xavier Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes FormellesFrance |
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States |
Jyotirmoy DeshmukhDeshmukh, Jyotirmoy University of Southern California |
Akshay Dhonthi Ramesh BabuDhonthi Ramesh Babu, Akshay Audi AGGermany |
Işıl DilligDillig, Işıl University of Texas at AustinUnited States |
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information Security |
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States |
Yuantian DingDing, Yuantian Purdue University |
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University |
Hasra DodampegamaDodampegama, Hasra University of Birmingham |
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom |
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael |
Stefanie Eva DrerupDrerup, Stefanie Eva University of MünsterGermany |
Derek DreyerDreyer, Derek MPI-SWSGermany |
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom |
Justin DuDu, Justin University of California, San DiegoUnited States |
Anand DukkipatiDukkipati, Anand University of Michigan |
Jana DunfieldDunfield, Jana Queen's University, Kingston, OntarioCanada |
Bruno DutertreDutertre, Bruno Amazon Web Services |
Alejandro Díaz-CaroDíaz-Caro, Alejandro ICC (UBA-CONICET) & UNQArgentina |
Dimitrios EconomouEconomou, Dimitrios Queen's University, CanadaCanada |
Chelsea EdmondsEdmonds, Chelsea University of SheffieldUnited Kingdom |
Paul EichlerEichler, Paul CISPA - Helmholtz Center for Information SecurityGermany |
Marcello EiermannEiermann, Marcello Utrecht UniversityNetherlands |
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom |
Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States |
Clemens EisenhoferEisenhofer, Clemens Vienna University of TechnologyAustria |
Neta EladElad, Neta Tel Aviv UniversityIsrael |
Vincent ElfvingElfving, Vincent PASQAL SAS |
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark |
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States |
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance |
Igor EngelEngel, Igor JetBrains Research; Constructor University BremenGermany |
Esra ErdemErdem, Esra Sabanci UniversityTurkey |
Joseph EremondiEremondi, Joseph University of ReginaCanada |
Julian ErhardErhard, Julian Technical University of MunichGermany |
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal |
Ran EttingerEttinger, Ran NVIDIA and Ben-Gurion University of the Negev and Israel Academic College in Ramat Gan |
Claudia FaggianFaggian, Claudia Université de Paris & CNRS |
James FairbanksFairbanks, James University of Florida |
Chris FallinFallin, Chris FastlyUnited States |
Andong FanFan, Andong HKUST (The Hong Kong University of Science and Technology)China |
Azadeh FarzanFarzan, Azadeh University of TorontoCanada |
Marco FavoritoFavorito, Marco Banca d'Italia |
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States |
Matthias FelleisenFelleisen, Matthias Northeastern UniversityUnited States |
Amy FeltyFelty, Amy University of OttawaCanada |
Nick FengFeng, Nick University of Toronto |
Xinyu FengFeng, Xinyu Nanjing University & HuaweiChina |
Kostas FerlesFerles, Kostas Veridise Inc.United States |
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal |
Francisco FerreiraFerreira, Francisco Royal Holloway, University of London |
Patrick FerrisFerris, Patrick University of Cambridge, UKUnited Kingdom |
Nathanaël FijalkowFijalkow, Nathanaël CNRS, LaBRI, and Alan Turing InstituteFrance |
Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRSFrance |
Bernd FinkbeinerFinkbeiner, Bernd CISPA Helmholtz Center for Information SecurityGermany |
Fabio FioravantiFioravanti, Fabio University of Chieti-PescaraItaly |
Matthew FlattFlatt, Matthew University of UtahUnited States |
Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States |
Alcides FonsecaFonseca, Alcides University of LisbonPortugal |
Nate FosterFoster, Nate Cornell University and Jane StreetUnited States |
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom |
Justin FrankFrank, Justin University of Maryland, College Park |
Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States |
Hadar FrenkelFrenkel, Hadar CISPA Helmholtz Center for Information SecurityGermany |
Hannes FreyFrey, Hannes University of KoblenzGermany |
Megan FrisellaFrisella, Megan Brown University |
Samantha FrohlichFrohlich, Samantha University of BristolUnited Kingdom |
Aymeric FromherzFromherz, Aymeric InriaFrance |
Daniel FruminFrumin, Daniel University of GroningenNetherlands |
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina |
Ren FukaishiFukaishi, Ren The University of TokyoJapan |
Siddhartha GadgilGadgil, Siddhartha Indian Institute of Science |
Emilio Jesús Gallego AriasGallego Arias, Emilio Jesús INRIAFrance |
Letterio GallettaGalletta, Letterio IMT School for Advanced Studies LuccaItaly |
Sankalp GambhirGambhir, Sankalp Ecole Polytechnique Federale de Lausanne (EPFL)Switzerland |
Ronald GarciaGarcia, Ronald University of British ColumbiaCanada |
Francesco GavazzoGavazzo, Francesco University of Pisa, ItalyItaly |
Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria |
Luke GeesonGeeson, Luke University College London (UCL)United Kingdom |
Adam GellerGeller, Adam Computer Science, University of British ColumbiaCanada |
Aina Linn GeorgesGeorges, Aina Linn Max Planck Institute for Software Systems (MPI-SWS) |
Jad Elkhaleq GhalayiniGhalayini, Jad Elkhaleq University of CambridgeUnited Kingdom |
Matin GhavamiGhavami, Matin Massachusetts Institute of TechnologyUnited States |
Giorgio GhelliGhelli, Giorgio Universita di Pisa |
Dan GhicaGhica, Dan HuaweiUnited Kingdom |
Silvia GhilezanGhilezan, Silvia University of Novi Sad, Mathematical Institute SASASerbia |
Alexis GhyselenGhyselen, Alexis University of Bologna |
Guillaume GirolGirol, Guillaume CEA, List, Université Paris Saclay |
Robert GlückGlück, Robert University of CopenhagenDenmark |
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong |
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States |
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States |
Kirill GolubevGolubev, Kirill University of LisbonPortugal |
Léon GondelmanGondelman, Léon Aarhus UniversityDenmark |
Georges GonthierGonthier, Georges Inria |
Akshay GopalakrishnanGopalakrishnan, Akshay McGill University |
Colin GordonGordon, Colin Drexel UniversityUnited States |
Roberta GoriGori, Roberta University of PisaItaly |
Maria I. GorinovaGorinova, Maria I. TwitterUnited Kingdom |
Alexey GotsmanGotsman, Alexey IMDEA Software InstituteSpain |
Cassandra GranadeGranade, Cassandra Dual Space Solutions, LLC |
Gabriel GrandGrand, Gabriel Massachusetts Institute of TechnologyUnited States |
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States |
Simon Oddershede GregersenGregersen, Simon Oddershede Aarhus UniversityDenmark |
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly |
Radu GrigoreGrigore, Radu FacebookUnited Kingdom |
Ronghui GuGu, Ronghui Columbia UniversityUnited States |
Roberto GuancialeGuanciale, Roberto KTH Royal Institute of TechnologySweden |
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain |
Roland GuichardGuichard, Roland PASQAL SAS |
Simon GuilloudGuilloud, Simon École Polytechnique Fédérale de LausanneSwitzerland |
Guanchen GuoGuo, Guanchen Peking UniversityChina |
Jens Oliver GutsfeldGutsfeld, Jens Oliver Westfälische Wilhelm-Universität Münster (WWU), GermanyGermany |
Armaël GuéneauGuéneau, Armaël Université Paris-Saclay - CNRS - ENS Paris-Saclay - InriaFrance |
Tobias GürtlerGürtler, Tobias Saarland University, Saarland Informatics CampusGermany |
Matthew HagueHague, Matthew Royal Holloway University of LondonUnited Kingdom |
Ernst Moritz HahnHahn, Ernst Moritz Netherlands |
Emmanuel HainryHainry, Emmanuel LORIA, Université de Lorraine |
David HarelHarel, David Weizmann Institute of Science, Israel |
Mark HarmanHarman, Mark Meta Platforms, Inc. and UCLUnited Kingdom |
Robert HarperHarper, Robert Carnegie Mellon UniversityUnited States |
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark |
Vahid HashemiHashemi, Vahid AUDI AGGermany |
Daniel HausmannHausmann, Daniel University of GothenburgSweden |
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States |
Deyuan (Mike) HeHe, Deyuan (Mike) Princeton UniversityUnited States |
Xiao HeHe, Xiao University of Science and Technology BeijingChina |
Jesko Hecking-HarbuschHecking-Harbusch, Jesko Bosch ResearchGermany |
Philippe HeimHeim, Philippe CISPA Helmholtz Center for Information Security |
Matthias HeizmannHeizmann, Matthias University of Freiburg, GermanyGermany |
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark |
Paula HerberHerber, Paula University of Munster, GermanyGermany |
Chris HeunenHeunen, Chris University of EdinburghUnited Kingdom |
Brandon HewerHewer, Brandon University of Nottingham |
Michael HicksHicks, Michael Amazon Web Services and the University of MarylandUnited States |
Kesha HietalaHietala, Kesha Amazon Web ServicesUnited States |
Daniel HillerströmHillerström, Daniel Huawei Zurich Research CenterSwitzerland |
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg Aarhus University, DenmarkDenmark |
Kengo HirataHirata, Kengo University of Edinburgh |
Nao HirokawaHirokawa, Nao Japan Advanced Institute of Science and Technology |
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States |
Tom HirschowitzHirschowitz, Tom Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 ChambéryFrance |
Peter HoefnerHoefner, Peter Australian National University |
Jochen HoenickeHoenicke, Jochen Universität FreiburgGermany |
Hossein HojjatHojjat, Hossein Tehran Institute for Advanced Studies (TeIAS)Iran |
Chih-Duo HongHong, Chih-Duo National Chengchi UniversityTaiwan |
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States |
Tyler HouHou, Tyler University of California, BerkeleyUnited States |
Emil HoulborgHoulborg, Emil IT University of Copenhagen |
Qinheping HuHu, Qinheping Amazon Web ServicesUnited States |
Zhenjiang HuHu, Zhenjiang Peking UniversityChina |
Xinyue HuangHuang, Xinyue East China Normal UniversityChina |
Xuejing HuangHuang, Xuejing University of Hong KongChina |
John HuiHui, John Columbia University, New YorkUnited States |
Marieke HuismanHuisman, Marieke University of TwenteNetherlands |
Merlin HummlHumml, Merlin Friedrich-Alexander Universität Erlangen-NürnbergGermany |
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea |
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom |
Sander HuyghebaertHuyghebaert, Sander Vrije Universiteit Brussel |
Benjamin Salling HvassHvass, Benjamin Salling Aarhus University |
Emilio IncertoIncerto, Emilio IMT School for Advanced Studies Lucca |
Daniela InclezanInclezan, Daniela Miami UniversityUnited States |
Apoorv IngleIngle, Apoorv University of IowaUnited States |
Lef IoannidisIoannidis, Lef University of PennsylvaniaUnited States |
Guilhem JaberJaber, Guilhem Nantes UniversitéFrance |
Jules JacobsJacobs, Jules Radboud University Nijmegen |
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States |
Tomi JanhunenJanhunen, Tomi Tampere UniversityFinland |
Patrik JanssonJansson, Patrik Chalmers University of Technology and University of GothenbrugSweden |
Prasad JayantiJayanti, Prasad Department of Computer Science, Dartmouth College, USA |
Siddhartha JayantiJayanti, Siddhartha Google Research |
Thomas P. JensenJensen, Thomas P. INRIA Rennes |
Artur JezJez, Artur University of Wroclaw |
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States |
Limin JiaJia, Limin Carnegie Mellon University |
Songlin JiaJia, Songlin Purdue University, USAUnited States |
Philip Johnson-FreydJohnson-Freyd, Philip Sandia National Laboratories |
Jacques-Henri JourdanJourdan, Jacques-Henri CNR, LMFFrance |
Anan KabahaKabaha, Anan Technion, Israel Institute of TechnologyIsrael |
Younesse KaddarKaddar, Younesse University of OxfordUnited Kingdom |
Jan-Oliver KaiserKaiser, Jan-Oliver BedRock Systems, MPI-SWSGermany |
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany |
Jeehoon KangKang, Jeehoon KAISTSouth Korea |
Nat KarmiosKarmios, Nat Imperial College LondonUnited Kingdom |
Jacek KarwowskiKarwowski, Jacek University of OxfordPoland |
Panagiotis KatsarosKatsaros, Panagiotis Aristotle University of ThessalonikiGreece |
Guy KatzKatz, Guy Hebrew UniversityIsrael |
Daniela KaufmannKaufmann, Daniela TU Wien |
Fuga KawamataKawamata, Fuga Waseda University |
Alperen KelesKeles, Alperen University of Maryland at College ParkUnited States |
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands |
Ariel E. KellisonKellison, Ariel E. Cornell UniversityUnited States |
Steven KeuchelKeuchel, Steven Vrije Universiteit BrusselBelgium |
Steven KeuchelKeuchel, Steven Vrije Universiteit BrusselBelgium |
Mohammad Wahiduzzaman KhanKhan, Mohammad Wahiduzzaman UL Lafayette |
Artem KhyzhaKhyzha, Artem Tel Aviv University, IsraelUkraine |
Donnacha Oisín KidneyKidney, Donnacha Oisín Imperial College LondonUnited Kingdom |
Dohan KimKim, Dohan University of Innsbruck |
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States |
Dominik KirstKirst, Dominik Ben-Gurion University of the Negev |
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia |
Vasileios KlimisKlimis, Vasileios Queen Mary University of London |
Bartek KlinKlin, Bartek University of OxfordUnited Kingdom |
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan |
Tomoaki KobayashiKobayashi, Tomoaki Tohoku UniversityJapan |
Jérémie KoenigKoenig, Jérémie Yale UniversityUnited States |
Wen KokkeKokke, Wen University of Edinburgh |
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom |
Joomy KorkutKorkut, Joomy Bloomberg LPUnited States |
Paulette KoronkevichKoronkevich, Paulette University of British Columbia |
Konstantin KorovinKorovin, Konstantin University of Manchester |
Vasileios KoutavasKoutavas, Vasileios Trinity College DublinIreland |
András KovácsKovács, András University of Gothenburg |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Jacco KrijnenKrijnen, Jacco Utrecht University |
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India |
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States |
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom |
Matthis KruseKruse, Matthis CISPA Helmholtz Center for Information SecurityGermany |
Nikolai KudasovKudasov, Nikolai Innopolis UniversityRussia |
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands |
Robert KünnemannKünnemann, Robert CISPA Helmholtz Center for Information Security |
Ralf LaemmelLaemmel, Ralf Facebook London |
Ambroise LafontLafont, Ambroise Ecole PolytechniqueFrance |
Jim LairdLaird, Jim University of BathUnited Kingdom |
Roman LakenbrinkLakenbrink, Roman University of MünsterGermany |
Christopher LamLam, Christopher University of Illinois at Urbana-ChampaignUnited States |
Peter LammichLammich, Peter The University of Manchester |
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece |
Adrienne LancelotLancelot, Adrienne Inria, LIX Ecole Polytechnique, IRIF Université Paris CitéFrance |
Vincent LaporteLaporte, Vincent IMDEA Software Institute, Spain |
Andrea LattuadaLattuada, Andrea VMware ResearchSwitzerland |
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States |
Mickaël LaurentLaurent, Mickaël Université Paris Cité / IRIFFrance |
Alan LawrenceLawrence, Alan Quantinuum |
Didier Le BotlanLe Botlan, Didier LAAS-CNRS, INSA-ToulouseFrance |
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States |
Louis LemonnierLemonnier, Louis Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles |
Meven Lennon-BertrandLennon-Bertrand, Meven University of CambridgeUnited Kingdom |
Rodolphe LepigreLepigre, Rodolphe BedRock SystemsGermany |
Xavier LeroyLeroy, Xavier Collège de FranceFrance |
Martin LesterLester, Martin University of ReadingUnited Kingdom |
Reese LevineLevine, Reese University of California at Santa CruzUnited States |
Alexander K. LewLew, Alexander K. Massachusetts Institute of TechnologyUnited States |
Bohan LiLi, Bohan State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, Beijing, ChinaChina |
Guanyan LiLi, Guanyan University of Oxford |
Jianwen LiLi, Jianwen East China Normal University, ChinaChina |
Xiang LiLi, Xiang University of Michigan, Ann ArborUnited States |
Yao LiLi, Yao Portland State UniversityUnited States |
Yishuai LiLi, Yishuai Alibaba GroupChina |
Yongkang LiLi, Yongkang East China Normal UniversityChina |
Chencheng LiangLiang, Chencheng Uppsala UniversitySweden |
Hongjin LiangLiang, Hongjin Nanjing UniversityChina |
Anthony Widjaja LinLin, Anthony Widjaja TU Kaiserslautern; MPI-SWSGermany |
Yu-Yang LinLin, Yu-Yang Queen Mary University of London |
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom |
Pengyu LiuLiu, Pengyu Tsinghua University |
Si LiuLiu, Si ETH ZurichSwitzerland |
Xulei LiuLiu, Xulei Delft University of TechnologyNetherlands |
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States |
Yiyun LiuLiu, Yiyun University of Pennsylvania |
Zongyuan LiuLiu, Zongyuan Aarhus UniversityDenmark |
Francesco LogozzoLogozzo, Francesco FacebookUnited States |
Giuseppe LomurnoLomurno, Giuseppe University of Pisa, Italy |
Rana LullaLulla, Rana University of California San Diego |
Andreas LööwLööw, Andreas Imperial College London |
Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom |
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States |
Assia MahboubiMahboubi, Assia INRIAFrance |
Rupak MajumdarMajumdar, Rupak MPI-SWSGermany |
Petar MaksimovićMaksimović, Petar Imperial College London, UK |
Gregory MalechaMalecha, Gregory BedRock SystemsUnited States |
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States |
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States |
William ManskyMansky, William University of Illinois ChicagoUnited States |
Luc MarangetMaranget, Luc InriaFrance |
Louis Marott NormannMarott Normann, Louis University of CopenhagenDenmark |
Lina MarssoMarsso, Lina University of TorontoCanada |
Guido MartínezMartínez, Guido Microsoft ResearchUnited States |
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan |
Cristina MatacheMatache, Cristina University of Edinburgh |
Umang MathurMathur, Umang National University of SingaporeSingapore |
Théo MatriconMatricon, Théo CNRS, LaBRI, University of BordeauxFrance |
Kazutaka MatsudaMatsuda, Kazutaka Tohoku UniversityJapan |
Yusuke MatsushitaMatsushita, Yusuke The University of Tokyo |
Ralph MatthesMatthes, Ralph IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3, Toulouse |
Sean McLaughlinMcLaughlin, Sean Amazon Web Services |
Aastha MehtaMehta, Aastha The University of British Columbia |
Orestis MelkonianMelkonian, Orestis University of EdinburghUnited Kingdom |
Stephen MellMell, Stephen University of Pennsylvania |
Paul-André MellièsMelliès, Paul-André CNRS; Université de ParisFrance |
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal |
Rafael MenezesMenezes, Rafael University of ManchesterUnited Kingdom |
Lucy MenonMenon, Lucy Northeastern University |
Denis MerigouxMerigoux, Denis INRIAFrance |
Dominique MeryMery, Dominique Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, FranceFrance |
Roland MeyerMeyer, Roland TU BraunschweigGermany |
Jesse MichelMichel, Jesse Massachusetts Institute of Technology |
Marco MilaneseMilanese, Marco Sorbonne UniversityFrance |
Luka MiljakMiljak, Luka Delft University of TechnologyNetherlands |
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance |
Anders MiltnerMiltner, Anders Simon Fraser UniversityCanada |
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States |
Meghana MissulaMissula, Meghana The University of Texas at Austin |
Alberto MomiglianoMomigliano, Alberto Università degli Studi di Milano |
David MonniauxMonniaux, David Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance |
Raúl E. MontiMonti, Raúl E. University of TwenteNetherlands |
Simon W. MooreMoore, Simon W. University of Cambridge |
Marcel MoosbruggerMoosbrugger, Marcel TU WienAustria |
Andreia MordidoMordido, Andreia University of LisbonPortugal |
Luke MorrisMorris, Luke University of Florida |
Andreas Tor MortensenMortensen, Andreas Tor Department of Computer Science, Aalborg University |
Sean MossMoss, Sean University of Oxford |
Laurent MounierMounier, Laurent Université Grenoble AlpesFrance |
João P. MoutinhoMoutinho, João P. PASQAL SAS |
Ike MulderMulder, Ike Radboud University NijmegenNetherlands |
Reed MullanixMullanix, Reed McMaster UniversityUnited States |
Stefan K. MullerMuller, Stefan K. Illinois Institute of TechnologyUnited States |
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States |
Ilya MuravjovMuravjov, Ilya Saint Petersburg State University |
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom |
Toby MurrayMurray, Toby University of MelbourneAustralia |
Andrew MyersMyers, Andrew Cornell University |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology |
Peter MüllerMüller, Peter ETH ZurichSwitzerland |
Markus Müller-OlmMüller-Olm, Markus University of MünsterGermany |
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States |
Satya Prakash NayakNayak, Satya Prakash Max Planck Institute for Software Systems (MPI-SWS)Germany |
Daniel NeiderNeider, Daniel Technical University of Dortmund, GermanyGermany |
Max S. NewNew, Max S. University of MichiganUnited States |
Duc-Than NguyenNguyen, Duc-Than University of Illinois at ChicagoUnited States |
Minh NguyenNguyen, Minh University of BristolUnited Kingdom |
Lê Thành Dũng NguyễnNguyễn, Lê Thành Dũng École normale supérieure de LyonFrance |
Jason NiehNieh, Jason Columbia University |
Abel NietoNieto, Abel Aarhus UniversityDenmark |
Nikos NikolerisNikoleris, Nikos Arm Research |
Tobias NipkowNipkow, Tobias Technische Universität München |
Lars NitzkeNitzke, Lars University of FreiburgGermany |
Yue NiuNiu, Yue Carnegie Mellon UniversityUnited States |
James NobleNoble, James Creative Research & ProgrammingNew Zealand |
Ulf NorellNorell, Ulf Gothenburg UniversitySweden |
Michael NorrishNorrish, Michael Australian National UniversityAustralia |
Paige Randall NorthNorth, Paige Randall Utrecht University |
Filippo Alberto Edoardo Nuccio Mortarino Majno di CapriglioNuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo Université Jean Monnet Saint-ÉtienneFrance |
Fernando Lucatelli NunesNunes, Fernando Lucatelli Utrecht University |
Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium |
Peter W. O'HearnO'Hearn, Peter W. Lacework; University College LondonUnited Kingdom |
Martin OderskyOdersky, Martin EPFLSwitzerland |
Sabine OechsnerOechsner, Sabine University of EdinburghUnited Kingdom |
Christoph OhremOhrem, Christoph University of MünsterGermany |
Emilia OikarinenOikarinen, Emilia University of HelsinkiFinland |
Cyrus OmarOmar, Cyrus University of MichiganUnited States |
Moran OmerOmer, Moran Bar Ilan University, IsraelIsrael |
C.-H. Luke OngOng, C.-H. Luke NTU |
Dominic OrchardOrchard, Dominic University of Kent, UK and University of Cambridge, UKUnited Kingdom |
P Francesco PacenzaPacenza, Francesco Department of Mathematics and Computer Science, University of CalabriaItaly |
Oded PadonPadon, Oded VMware ResearchUnited States |
Shankara PailoorPailoor, Shankara University of Texas at AustinUnited States |
Abhinandan PalPal, Abhinandan University of BirminghamUnited Kingdom |
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States |
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States |
Hugo PaquetPaquet, Hugo LIPN, Université Sorbonne Paris NordFrance |
Seung Hoon ParkPark, Seung Hoon Imperial College London |
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom |
Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance |
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)China |
Noah PattonPatton, Noah The University of Texas at Austin |
Christine Paulin-MohringPaulin-Mohring, Christine Université Paris-Saclay |
Lawrence PaulsonPaulson, Lawrence University of CambridgeUnited Kingdom |
Jennifer PaykinPaykin, Jennifer Intel LabsUnited States |
Doron PeledPeled, Doron Bar Ilan UniversityIsrael |
Hila PelegPeleg, Hila TechnionIsrael |
Yuxiang PengPeng, Yuxiang University of MarylandUnited States |
Roly PereraPerera, Roly University of Cambridge/University of BristolUnited Kingdom |
Simona PerriPerri, Simona University of Calabria, Italy |
Alberto PettorossiPettorossi, Alberto University of Rome Tor Vergata; IASI-CNRItaly |
Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom |
Frank PfenningPfenning, Frank Carnegie Mellon University, USA |
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States |
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland |
Andrew M. PittsPitts, Andrew M. University of Cambridge |
Anton PodkopaevPodkopaev, Anton JetBrains Research, Constructor UniversityNetherlands |
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom |
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States |
Hernán Ponce de LeónPonce de León, Hernán Huawei Dresden Research CenterGermany |
Enrico PontelliPontelli, Enrico New Mexico State University |
François PottierPottier, François InriaFrance |
Maurizio ProiettiProietti, Maurizio IASI-CNRItaly |
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States |
Simon PruckerPrucker, Simon Friedrich-Alexander Universität Erlangen-NürnbergGermany |
Geguang PuPu, Geguang East China Normal UniversityChina |
Romain PéchouxPéchoux, Romain Université de Lorraine; CNRS; Inria; LORIAFrance |
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance |
George PîrleaPîrlea, George National University of Singapore |
Siyuan Brant QianQian, Siyuan Brant University of Illinois at Urbana-Champaign; Zhejiang UniversityUnited States |
Jianxing QinQin, Jianxing Shanghai Jiao Tong University |
Xin QinQin, Xin University of Southern California |
Xueying QinQin, Xueying The University of Edinburgh |
Weihao QuQu, Weihao Boston UniversityUnited States |
Jochen QuanteQuante, Jochen Bosch ResearchGermany |
Benjamin QuiringQuiring, Benjamin University of Maryland |
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States |
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States |
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States |
Ritam RahaRaha, Ritam University of Antwerp, Antwerp, BelgiumBelgium |
Kia RahmaniRahmani, Kia The University of Texas at Austin |
Sriram RajamaniRajamani, Sriram Microsoft Research |
Abhiramon RajasekharanRajasekharan, Abhiramon The University of Texas at Dallas |
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States |
Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Cornell UniversityUnited States |
Steven RamsayRamsay, Steven University of BristolUnited Kingdom |
Francesca RandoneRandone, Francesca IMT School for Advanced Studies Lucca |
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia |
George RautaRauta, George University of Florida |
Gianluca RedondiRedondi, Gianluca Fondazione Bruno Kessler |
Giles RegerReger, Giles University of ManchesterUnited Kingdom |
Baber RehmanRehman, Baber The University of Hong KongChina |
Alastair ReidReid, Alastair Intel/Intel LabsUnited Kingdom |
Jan ReinekeReineke, Jan Saarland UniversityGermany |
Luis Angel Rodriguez ReinersReiners, Luis Angel Rodriguez University of CalabriaItaly |
Hadrien RenaudRenaud, Hadrien UCLFrance |
Lisa RennelsRennels, Lisa University of California at BerkeleyUnited States |
John ReppyReppy, John University of Chicago, USA |
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States |
Roie ReshefReshef, Roie TechnionIsrael |
Eduardo Hermo ReyesReyes, Eduardo Hermo University of Barcelona and Formal Vindications S.L. |
James RielyRiely, James DePaul UniversityUnited States |
Francis RinaldiRinaldi, Francis Illinois Institute of TechnologyUnited States |
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States |
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States |
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance |
Exequiel RivasRivas, Exequiel Tallinn University of Technology |
Christine RizkallahRizkallah, Christine University of MelbourneAustralia |
Juan Conejero RodríguezRodríguez, Juan Conejero University of Barcelona and Formal Vindications S.L. |
Nikolaj Rossander KristensenRossander Kristensen, Nikolaj Department of Computer Science, Aalborg University |
Andreas RossbergRossberg, Andreas IndependentGermany |
June RousseauRousseau, June Aarhus UniversityDenmark |
Reuben N. S. RoweRowe, Reuben N. S. Royal Holloway University of LondonUnited Kingdom |
Daniel RoyRoy, Daniel University of Toronto |
Rajarshi RoyRoy, Rajarshi Max Planck Institute for Software Systems, Kaiserslautern, GermanyGermany |
Fabian RuchRuch, Fabian UnaffiliatedSweden |
Philipp RuemmerRuemmer, Philipp University of Regensburg and Uppsala UniversityGermany |
Neea RuschRusch, Neea Augusta UniversityUnited States |
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina |
Melody RuthRuth, Melody University of California San Diego |
Gregers Thomas Skat RørdamRørdam, Gregers Thomas Skat IT University of Copenhagen |
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala UniversityGermany |
Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia |
Amr SabrySabry, Amr Indiana UniversityUnited States |
Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael |
Irmak SaglamSaglam, Irmak Max Planck Institute for Software Systems (MPI-SWS)Germany |
Ken SakayoriSakayori, Ken University of TokyoJapan |
Emanuel SallingerSallinger, Emanuel TU Wien & University of Oxford |
Zeynep G. SaribaturSaribatur, Zeynep G. TU WienAustria |
Susmit SarkarSarkar, Susmit University of St. Andrews |
Carlo SartianiSartiani, Carlo Università della Basilicata |
V.R. SathiyanarayanaSathiyanarayana, V.R. MPI-SWS |
Gerhard SchellhornSchellhorn, Gerhard Universitaet AugsburgGermany |
Gabriel SchererScherer, Gabriel INRIA SaclayFrance |
Stefanie ScherzingerScherzinger, Stefanie Universität Passau |
Maximilian SchlundSchlund, Maximilian Bosch ResearchGermany |
Anne-Kathrin SchmuckSchmuck, Anne-Kathrin Max Planck Institute for Software SystemsGermany |
Anne-Kathrin SchmuckSchmuck, Anne-Kathrin MPI-SWSGermany |
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands |
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium |
Lutz SchröderSchröder, Lutz University of Erlangen-NurembergGermany |
Philipp SchröerSchröer, Philipp RWTH Aachen UniversityGermany |
Michael SchwarzSchwarz, Michael Technische Universität MünchenGermany |
Frank SchüsseleSchüssele, Frank University of FreiburgGermany |
Helmut SeidlSeidl, Helmut Technische Universität MünchenGermany |
Dominik SeitzSeitz, Dominik PASQAL SAS |
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan |
Olga SeleznovaSeleznova, Olga TechnionIsrael |
Peter SelingerSelinger, Peter Dalhousie UniversityCanada |
Yanis SellamiSellami, Yanis CEA, List, Univ. Grenoble Alpes |
Ilya SergeySergey, Ilya National University of SingaporeSingapore |
Peter SestoftSestoft, Peter IT University of CopenhagenDenmark |
Guruprerana ShabadiShabadi, Guruprerana École Polytechnique, Institut Polytechnique de ParisFrance |
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom |
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Jessica ShiShi, Jessica University of Pennsylvania |
Ian ShillitoShillito, Ian Australian National University |
Kiraku ShintaniShintani, Kiraku Japan Advanced Institute of Science and Technology |
Fedor ShmarovShmarov, Fedor The University of Manchester |
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael |
Nikolaj SidorencoSidorenco, Nikolaj Aarhus University |
Filip SieczkowskiSieczkowski, Filip Heriot-Watt UniversityUnited Kingdom |
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States |
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance |
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States |
Mário SilvaSilva, Mário LORIA, Université de Lorraine |
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom |
Abhishek Kr SinghSingh, Abhishek Kr Tel Aviv UniversityIsrael |
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States |
Jeffrey Mark SiskindSiskind, Jeffrey Mark Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States |
Meghana Aparna SistlaSistla, Meghana Aparna The University of Texas at AustinUnited States |
Viorica Sofronie-StokkermansSofronie-Stokkermans, Viorica University of KoblenzGermany |
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States |
Harald SondergaardSondergaard, Harald The University of MelbourneAustralia |
Fu SongSong, Fu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, ChinaChina |
Kunjian SongSong, Kunjian The University of Manchester |
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland |
Bas SpittersSpitters, Bas Aarhus University |
Bas SpittersSpitters, Bas Aarhus UniversityDenmark |
Mohan SridharanSridharan, Mohan University of Birmingham |
Pranav SrinivasanSrinivasan, Pranav University of Michigan / VMware Research |
Caleb StanfordStanford, Caleb University of California, DavisUnited States |
Ian StarkStark, Ian The University of EdinburghUnited Kingdom |
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom |
Deian StefanStefan, Deian University of California at San DiegoUnited States |
Leo StefanescoStefanesco, Leo MPI-SWSGermany |
Peter Buus SteffensenSteffensen, Peter Buus Department of Computer Science, Aalborg University |
Sergei StepanenkoStepanenko, Sergei Aarhus UniversityDenmark |
Jonathan SterlingSterling, Jonathan University of CambridgeUnited Kingdom |
Michel SteuwerSteuwer, Michel TU Berlin; University of EdinburghGermany |
Lucas StinchcombeStinchcombe, Lucas Simon Fraser University |
Sam StitesStites, Sam Northeastern University |
Aaron StrahlbergerStrahlberger, Aaron Friedrich-Alexander-Universität Erlangen-NürnbergGermany |
Zhendong SuSu, Zhendong ETH ZurichSwitzerland |
Xianda SunSun, Xianda University of Cambridge |
Yaozhu SunSun, Yaozhu University of Hong KongChina |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
David SwaseySwasey, David BedRock Systems |
Loïc SylvestreSylvestre, Loïc LIP6 - Sorbonne Université, Paris |
Vince SzabóSzabó, Vince Delft University of Technology |
Jocelyn SérotSérot, Jocelyn Institut Pascal, Clermont-Ferrand |
Yoshiki TakashimaTakashima, Yoshiki Carnegie Mellon UniversityUnited States |
Jinhao TanTan, Jinhao University of Hong Kong |
Yong Kiam TanTan, Yong Kiam Institute for Infocomm Research, A*STAR |
Izumi TanakaTanaka, Izumi University of TokyoJapan |
Wenhao TangTang, Wenhao University of EdinburghUnited Kingdom |
Éric TanterTanter, Éric University of Chile |
Runzhou TaoTao, Runzhou Columbia UniversityUnited States |
Philip TascheTasche, Philip University of TwenteNetherlands |
Zachary TatlockTatlock, Zachary University of WashingtonUnited States |
Landon TaylorTaylor, Landon Utah State UniversityUnited States |
Gabriele TedeschiTedeschi, Gabriele University of Pisa, Italy |
Anastasios TemperekidisTemperekidis, Anastasios Aristotle University of ThessalonikiGreece |
Joshua B. TenenbaumTenenbaum, Joshua B. Massachusetts Institute of TechnologyUnited States |
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan |
K. S. ThejaswiniThejaswini, K. S. The University of Warwick |
René ThiemannThiemann, René University of Innsbruck |
Ramanathan S. ThinniyamThinniyam, Ramanathan S. Uppsala University |
Andrew ThomasThomas, Andrew University of Cambridge |
Jiaxu TianTian, Jiaxu East China Normal UniversityChina |
Sarah TilscherTilscher, Sarah Technische Universität MünchenGermany |
Laura TitoloTitolo, Laura AMA/NASA LaRCUnited States |
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States |
Alwen TiuTiu, Alwen The Australian National University |
Aaron TombTomb, Aaron Amazon Web ServicesUnited States |
Hazem TorfahTorfah, Hazem Chalmers University of TechnologySweden |
Emina TorlakTorlak, Emina Amazon Web Services, USAUnited States |
Mirco TribastoneTribastone, Mirco IMT Institute for Advanced Studies Lucca, Italy |
Anton TrunovTrunov, Anton TON FoundationUnited Arab Emirates |
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan |
Syouki TsuyamaTsuyama, Syouki Tokyo Institute of TechnologyJapan |
Omkar TuppeTuppe, Omkar IIT BombayIndia |
Nikos TzevelekosTzevelekos, Nikos Queen Mary University of LondonUnited Kingdom |
John van de Weteringvan de Wetering, John University of AmsterdamNetherlands |
Niels van der Weidevan der Weide, Niels Radboud University |
Rob van Glabbeekvan Glabbeek, Rob The University of Edinburgh |
Antoine Van MuylderVan Muylder, Antoine KU Leuven |
Julien VanegueVanegue, Julien Bloomberg, USAUnited States |
Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States |
Gabriele VanoniVanoni, Gabriele IRIF, Université Paris Cité |
Daan VanoverloopVanoverloop, Daan KU Leuven |
Moshe VardiVardi, Moshe Rice UniversityUnited States |
Marco VassenaVassena, Marco Utrecht UniversityNetherlands |
Lionel Vaux AuclairVaux Auclair, Lionel University of Aix-MarseilleFrance |
Margus VeanesVeanes, Margus Microsoft Research |
Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrains Research; Constructor University BremenSerbia |
Lena VerschtVerscht, Lena Saarland University, Saarland Informatics Campus |
Thomas VigourouxVigouroux, Thomas VERIMAG - UGAFrance |
Yakir VizelVizel, Yakir Technion—Israel Institute of TechnologyIsrael |
Vesal VojdaniVojdani, Vesal University of TartuEstonia |
Andrew WagnerWagner, Andrew Northeastern University |
Cassidy WaldripWaldrip, Cassidy Brigham Young UniversityUnited States |
Johannes WallnerWallner, Johannes Graz University of TechnologyAustria |
Charlie WalpoleWalpole, Charlie University of Bristol |
Michael WalterWalter, Michael Ruhr-Universität Bochum |
Meng WangWang, Meng University of BristolUnited Kingdom |
Peixin WangWang, Peixin University of Oxford |
Shengyi WangWang, Shengyi Princeton University, USA |
Theo WangWang, Theo University of Oxford |
Xinyu WangWang, Xinyu University of MichiganUnited States |
Yayu WangWang, Yayu The University of British Columbia |
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada |
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina |
Zhonghan WangWang, Zhonghan State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesChina |
Robert N. M. WatsonWatson, Robert N. M. University of Cambridge |
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore |
Heike WehrheimWehrheim, Heike University of Oldenburg |
Jonathan WeinbergerWeinberger, Jonathan Johns Hopkins University |
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States |
Aleksander WennersteenWennersteen, Aleksander PASQAL SAS |
Sam WestrickWestrick, Sam Carnegie Mellon UniversityUnited States |
Thomas WiesWies, Thomas New York UniversityUnited States |
Reinhard WilhelmWilhelm, Reinhard Saarland UniversityGermany |
Max WillseyWillsey, Max UC BerkeleyUnited States |
Hans WinderixWinderix, Hans KU Leuven |
Tobias WinklerWinkler, Tobias RWTH Aachen UniversityGermany |
Konrad WitaszczykWitaszczyk, Konrad University of Cambridge, UK |
Sebastian WolffWolff, Sebastian New York UniversityUnited States |
James WorrellWorrell, James University of OxfordUnited Kingdom |
Huiling WuWu, Huiling East China Normal UniversityChina |
Jinhua WuWu, Jinhua Shanghai Jiao Tong UniversityChina |
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom |
Kobe WullaertWullaert, Kobe Delft University of Technology |
Li-yao XiaXia, Li-yao University of Edinburgh |
Shengping XiaoXiao, Shengping East China Normal UniversityChina |
Ming XuXu, Ming East China Normal UniversityChina |
Yicong XuXu, Yicong East China Normal UniversityChina |
Tengshun YangYang, Tengshun SKLCS, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences |
Zhixuan YangYang, Zhixuan Imperial College LondonUnited Kingdom |
Jianan YaoYao, Jianan Columbia UniversityUnited States |
Roland H. C. YapYap, Roland H. C. National University of Singapore, Singapore |
Ugur Y. YavuzYavuz, Ugur Y. Boston University |
Kwangkeun YiYi, Kwangkeun Seoul National University |
Jacob YoungYoung, Jacob University of Maryland |
Neringa YoungYoung, Neringa Lithuania |
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States |
Marco ZanellaZanella, Marco University of Padova, ItalyItaly |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |
Yankai ZengZeng, Yankai The University of Texas at Dallas |
Bohua ZhanZhan, Bohua Institute of Software, Chinese Academy of SciencesChina |
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States |
Ling ZhangZhang, Ling Shanghai Jiao Tong UniversityChina |
Min ZhangZhang, Min East China Normal UniversityChina |
Yihong ZhangZhang, Yihong University of WashingtonUnited States |
Yizhou ZhangZhang, Yizhou University of WaterlooCanada |
Zhen ZhangZhang, Zhen Utah State UniversityUnited States |
Eric ZhaoZhao, Eric University of MichiganUnited States |
Qiyuan ZhaoZhao, Qiyuan National University of SingaporeSingapore |
Zhulien ZhelezchevZhelezchev, Zhulien University of Bristol |
Dapeng ZhiZhi, Dapeng East China Normal UniversityChina |
Tan Zhi-XuanZhi-Xuan, Tan Massachusetts Institute of Technology |
Litao ZhouZhou, Litao Shanghai Jiao Tong University; University of Hong KongChina |
Xiangyu ZhouZhou, Xiangyu University of Michigan |
Ekaterina ZhuchkoZhuchko, Ekaterina Tallinn University of Technology |
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States |
Conrad ZimmermanZimmerman, Conrad Brown UniversityUnited States |
Lenore ZuckZuck, Lenore UICUnited States |