POPL 2024 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (959)
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, SwedenSweden |
Supun AbeysingheAbeysinghe, Supun Purdue UniversityUnited States |
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityUnited States |
Nate AckermanAckerman, Nate Harvard University |
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark |
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 University College LondonFrance |
Thorsten AltenkirchAltenkirch, Thorsten University of Nottingham |
Mario AlvianoAlviano, Mario University of CalabriaItaly |
Nicolas AmatAmat, Nicolas LAAS-CNRSFrance |
Danilo AmendolaAmendola, Danilo Oliveru - Smartly Engineering |
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada |
Abhishek AnandAnand, Abhishek Cornell UniversityUnited 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 |
Robert AtkeyAtkey, Robert University of Strathclyde |
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 Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands |
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 |
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 |
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 |
Mireia González BedmarBedmar, Mireia González University of Barcelona and Formal Vindications S.L. |
Luigi BellomariniBellomarini, Luigi Banca d'Italia |
Nick BentonBenton, Nick MetaUnited Kingdom |
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 |
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 |
Michele BorealeBoreale, Michele Università di FirenzeItaly |
Ana de Almeida BorgesBorges, Ana de Almeida University of Barcelona and Formal Vindications S.L. |
Luca BortolussiBortolussi, Luca Department of Mathematics and Geosciences, University of Trieste |
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFLSwitzerland |
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance |
Matt BowersBowers, Matt 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 |
Oliver BračevacBračevac, Oliver Galois, Inc.United States |
Christopher BrixBrix, Christopher RWTH Aachen University |
Lily BrownBrown, Lily RobloxUnited States |
Stefan BrunthalerBrunthaler, Stefan Bundeswehr University MunichGermany |
Alex Buna-MargineanBuna-Marginean, Alex University of Oxford |
Joaquim Casals BuñuelBuñuel, Joaquim Casals University of Barcelona and Formal Vindications S.L. |
Twain ByrnesByrnes, Twain Carnegie Mellon University, Amazon, AWSUnited States |
Lucas BöltzBöltz, Lucas Univerity of KoblenzGermany |
Francesco CalimeriCalimeri, Francesco University of Calabria |
Brian CampbellCampbell, Brian University of Edinburgh |
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 |
Lorenzo CeragioliCeragioli, Lorenzo IMT Lucca, Italy |
Emmanuel ChaillouxChailloux, Emmanuel UPMC, France |
Soham ChakrabortyChakraborty, Soham TU DelftNetherlands |
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom |
Jonathan ChanChan, Jonathan University of PennsylvaniaCanada |
Nicolas ChataingChataing, Nicolas ENS Paris |
Agnishom ChattopadhyayChattopadhyay, Agnishom Rice University |
Isha ChaudharyChaudhary, Isha Univ of Illinois Urbana-Champaign |
Qiaochu ChenChen, 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 MicrosoftUnited Kingdom |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
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 |
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 University of KentUnited 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 |
Caroline CronjägerCronjäger, Caroline Vrije Universiteit Amsterdam |
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania |
John CyphertCyphert, John University of Wisconsin-Madison, USA |
Silvano DAL ZILIODAL ZILIO, Silvano LAAS-CNRSFrance |
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 |
Emanuele De AngelisDe Angelis, Emanuele CNR-IASIItaly |
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 |
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of StrathclydeUnited Kingdom |
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium |
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 |
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States |
Jyotirmoy DeshmukhDeshmukh, Jyotirmoy University of Southern California |
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium |
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 |
Hasra DodampegamaDodampegama, Hasra University of Birmingham |
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom |
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom |
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael |
Stefanie Eva DrerupDrerup, Stefanie Eva University of MünsterGermany |
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom |
Anand DukkipatiDukkipati, Anand University of Michigan |
Ross DuncanDuncan, Ross Cambridge Quantum Computing |
Bruno DutertreDutertre, Bruno Amazon Web Services |
Yotam DvirDvir, Yotam Tel Aviv University |
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany |
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 |
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark |
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States |
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance |
Esra ErdemErdem, Esra Sabanci University, TurkeyTurkey |
Joseph EremondiEremondi, Joseph University of EdinburghUnited Kingdom |
Julian ErhardErhard, Julian Technical University of MunichGermany |
Ran EttingerEttinger, Ran Israel Academic College in Ramat Gan |
Chris FallinFallin, Chris FastlyUnited States |
Andong FanFan, Andong The Hong Kong University of Science and TechnologyChina |
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 |
Jerome FeretFeret, Jerome INRIA ParisFrance |
Kostas FerlesFerles, Kostas Veridise Inc.United States |
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal |
Francisco FerreiraFerreira, Francisco Royal Holloway, University of London |
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 |
Matthew FlattFlatt, Matthew University of UtahUnited States |
Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited 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 |
Dan FruminFrumin, Dan University of GroningenNetherlands |
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina |
Philipp GablerGabler, Philipp Independent researcher |
Fabio GadducciGadducci, Fabio University of Pisa |
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 |
Vashti GalpinGalpin, Vashti University of EdinburghUnited Kingdom |
Sankalp GambhirGambhir, Sankalp Ecole Polytechnique Federale de Lausanne (EPFL)Switzerland |
Ronald GarciaGarcia, Ronald University of British ColumbiaCanada |
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom |
Francesco GavazzoGavazzo, Francesco University of Pisa, ItalyItaly |
Hong GeGe, Hong University of Cambridge |
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 |
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 |
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States |
Guillaume GirolGirol, Guillaume CEA, List, Université Paris Saclay |
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 |
Léon GondelmanGondelman, Léon Aarhus UniversityDenmark |
Georges GonthierGonthier, Georges Inria |
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 |
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain |
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 Campus |
Matthew HagueHague, Matthew Royal Holloway University of LondonUnited Kingdom |
Ernst Moritz HahnHahn, Ernst Moritz Netherlands |
Angus HammondHammond, Angus University of Cambridge |
David HarelHarel, David Weizmann Institute of Science, Israel |
Robert HarperHarper, Robert Carnegie Mellon UniversityUnited States |
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 |
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States |
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 |
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 |
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 |
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 |
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States |
Tomi JanhunenJanhunen, Tomi Tampere UniversityFinland |
Patrik JanssonJansson, Patrik Chalmers University of TechnologySweden |
Prasad JayantiJayanti, Prasad Department of Computer Science, Dartmouth College, USA |
Siddhartha JayantiJayanti, Siddhartha Google Research |
Alan JeffreyJeffrey, Alan RobloxUnited States |
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 |
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands |
Ariel KellisonKellison, Ariel Cornell UniversityUnited States |
Steven KeuchelKeuchel, Steven Vrije Universiteit BrusselBelgium |
Mohammad Wahiduzzaman KhanKhan, Mohammad Wahiduzzaman UL Lafayette |
Artem KhyzhaKhyzha, Artem Tel Aviv University, IsraelUkraine |
Oisín KidneyKidney, 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 CSIRO's Data61 and UNSW SydneyAustralia |
Bartek KlinKlin, Bartek University of OxfordUnited Kingdom |
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan |
Naoki KobayashiKobayashi, Naoki University of TokyoJapan |
Jérémie KoenigKoenig, Jérémie Yale UniversityUnited States |
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom |
Joomy KorkutKorkut, Joomy Princeton UniversityUnited States |
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 University, RussiaRussia |
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands |
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland |
Robert KünnemannKünnemann, Robert CISPA Helmholtz Center for Information Security |
Ralf LaemmelLaemmel, Ralf Facebook London |
Ori LahavLahav, Ori Tel Aviv UniversityIsrael |
Jim LairdLaird, Jim University of BathUnited Kingdom |
Roman LakenbrinkLakenbrink, Roman University of MünsterGermany |
Peter LammichLammich, Peter The University of Manchester |
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece |
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é de ParisFrance |
Didier Le BotlanLe Botlan, Didier LAAS-CNRS, INSA-ToulouseFrance |
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States |
Meven Lennon-BertrandLennon-Bertrand, Meven University of CambridgeUnited Kingdom |
Rodolphe LepigreLepigre, Rodolphe BedRock SystemsGermany |
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 |
Pengyu LiuLiu, Pengyu Tsinghua University |
Si LiuLiu, Si ETH ZurichSwitzerland |
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States |
Yiyun LiuLiu, Yiyun University of Maryland at College Park |
Zongyuan LiuLiu, Zongyuan Aarhus UniversityDenmark |
Francesco LogozzoLogozzo, Francesco FacebookUnited States |
Giuseppe LomurnoLomurno, Giuseppe University of Pisa, Italy |
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 |
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 |
Lina MarssoMarsso, Lina University of TorontoCanada |
Guido MartínezMartínez, Guido Microsoft ResearchUnited States |
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 (CNRS and Univ. of 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 |
Denis MerigouxMerigoux, Denis INRIAFrance |
Roland MeyerMeyer, Roland TU BraunschweigGermany |
Jesse MichelMichel, Jesse Massachusetts Institute of Technology |
Marco MilaneseMilanese, Marco Sorbonne UniversityFrance |
Mae MilanoMilano, Mae University of California at BerkeleyUnited States |
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 LASIGE, University of LisbonPortugal |
Sean MossMoss, Sean University of Oxford |
Laurent MounierMounier, Laurent Université Grenoble AlpesFrance |
Ike MulderMulder, Ike Radboud University NijmegenNetherlands |
Stefan K. MullerMuller, Stefan K. Illinois Institute of TechnologyUnited States |
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States |
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 |
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. Meta; University College LondonUnited Kingdom |
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 |
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 |
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 Hong Kong University of Science and TechnologyChina |
Noah PattonPatton, Noah The University of Texas at Austin |
Christine Paulin-MohringPaulin-Mohring, Christine Université Paris-Saclay |
Lawrence PaulsonPaulson, Lawrence University of CambridgeUnited Kingdom |
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark |
Jennifer PaykinPaykin, Jennifer Intel LabsUnited States |
Doron PeledPeled, Doron Bar Ilan UniversityIsrael |
Yuxiang PengPeng, Yuxiang University of MarylandUnited States |
Simona PerriPerri, Simona University of Calabria, Italy |
Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom |
Frank PfenningPfenning, Frank Carnegie Mellon University, USA |
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States |
Clément Pit-ClaudelPit-Claudel, Clément EPFLUnited States |
Andrew M. PittsPitts, Andrew M. University of Cambridge |
Andreas PodelskiPodelski, Andreas University of FreiburgGermany |
Anton PodkopaevPodkopaev, Anton JetBrains Research, Constructor UniversityNetherlands |
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom |
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States |
Enrico PontelliPontelli, Enrico New Mexico State University |
François PottierPottier, François InriaFrance |
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States |
Simon PruckerPrucker, Simon Friedrich-Alexander Universität Erlangen-NürnbergGermany |
Geguang PuPu, Geguang East China Normal UniversityChina |
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance |
Thibaut PéramiPérami, Thibaut University of Cambridge |
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 |
Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States |
Weihao QuQu, Weihao Boston University |
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 |
Gianluca RedondiRedondi, Gianluca Fondazione Bruno Kessler |
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 CNRSFrance |
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. |
Andreas RossbergRossberg, Andreas IndependentGermany |
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 |
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea |
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 |
Irmak SaglamSaglam, Irmak Max Planck Institute for Software Systems (MPI-SWS)Germany |
Ken SakayoriSakayori, Ken The 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 |
Ryosuke SatoSato, Ryosuke University of TokyoJapan |
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 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 |
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 |
Bhakti ShahShah, Bhakti University of Chicago |
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom |
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States |
Jessica ShiShi, Jessica University of Pennsylvania |
Ian ShillitoShillito, Ian Australian National University |
Shweta ShindeShinde, Shweta ETH ZurichSwitzerland |
Kiraku ShintaniShintani, Kiraku Japan Advanced Institute of Science and Technology |
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 |
Abhishek Kr SinghSingh, Abhishek Kr Tel Aviv UniversityIsrael |
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States |
Satnam SinghSingh, Satnam GroqUnited 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 |
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 |
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland |
Matthieu SozeauSozeau, Matthieu InriaFrance |
Bas SpittersSpitters, Bas Concordium Blockchain Research Center, Aarhus University |
Bas SpittersSpitters, Bas Aarhus UniversityDenmark |
Arnaud SpiwackSpiwack, Arnaud TweagFrance |
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 |
Sergei StepanenkoStepanenko, Sergei Aarhus UniversityDenmark |
Jonathan SterlingSterling, Jonathan University of CambridgeUnited Kingdom |
Michel SteuwerSteuwer, Michel TU Berlin; University of EdinburghGermany |
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 |
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 |
É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 NIA/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 |
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark |
Mirco TribastoneTribastone, Mirco IMT Institute for Advanced Studies Lucca, Italy |
Anton TrunovTrunov, Anton TON FoundationUnited Arab Emirates |
Omkar TuppeTuppe, Omkar IIT BombayIndia |
Nikos TzevelekosTzevelekos, Nikos Queen Mary University of LondonUnited Kingdom |
Caterina UrbanUrban, Caterina Inria & École Normale Supérieure | Université PSLFrance |
John van de Weteringvan de Wetering, John University of AmsterdamNetherlands |
Rob van Glabbeekvan Glabbeek, Rob The University of Edinburgh |
Antoine Van MuylderVan Muylder, Antoine Inria Paris and Paris 7 |
Thomas Van StrydonckVan Strydonck, Thomas KULeuven |
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 |
Niki VazouVazou, Niki IMDEA Software Institute |
Margus VeanesVeanes, Margus Microsoft |
Sathiyanarayana Venkatesan RameshVenkatesan Ramesh, Sathiyanarayana Max Planck Institute for Software Systems |
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 |
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 |
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 Institute of Software/CAS ChinaChina |
Robert N. M. WatsonWatson, Robert N. M. University of Cambridge |
Conrad WattWatt, Conrad University of CambridgeUnited Kingdom |
Heike WehrheimWehrheim, Heike University of Oldenburg |
Niels van der WeideWeide, Niels van der Radboud University Nijmegen, Netherlands |
Jonathan WeinbergerWeinberger, Jonathan Johns Hopkins University |
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States |