ETAPS 2019 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (972)
Alessandro AbateAbate, Alessandro University of OxfordUnited Kingdom |
Samson AbramskyAbramsky, Samson University of OxfordUnited Kingdom |
Luca AcetoAceto, Luca Gran Sasso Science InstituteItaly |
Nazareno AguirreAguirre, Nazareno Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina |
Danel AhmanAhman, Danel University of LjubljanaSlovenia |
Amal AhmedAhmed, Amal Northeastern University, USAUnited States |
Alessandro AldiniAldini, Alessandro University of UrbinoItaly |
Frank AllgowerAllgower, Frank University of StuttgartGermany |
Bernardo AlmeidaAlmeida, Bernardo Universidade de Lisboa |
Assel AltayevaAltayeva, Assel Imperial College LondonUnited Kingdom |
Mario Alvarez-PicalloAlvarez-Picallo, Mario University of Oxford |
Nada AminAmin, Nada University of CambridgeUnited Kingdom |
Étienne AndréAndré, Étienne LIPN, CNRS UMR 7030, Université Paris 13France |
Timos AntonopoulosAntonopoulos, Timos Yale University |
Farhad ArbabArbab, Farhad CWI and Leiden UniversityNetherlands |
Owen ArdenArden, Owen UC Santa CruzUnited States |
Eugene AsarinAsarin, Eugene IRIF, University Paris Diderot and CNRS, France |
Aslan AskarovAskarov, Aslan Aarhus UniversityDenmark |
Robert AtkeyAtkey, Robert University of Strathclyde |
Paul AttieAttie, Paul American University of BeirutLebanon |
Juan Carlos AugustoAugusto, Juan Carlos Middlesex University, UK |
Martin AvanziniAvanzini, Martin INRIA Sophia Antipolis, FranceFrance |
Giorgio BacciBacci, Giorgio Aalborg University |
Alessandra BagnatoBagnato, Alessandra Softeam |
Patrick BaillotBaillot, Patrick CNRS & ENS LyonFrance |
Thomas BallBall, Thomas Microsoft ResearchUnited States |
Musard BalliuBalliu, Musard KTH Royal Institute of TechnologySweden |
Gianluca BarbonBarbon, Gianluca Universit� Grenoble Alpes, Inria, LIG |
Gilles BartheBarthe, Gilles IMDEA Software InstituteSpain |
Stylianos BasagiannisBasagiannis, Stylianos United Technologies Research centre |
Kevin BatzBatz, Kevin RWTH Aachen University |
Lujo BauerBauer, Lujo Carnegie Mellon UniversityUnited States |
Richard BayfordBayford, Richard Middlesex University, UK |
Bernhard BeckertBeckert, Bernhard Karlsruhe Institute of Technology |
Valeria BengoleaBengolea, Valeria Dept. of Computer Science FCEFQyN, University of Rio Cuarto |
Saddek BensalemBensalem, Saddek Verimag |
Stefano BerardiBerardi, Stefano Università di TorinoItaly |
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States |
Marco BernardoBernardo, Marco University of Urbino |
Xuan BiBi, Xuan Standard Chartered BankChina |
Dariusz BiernackiBiernacki, Dariusz University of Wrocław |
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark |
Benjamin BispingBisping, Benjamin Technische Universität BerlinGermany |
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands |
Sandrine BlazyBlazy, Sandrine Univ Rennes- IRISAFrance |
Jan Olaf BlechBlech, Jan Olaf Aalto University |
Martin BlichaBlicha, Martin USI Lugano, Switzerland |
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance |
Roderick BloemBloem, Roderick Institute of Software Technology, Graz University of Technology |
Vincent BloemenBloemen, Vincent University of Twente |
Achim BlumensathBlumensath, Achim Masaryk UniversityCzechia |
Alexander BockmayrBockmayr, Alexander Freie Universität Berlin |
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM |
Chiara BodeiBodei, Chiara University of PisaItaly |
Sergiy BogomolovBogomolov, Sergiy Australian National UniversityAustralia |
Pavol BokesBokes, Pavol Comenius University |
Benedikt BolligBollig, Benedikt CNRS, LSV, ENS Paris-SaclayFrance |
Johannes BorgströmBorgström, Johannes Uppsala UniversitySweden |
Artur BoronatBoronat, Artur University of Leicester |
Goetz BotterweckBotterweck, Goetz Lero - The Irish Software Research Centre and University of LimerickIreland |
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance |
Patricia BouyerBouyer, Patricia LSV, CNRS & ENS Cachan, University Paris SaclayFrance |
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom |
Jorg BrauerBrauer, Jorg Verified SystemsGermany |
Mario BravettiBravetti, Mario Università di BolognaItaly |
Jeremy BryansBryans, Jeremy Coventry University |
Barbora BuhnovaBuhnova, Barbora Masaryk University |
Tomas BuresBures, Tomas Charles University, Czech RepublicCzechia |
Luís CairesCaires, Luís NOVA-LINCS, FCT NOVA / Universidade Nova de LisboaPortugal |
Georgiana CaltaisCaltais, Georgiana University of Konstanz |
Giulio CaravagnaCaravagna, Giulio Institute of Cancer ResearchUnited Kingdom |
Marco CarboneCarbone, Marco IT University of Copenhagen |
Luca CardelliCardelli, Luca Microsoft Research and University of OxfordUnited Kingdom |
Pablo CastroCastro, Pablo Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina |
Nathalie CauchiCauchi, Nathalie University of OxfordUnited Kingdom |
Ana CavalcantiCavalcanti, Ana University of YorkUnited Kingdom |
Adrien ChampionChampion, Adrien OCamlProFrance |
Guido ChariChari, Guido Czech Technical University, CzechiaCzechia |
Madalena ChavesChaves, Madalena INRIA |
Marsha ChechikChechik, Marsha University of TorontoCanada |
Taolue ChenChen, Taolue Birkbeck, University of London |
Elizabeth CherryCherry, Elizabeth Rochester Institute of TechnologyUnited States |
Michela ChiappaloneChiappalone, Michela Italian Institute of TechnologyItaly |
Hana ChocklerChockler, Hana King's College London |
Agata CiabattoniCiabattoni, Agata TU WienAustria |
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly |
Eugenio CinquemaniCinquemani, Eugenio INRIA, GrenobleFrance |
Stefan CiobacaCiobaca, Stefan Alexandru Ioan Cuza University of Iasi |
Gabriel CiobanuCiobanu, Gabriel Alexandru Ioan Cuza University of Iasi |
Pierre ClairambaultClairambault, Pierre CNRS & ENS LyonFrance |
Rance CleavelandCleaveland, Rance University of MarylandUnited States |
Loek CleophasCleophas, Loek Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)Netherlands |
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States |
Thomas ColcombetColcombet, Thomas IRIF, University Paris Diderot and CNRS, FranceFrance |
Lucas CordeiroCordeiro, Lucas University of OxfordUnited Kingdom |
Maxime CordyCordy, Maxime SnT, University of Luxembourg |
Flavio CorradiniCorradini, Flavio University of CamerinoItaly |
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly |
Veronique CortierCortier, Veronique CNRS, LORIAFrance |
Camille CotiCoti, Camille LIPN, Université Paris 13France |
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzechia |
Pierre-Louis CurienCurien, Pierre-Louis Univ. Paris Diderot and INRIA Paris-RocquencourtFrance |
Lukasz CzajkaCzajka, Lukasz University of InnsbruckAustria |
Neil DalchauDalchau, Neil Microsoft ResearchUnited Kingdom |
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly |
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom |
Ankush DasDas, Ankush Carnegie Mellon UniversityUnited States |
Joshua DawesDawes, Joshua University of Manchester and CERNSwitzerland |
Emanuele De AngelisDe Angelis, Emanuele University of Chieti-PescaraItaly |
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University |
Hidde De JongDe Jong, Hidde INRIA Grenoble - Rhone-AlpesFrance |
Leonardo de Mourade Moura, Leonardo Microsoft ResearchUnited States |
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom |
Pierpaolo DeganoDegano, Pierpaolo Universita di PisaItaly |
David DelmasDelmas, David Airbus & Sorbonne UniversitéFrance |
Giorgio DelzannoDelzanno, Giorgio DIBRIS, University of GenovaItaly |
Ewen DenneyDenney, Ewen NASA Ames Research CenterUnited States |
Alessandra Di PierroDi Pierro, Alessandra University of Verona, Italy |
Aleksandar S. DimovskiDimovski, Aleksandar S. Mother Teresa University, Skopje |
Marco DinataleDinatale, Marco Scuole Santa AnnaItaly |
Andrea DomeniciDomenici, Andrea University of Pisa, Italy |
Alexandre DonzeDonze, Alexandre University of California, Berkeley |
Tommaso DreossiDreossi, Tommaso University of California at BerkeleyUnited States |
Claire DrossDross, Claire AdaCoreFrance |
Victor DumitrescuDumitrescu, Victor Nomadic Labs ParisFrance |
Sjur Kristoffer DyrkolbotnDyrkolbotn, Sjur Kristoffer Western Norway University of Applied Sciences |
Jeremy S EdwardsEdwards, Jeremy S University of New Mexico |
Søren Eller ThomsenEller Thomsen, Søren Aarhus UniversityDenmark |
Mehmet EmreEmre, Mehmet University of California, Santa Barbara |
Constantin EneaEnea, Constantin Université Paris DiderotFrance |
Alexander Eyers-TaylorEyers-Taylor, Alexander SemmleUnited Kingdom |
François FagesFages, François Inria Saclay - Ile de FranceFrance |
Eric FanchonFanchon, Eric CNRS, TIMC-IMAGFrance |
Alessandro FantechiFantechi, Alessandro University of FlorenceItaly |
Grigory FedyukovichFedyukovich, Grigory Princeton UniversityUnited States |
Luke Fenton-GlynnFenton-Glynn, Luke University College London |
Chris FermüllerFermüller, Chris Vienna University of Technology |
Pietro FerraraFerrara, Pietro JuliaSoft SRL, ItalyItaly |
Francisco FerreiraFerreira, Francisco Imperial College London |
Daniel FigueiredoFigueiredo, Daniel University of Aveiro |
Nathanaël FijalkowFijalkow, Nathanaël CNRS, LaBRI, and Alan Turing InstituteFrance |
Fabio FioravantiFioravanti, Fabio University of Chieti-PescaraItaly |
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States |
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland |
Simon FowlerFowler, Simon The University of EdinburghUnited Kingdom |
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta |
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom |
Marcelo F. FriasFrias, Marcelo F. Dept. of Software Engineering Instituto Tecnológico de Buenos Aires |
Dan FruminFrumin, Dan Radboud University |
Carsten FuhsFuhs, Carsten Birkbeck, University of LondonUnited Kingdom |
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland |
Hugo FéréeFérée, Hugo University of Kent, UKUnited Kingdom |
Pietro GallianiGalliani, Pietro Free University of Bozen-BolzanoItaly |
Pierre GantyGanty, Pierre IMDEA Software InstituteSpain |
Luciano García-BañuelosGarcía-Bañuelos, Luciano University of TartuEstonia |
Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany |
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom |
Samir GenaimGenaim, Samir Universidad Complutense de MadridSpain |
Dan GhicaGhica, Dan University of BirminghamUnited Kingdom |
Saverio GiallorenzoGiallorenzo, Saverio Alma Mater Studiorum - Università di BolognaItaly |
Nick GiannarakisGiannarakis, Nick Princeton University |
Paolo G. GiarrussoGiarrusso, Paolo G. TU Delft, The NetherlandsItaly |
Pascal GiehrGiehr, Pascal Saarland University |
Holger GieseGiese, Holger Hasso Plattner Institute, University of PotsdamGermany |
Elvio Gilberto AmparoreGilberto Amparore, Elvio |
Jose Gines Gimenez ManuelGimenez Manuel, Jose Gines Middlesex UniversityUnited Kingdom |
Giulia GiordanoGiordano, Giulia TU DelftNetherlands |
Marco GiuntiGiunti, Marco NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa |
Milos GligoricGligoric, Milos University of Texas at AustinUnited States |
Wenceslas GodardGodard, Wenceslas Airbus Operations SASFrance |
Judah GoldfederGoldfeder, Judah Yeshiva University |
Dieter GollmannGollmann, Dieter Hamburg University of TechnologyGermany |
Sergey GoncharovGoncharov, Sergey FAU Erlangen-Nürnberg, Lehrstuhl 8Germany |
Léon GondelmanGondelman, Léon LRI, Université Paris-Sud |
Alexey GotsmanGotsman, Alexey IMDEA Software InstituteSpain |
Simon Oddershede GregersenGregersen, Simon Oddershede Aarhus UniversityDenmark |
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly |
Gerrit GroßmannGroßmann, Gerrit Saarland University |
Radu GrosuGrosu, Radu Vienna University of TechnologyAustria |
Orna GrumbergGrumberg, Orna Technion – Israel Institute of TechnologyIsrael |
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada |
Dilian GurovGurov, Dilian KTH Royal Institute of TechnologySweden |
Joshua GuttmanGuttman, Joshua Worcester Polytechnic InstituteUnited States |
Jurriaan HageHage, Jurriaan Utrecht University |
Matthew HagueHague, Matthew Royal Holloway, University of LondonUnited Kingdom |
Ernst Moritz HahnHahn, Ernst Moritz Queen's University BelfastUnited Kingdom |
Matej HajnalHajnal, Matej Masaryk University |
Ádám HalászHalász, Ádám West Virginia UniversityUnited States |
Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands |
Ichiro HasuoHasuo, Ichiro National Institute of InformaticsJapan |
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States |
Chris HawblitzelHawblitzel, Chris Microsoft Research |
Reiko HeckelHeckel, Reiko University of LeicesterUnited Kingdom |
Rolf HennickerHennicker, Rolf Ludwig Maximilians University Munich, Germany |
Ben HermannHermann, Ben University of PaderbornGermany |
Marijn HeuleHeule, Marijn The University of Texas at AustinUnited States |
Chris HeunenHeunen, Chris University of EdinburghUnited Kingdom |
Patrick HeymansHeymans, Patrick University of NamurBelgium |
Michael HicksHicks, Michael University of Maryland, College ParkUnited States |
Jane HillstonHillston, Jane University of EdinburghUnited Kingdom |
Tom HirschowitzHirschowitz, Tom Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 ChambéryFrance |
Jochen HoenickeHoenicke, Jochen Universität FreiburgGermany |
Martin HofmannHofmann, Martin LMU Munich (1965-2018)Germany |
Vojtech HorkyHorky, Vojtech Charles UniversityCzechia |
Falk HowarHowar, Falk Technical University DortmundGermany |
Cătălin HriţcuHriţcu, Cătălin Inria ParisFrance |
Justin HsuHsu, Justin University of Wisconsin-Madison, USAUnited States |
Bo-Yuan HuangHuang, Bo-Yuan Princeton University, USAUnited States |
Michael HuthHuth, Michael Imperial College LondonUnited Kingdom |
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany |
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark |
Radu IosifIosif, Radu VERIMAG, CNRS, Université Grenoble-AlpesFrance |
Mohamad JaberJaber, Mohamad American University of Beirut |
Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium |
Swen JacobsJacobs, Swen CISPA Helmholtz Center for Information SecurityGermany |
Joxan JaffarJaffar, Joxan National University of SingaporeSingapore |
Marie-Christine JakobsJakobs, Marie-Christine TU Darmstadt, Germany |
Mikoláš JanotaJanota, Mikoláš INESC-ID, IST, ULisboaPortugal |
Peter Gjøl JensenJensen, Peter Gjøl Aalborg University, Denmark |
Thomas P. JensenJensen, Thomas P. INRIA Rennes |
Loïg JezequelJezequel, Loïg Université de Nantes, CNRS |
Patricia JohannJohann, Patricia Appalachian State UniversityUnited States |
Michael Peyton JonesJones, Michael Peyton IOHKUnited Kingdom |
Simon JonesJones, Simon Middlesex UniversityUnited Kingdom |
Alexander JordanJordan, Alexander Oracle Labs, Australia |
Steffen JostJost, Steffen LMU, Munich, GermanyGermany |
Jacques-Henri JourdanJourdan, Jacques-Henri CNRS, LRI, Université Paris-SudFrance |
Dejan JovanovićJovanović, Dejan SRI InternationalUnited States |
Agung JuliusJulius, Agung Rensselaer Polytechnic InstituteUnited States |
Sebastian JungesJunges, Sebastian RWTH Aachen University, Germany |
Ozan KahramanogullariKahramanogullari, Ozan |
Benjamin Lucien KaminskiKaminski, Benjamin Lucien RWTH Aachen University; University College London |
Eun-Young KangKang, Eun-Young University of Southern DenmarkDenmark |
Gerti KappelKappel, Gerti Technical University of ViennaAustria |
Bruce KapronKapron, Bruce University of VictoriaCanada |
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan |
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States |
Stefan KieferKiefer, Stefan University of OxfordUnited Kingdom |
Benjamin KieslKiesl, Benjamin CISPA Helmholtz Center for Information SecurityGermany |
Ekkart KindlerKindler, Ekkart Technical University of DenmarkDenmark |
Jonathan KingKing, Jonathan Habito and Imperial College London |
Maja KirkebyKirkeby, Maja Roskilde University |
Michael KirstenKirsten, Michael Karlsruhe Institute of Technology (KIT)Germany |
Aleks KissingerKissinger, Aleks Radboud University |
Michaela KlauckKlauck, Michaela Saarland Informatics Campus, Saarland UniversityGermany |
Samantha KleinbergKleinberg, Samantha Stevens Institute of Technology |
Bartek KlinKlin, Bartek University of WarsawPoland |
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan |
Wen KokkeKokke, Wen University of EdinburghUnited Kingdom |
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK |
Raghavan KomondoorKomondoor, Raghavan Indian Institute of Science, BangaloreIndia |
Insoo KooKoo, Insoo University of Ulsan, South Korea |
Cynthia KopKop, Cynthia Radboud University NijmegenNetherlands |
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance |
Derrick KourieKourie, Derrick Stellenbosch University |
Dexter KozenKozen, Dexter CornellUnited States |
Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands |
Jan KretinskyKretinsky, Jan Technical University of MunichGermany |
Daniel KroeningKroening, Daniel University of Oxford |
K Narayan KumarKumar, K Narayan Chennai Mathematical InstituteIndia |
Orna KupfermanKupferman, Orna Hebrew UniversityIsrael |
Marta KwiatkowskaKwiatkowska, Marta University of Oxford |
Charalampos KyriakopoulosKyriakopoulos, Charalampos Saarland University |
Barbara KönigKönig, Barbara University of Duisburg-Essen |
Ralf KüstersKüsters, Ralf University of Stuttgart |
Filip KřikavaKřikava, Filip Czech Technical UniversityCzechia |
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft Research |
Jim LairdLaird, Jim University of BathUnited Kingdom |
Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece |
Ivan LaneseLanese, Ivan University of Bologna/INRIA |
Timo LangLang, Timo Vienna University of Technology |
Alexis LaouarLaouar, Alexis Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS |
Olivier LaurentLaurent, Olivier CNRS & ENS LyonFrance |
Luca LaurentiLaurenti, Luca University of OxfordUnited Kingdom |
Marijana LazićLazić, Marijana TU WienAustria |
Peter Lefanu LumsdaineLefanu Lumsdaine, Peter Stockholm UniversitySweden |
Alexios LekidisLekidis, Alexios Aristotle University of Thessaloniki |
Sergueï LengletLenglet, Sergueï University of Lorraine, France |
Ondřej LengálLengál, Ondřej Brno University of Technology Czechia |
Lucie LerchLerch, Lucie Czech Technical University in PragueCzechia |
Xavier LeroyLeroy, Xavier Collège de FranceFrance |
Martin LeuckerLeucker, Martin University of LübeckGermany |
Thomas LeventisLeventis, Thomas Università di BolognaItaly |
Paul Blain LevyLevy, Paul Blain University of BirminghamUnited Kingdom |
Yong LiLi, Yong Institute of Software, Chinese Academy of SciencesChina |
Yue LiLi, Yue Heriot-Watt University, UKChina |
Lin LiuLiu, Lin Freie Universität Berlin |
Hans-Wolfgang LoidlLoidl, Hans-Wolfgang Heriot-Watt University, UK |
Michele LoretiLoreti, Michele University of CamerinoItaly |
Alexander LückLück, Alexander Saarland University |
Gerald LüttgenLüttgen, Gerald University of BambergGermany |
Petr MajMaj, Petr ReactorLabsCzechia |
Ouri MalerMaler, Ouri West Virginia University |
Frederic MalletMallet, Frederic Université Côte d'Azur, FranceFrance |
Amit Kr MandalMandal, Amit Kr Università Ca' Foscari, Venezia, Italy |
Niveditha ManjunathManjunath, Niveditha Austrian Institute of Technology |
Heiko MantelMantel, Heiko TU DarmstadtGermany |
Radu MardareMardare, Radu Aalborg UniversityDenmark |
Tiziana MargariaMargaria, Tiziana University of Limerick and Lero - The Irish Software Research Centre Ireland |
Stefan MarrMarr, Stefan University of KentUnited Kingdom |
Fabio MartinelliMartinelli, Fabio Istituto di Informatica e TelematicaItaly |
Manuel A. MartinsMartins, Manuel A. University of Aveiro |
Guido MartínezMartínez, Guido CIFASIS-CONICET, ArgentinaArgentina |
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly |
Christoph MathejaMatheja, Christoph RWTH Aachen UniversityGermany |
Jacopo MauroMauro, Jacopo University of Southern Denmark |
Guy McCuskerMcCusker, Guy University of BathUnited Kingdom |
Dylan McDermottMcDermott, Dylan University of Cambridge |
Annabelle McIverMcIver, Annabelle Macquarie UniversityAustralia |
Kuldeep S. MeelMeel, Kuldeep S. National University of SingaporeSingapore |
Hernan MelgrattiMelgratti, Hernan University of Buenos AiresArgentina |
Paul-André MellièsMelliès, Paul-André CNRS and University Paris Diderot |
Roland MeyerMeyer, Roland Technical University of BraunschweigGermany |
Michalis MichaelidesMichaelides, Michalis University of Edinburgh |
Marius MikucionisMikucionis, Marius Aalborg UniversityDenmark |
Anila MjedaMjeda, Anila Lero - The Irish Software Research Centre and University of LimerickIreland |
Sebastian A. MoedersheimMoedersheim, Sebastian A. Technical University of DenmarkDenmark |
Rosemary MonahanMonahan, Rosemary National University of Ireland |
Angelo MontanariMontanari, Angelo University of UdineItaly |
Andreia MordidoMordido, Andreia Lasige / Faculty of Sciences, Universidade de Lisboa |
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States |
Georg MoserMoser, Georg University of Innsbruck |
Cecile MoulinMoulin, Cecile Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623 |
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom |
Koko MuroyaMuroya, Koko RIMS, Kyoto University, JP & University of Birmingham, UK |
Anca MuschollMuscholl, Anca Université de Bordeaux / LaBRIFrance |
Alan MycroftMycroft, Alan University of Cambridge |
Chris MyersMyers, Chris University of UtahUnited States |
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark |
Markus Müller-OlmMüller-Olm, Markus University of MünsterGermany |
Jorge A. NavasNavas, Jorge A. SRI InternationalUnited States |
Tim NelsonNelson, Tim Brown UniversityUnited States |
Laura NenziNenzi, Laura University of TriesteItaly |
Rumyana NeykovaNeykova, Rumyana Brunel University LondonUnited Kingdom |
Nicholas NgNg, Nicholas Imperial College LondonUnited Kingdom |
Dejan NickovicNickovic, Dejan Austrian Institute of Technology |
Flemming NielsonNielson, Flemming Technical University of DenmarkDenmark |
Naoki NishidaNishida, Naoki Nagoya UniversityJapan |
Thomas NollNoll, Thomas RWTH Aachen University |
Dennis NolteNolte, Dennis University of Duisburg-Essen |
Morgane NouvianNouvian, Morgane University of Konstanz |
Muhammad Numair MansurNumair Mansur, Muhammad Max Planck Institute for Software Systems (MPI-SWS)Germany |
Alexander NutzNutz, Alexander University of Freiburg, Germany |
Carlos OlarteOlarte, Carlos Federal University of Rio Grande do Norte, Brazil |
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong Kong, Hong KongHong Kong |
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom |
Fernando OrejasOrejas, Fernando Universitat Politècnica de Catalunya, Spain |
Muhammad OsamaOsama, Muhammad Eindhoven University of TechnologyNetherlands |
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance |
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom |
Oded PadonPadon, Oded Stanford UniversityUnited States |
Michele PaganiPagani, Michele University Paris DiderotFrance |
Claire PagettiPagetti, Claire OneraFrance |
Miroslav PajicPajic, Miroslav Duke UniversityUnited States |
Catuscia PalamidessiPalamidessi, Catuscia INRIA and LIX |
Jun PangPang, Jun University of LuxembourgLuxembourg |
Nicola PaolettiPaoletti, Nicola Royal Holloway, University of London, UK |
Yiannis PapadopoulosPapadopoulos, Yiannis University of Hull |
Hugo PaquetPaquet, Hugo University of Cambridge |
Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton UniversityUnited States |
Junkil ParkPark, Junkil University of PennsylvaniaUnited States |
David ParkerParker, David University of BirminghamUnited Kingdom |
Marco PatrignaniPatrignani, Marco Stanford University & CISPA Helmholtz Center for Information SecurityUnited States |
Dirk PattinsonPattinson, Dirk Australian National UniversityAustralia |
Mathias Ruggaard PedersenPedersen, Mathias Ruggaard Aalborg University |
Artem PelenitsynPelenitsyn, Artem Northeastern UniversityUnited States |
Chao PengPeng, Chao University of Edinburgh, UKUnited Kingdom |
Sabine PeresPeres, Sabine Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623. |
Isabel Cristina Perez-VeronaPerez-Verona, Isabel Cristina IMT Institute for Advanced Studies Lucca, Italy |
Ion PetrePetre, Ion Åbo Akademi UniversityFinland |
Daniela PetrisanPetrisan, Daniela IRIF, Université Paris DiderotFrance |
Tatjana PetrovPetrov, Tatjana Universität KonstanzGermany |
Laure PetrucciPetrucci, Laure Université Paris 13France |
Alberto PettorossiPettorossi, Alberto University of Rome Tor Vergata, Italy |
Frank PfenningPfenning, Frank Carnegie Mellon University, USA |
Carla PiazzaPiazza, Carla University of UdineItaly |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Ken PiercePierce, Ken The University of Newcastle |
Yvonne-Anne PignoletPignolet, Yvonne-Anne ABB Corporate ResearchSwitzerland |
Elaine PimentelPimentel, Elaine Federal University of Rio Grande do Norte, Brazil |
Maciej PirógPiróg, Maciej University of WrocławPoland |
Paolo PistonePistone, Paolo University of TübingenItaly |
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAIL |
Andrew M. PittsPitts, Andrew M. University of Cambridge |
André PlatzerPlatzer, André Carnegie Mellon UniversityUnited States |
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany |
Piotr PolesiukPolesiuk, Piotr University of Wrocław |
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States |
Pablo PonzioPonzio, Pablo Dept. of Computer Science FCEFQyN, University of Rio Cuarto |
Danny Bøgsted PoulsenPoulsen, Danny Bøgsted University of Kiel, Germany |
Virgile PrevostoPrevosto, Virgile CEA Tech ListFrance |
Christian ProbstProbst, Christian Unitec Institute of TechnologyNew Zealand |
Ivan ProkićProkić, Ivan University of Novi Sad |
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States |
Klaas PruiksmaPruiksma, Klaas Carnegie Mellon University |
Romain PéchouxPéchoux, Romain INRIA / LORIAFrance |
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research CenterUnited States |
G. RamalingamRamalingam, G. Microsoft ResearchIndia |
Tahina RamananandroRamananandro, Tahina Microsoft Research, n.n.United States |
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia |
Giles RegerReger, Giles University of ManchesterUnited Kingdom |
John RennerRenner, John University of California, San Diego |
Arend RensinkRensink, Arend University of Twente, The NetherlandsNetherlands |
Thomas RepsReps, Thomas University of Wisconsin - Madison and GrammaTech, Inc.United States |
Adrian RiescoRiesco, Adrian Universidad Complutense de MadridSpain |
Eugénio A. M. RochaRocha, Eugénio A. M. University of Aveiro |
Simona Ronchi Della RoccaRonchi Della Rocca, Simona University of TorinoItaly |
Subhajit RoyRoy, Subhajit IIT Kanpur, India |
Philipp RuemmerRuemmer, Philipp Uppsala UniversitySweden |
Harald RuessRuess, Harald fortissGermany |
Bernhard RumpeRumpe, Bernhard RWTH AachenGermany |
Tobias RungeRunge, Tobias TU Braunschweig |
Alessandra RussoRusso, Alessandra Imperial College LondonUnited Kingdom |
Peter RyanRyan, Peter University of LuxembourgLuxembourg |
Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom |
René Rydhof HansenRydhof Hansen, René Aalborg University, Denmark |
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South |
Yann Régis-GianasRégis-Gianas, Yann IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France |
Andrei SabelfeldSabelfeld, Andrei Chalmers University of TechnologySweden |
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala UniversitySweden |
Rick SalaySalay, Rick University of TorontoCanada |
Malavika SamakSamak, Malavika CSAIL, MITUnited States |
Matteo SammartinoSammartino, Matteo University College London |
Gabriel SanduSandu, Gabriel University of HelsinkiFinland |
Davide SangiorgiSangiorgi, Davide University of BolognaItaly |
Guido SanguinettiSanguinetti, Guido University of EdinburghUnited Kingdom |
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States |
Don SannellaSannella, Don University of EdinburghUnited Kingdom |
Beatriz Santos-BuitragoSantos-Buitrago, Beatriz Seoul National University |
Gustavo Santos-GarciaSantos-Garcia, Gustavo Universidad de Salamanca |
Sergio SaponaraSaponara, Sergio University of Pisa, Italy |
Vivek SarkarSarkar, Vivek Rice University, USAUnited States |
Vladimiro SassoneSassone, Vladimiro University of SouthamptonUnited Kingdom |
Ivan ScagnettoScagnetto, Ivan University of Udine |
Alceste ScalasScalas, Alceste Aston UniversityUnited Kingdom |
Ina SchaeferSchaefer, Ina Technische Universität BraunschweigGermany |
Andrea SchalkSchalk, Andrea University of Manchester, UKUnited Kingdom |
Florian SchandaSchanda, Florian ZenuityGermany |
Michael SchaperSchaper, Michael University of Innsbruck |
Sven ScheweSchewe, Sven University of Liverpool |
Christian SchillingSchilling, Christian IST AustriaAustria |
Stefano SchivoSchivo, Stefano Open University of the NetherlandsNetherlands |
Peter SchrammelSchrammel, Peter University of Oxford, UK |
Igor SchreiberSchreiber, Igor University of Chemistry and Technology of Prague |
Anne SchreuderSchreuder, Anne Technischen Universität KaiserslauternGermany |
Lutz SchröderSchröder, Lutz FAU Erlangen-Nürnberg, Lehrstuhl 8 |
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany |
Philipp SchusterSchuster, Philipp University of Tübingen, Germany |
Carsten SchürmannSchürmann, Carsten IT University of CopenhagenDenmark |
Helmut SeidlSeidl, Helmut Technische Universität München |
Thomas SeillerSeiller, Thomas CNRSFrance |
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan |
Valerio SenniSenni, Valerio ALES Srl — UTRCItaly |
Sanjit SeshiaSeshia, Sanjit University of California, BerkeleyUnited States |
Vladimir ShakhovShakhov, Vladimir University of Ulsan, South Korea |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Rahul SharmaSharma, Rahul Microsoft ResearchIndia |
Natasha SharyginaSharygina, Natasha USI Lugano, SwitzerlandSwitzerland |
Filip SieczkowskiSieczkowski, Filip University of WrocławPoland |
Konrad SiekSiek, Konrad Czech Technical University in PragueCzechia |
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom |
Abhyudai SinghSingh, Abhyudai University of DelawareUnited States |
Ana SokolovaSokolova, Ana University of SalzburgAustria |
Oleg SokolskySokolsky, Oleg University of Pennsylvania, USA |
Paola SpoletiniSpoletini, Paola Kennesaw State UniversityUnited States |
Parasara Sridhar DuggiralaSridhar Duggirala, Parasara University of ConnecticutUnited States |
Kateřina StaňkováStaňková, Kateřina Maastricht UniversityNetherlands |
Deian StefanStefan, Deian University of California San Diego |
Florian SteinbergSteinberg, Florian INRIA SaclayGermany |
Christian SternagelSternagel, Christian University of Innsbruck, AustriaAustria |
Perdita StevensStevens, Perdita University of EdinburghUnited Kingdom |
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands |
Ilina StoilkovskaStoilkovska, Ilina Vienna University of Technology |
Jan StrejcekStrejcek, Jan Masaryk UniversityCzechia |
Zhendong SuSu, Zhendong ETH ZurichSwitzerland |
Alexander J. SummersSummers, Alexander J. ETH Zurich |
Jun SunSun, Jun Singapore University of Technology and DesignSingapore |
Meng SunSun, Meng Peking UniversityChina |
Youcheng SunSun, Youcheng University of Oxford |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
Janos SztipanovitsSztipanovits, Janos Vanderbilt UniversityUnited States |
Silvia Lizeth Tapia TarifaTapia Tarifa, Silvia Lizeth University of OsloNorway |
Michael TautschnigTautschnig, Michael Amazon Web ServicesUnited Kingdom |
Maurice ter Beekter Beek, Maurice Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy |
Tachio TerauchiTerauchi, Tachio Waseda University |
Peter ThiemannThiemann, Peter University of Freiburg, Germany |
Kristinn R. ThórissonThórisson, Kristinn R. Reykjavik University & Icelandic Institute for Intelligent MachinesIceland |
Thomas ThümThüm, Thomas University of UlmGermany |
Cesare TinelliTinelli, Cesare University of IowaUnited States |
Alwen TiuTiu, Alwen Australian National UniversityAustralia |
Bernardo ToninhoToninho, Bernardo Imperial College London |
Daniel Alberto Torres GonzalezTorres Gonzalez, Daniel Alberto LIPN, Université Paris 13Mexico |
Laurent TournierTournier, Laurent MaIAGE, INRA, Université Paris-Saclay. |
Louise Travé-MassuyèsTravé-Massuyès, Louise CNRSFrance |
Mirco TribastoneTribastone, Mirco IMT Institute for Advanced Studies Lucca, Italy |
Stavros TripakisTripakis, Stavros Northeastern UniversityUnited States |
Max TschaikowskiTschaikowski, Max TU Wien |
Max TschaikowskiTschaikowski, Max IMT Institute for Advanced Studies Lucca, Italy |
Takeshi TsukadaTsukada, Takeshi University of Tokyo, Japan |
emilio tuostotuosto, emilio University of LeicesterUnited Kingdom |
Andrea TurriniTurrini, Andrea State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences |
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland |
Marie van den Bogaardvan den Bogaard, Marie |
Marko van Eekelenvan Eekelen, Marko Open University of the NetherlandsNetherlands |
Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow |
Andrea VandinVandin, Andrea DTU, DenmarkDenmark |
Daniele VaraccaVaracca, Daniele Université Paris Est - Créteil |
Pedro VasconcelosVasconcelos, Pedro LIACC, Universidade do Porto, Porto, PortugalPortugal |
Vasco T. VasconcelosVasconcelos, Vasco T. University of Lisbon, Portugal |
Marco VassenaVassena, Marco Chalmers University of TechnologySweden |
Margus VeanesVeanes, Margus Microsoft Research |
Anthony VentresqueVentresque, Anthony Lero and University College DublinIreland |
Marcel VerhoefVerhoef, Marcel European Space AgencyNetherlands |
Alicia VillanuevaVillanueva, Alicia Universitat Politècnica de ValènciaSpain |
Huu-Phuc VoVo, Huu-Phuc Uppsala UniversitySweden |
Tomáš VojnarVojnar, Tomáš Brno University of TechnologyCzechia |
Niels VoorneveldVoorneveld, Niels University of LjubljanaSlovenia |
Valeriy VyatkinVyatkin, Valeriy Aalto University, Finland and Luleå University of Technology, Sweden |
Jouko VäänänenVäänänen, Jouko University of HelsinkiFinland |
András VörösVörös, András Budapest University of Technology and EconomicsHungary |
David WalkerWalker, David Princeton UniversityUnited States |
Jörn WalterWalter, Jörn Saarland University |
Meng WangWang, Meng University of Bristol, UKUnited Kingdom |
Wenxi WangWang, Wenxi The University of Texas at Austin, Texas, USAUnited States |
Yi WangWang, Yi Shenzhen University |
Todd Waugh AmbridgeWaugh Ambridge, Todd University of BirminghamUnited Kingdom |
James WeimerWeimer, James University of Pennsylvania, USA |
Thomas WiesWies, Thomas New York UniversityUnited States |
Reinhard WilhelmWilhelm, Reinhard Saarland UniversityGermany |
Pierre WilkeWilke, Pierre Yale University |
Martin WirsingWirsing, Martin Ludwig Maximilian University of MunichGermany |
Thorsten WißmannWißmann, Thorsten Friedrich-Alexander-Universität ErlangenGermany |
James WorrellWorrell, James University of OxfordUnited Kingdom |
Valentin WüstholzWüstholz, Valentin ConsenSys DiligenceGermany |
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark |
Ningning XieXie, Ningning University of TorontoCanada |
Yingfei XiongXiong, Yingfei Peking UniversityChina |
Eric XuXu, Eric Microsoft, USA |
Wang YiYi, Wang Uppsala University, Sweden |
Mingsheng YingYing, Mingsheng University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University.Australia |
Boyan YordanovYordanov, Boyan Microsoft ResearchUnited Kingdom |
Georg ZetzscheZetzsche, Georg Max Planck Institute for Software Systems (MPI-SWS)Germany |
Min ZhangZhang, Min East China Normal UniversityChina |
Fangyi ZhouZhou, Fangyi Imperial College London |
Margherita ZorziZorzi, Margherita Università degli Studi di VeronaItaly |
Lenore ZuckZuck, Lenore University of Illinois at ChicagoUnited Kingdom |
Paolo ZulianiZuliani, Paolo Newcastle UniversityUnited Kingdom |