POPL 2024 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (120)
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States |
Carlo AngiuliAngiuli, Carlo Carnegie Mellon UniversityUnited States |
Andrew W. AppelAppel, Andrew W. Princeton University |
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom |
Suguman BansalBansal, Suguman Georgia Institute of Technology, USAUnited States |
Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States |
Nick BentonBenton, Nick MetaUnited Kingdom |
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States |
Dariusz BiernackiBiernacki, Dariusz University of WrocławPoland |
Sandrine BlazyBlazy, Sandrine University of RennesFrance |
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance |
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium |
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information Security |
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom |
Sophia DrossopoulouDrossopoulou, Sophia Imperial College London United Kingdom |
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany |
Kostas FerlesFerles, Kostas Veridise Inc.United States |
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal |
Bernd FinkbeinerFinkbeiner, Bernd CISPA Helmholtz Center for Information SecurityGermany |
Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States |
Aymeric FromherzFromherz, Aymeric InriaFrance |
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom |
Francesco GavazzoGavazzo, Francesco University of Pisa, ItalyItaly |
Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly |
Georges GonthierGonthier, Georges Inria |
Colin GordonGordon, Colin Drexel UniversityUnited States |
Alexey GotsmanGotsman, Alexey IMDEA Software InstituteSpain |
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States |
H Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark |
Michael HicksHicks, Michael Amazon Web Services and the University of MarylandUnited States |
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States |
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States |
Limin JiaJia, Limin Carnegie Mellon University |
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States |
Gerwin KleinKlein, Gerwin CSIRO's Data61 and UNSW SydneyAustralia |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece |
Rodolphe LepigreLepigre, Rodolphe BedRock SystemsGermany |
Gregory MalechaMalecha, Gregory BedRock SystemsUnited States |
William ManskyMansky, William University of Illinois ChicagoUnited States |
Christoph MathejaMatheja, Christoph DTUDenmark |
Denis MerigouxMerigoux, Denis INRIAFrance |
Mae MilanoMilano, Mae University of California at BerkeleyUnited States |
Dale MillerMiller, Dale INRIA Saclay and LIXFrance |
Anders MiltnerMiltner, Anders Simon Fraser UniversityUnited States |
Stefan K. MullerMuller, Stefan K. Illinois Institute of TechnologyUnited States |
Peter MüllerMüller, Peter ETH ZurichSwitzerland |
Tobias NipkowNipkow, Tobias Technische Universität München |
Ulf NorellNorell, Ulf Gothenburg UniversitySweden |
Jennifer PaykinPaykin, Jennifer Intel LabsUnited States |
Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom |
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark |
Andrew M. PittsPitts, Andrew M. University of Cambridge |
Anton PodkopaevPodkopaev, Anton JetBrains Research, Constructor UniversityNetherlands |
Andrei PopescuPopescu, Andrei University of SheffieldUnited Kingdom |
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States |
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance |
Sriram RajamaniRajamani, Sriram Microsoft Research |
Steven RamsayRamsay, Steven University of BristolUnited Kingdom |
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States |
James RielyRiely, James DePaul UniversityUnited States |
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States |
Christine RizkallahRizkallah, Christine University of MelbourneAustralia |
Tiark RompfRompf, Tiark Purdue UniversityUnited States |
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada |
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea |
Ilya SergeySergey, Ilya National University of SingaporeSingapore |
Peter SewellSewell, Peter University of CambridgeUnited Kingdom |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States |
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States |
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-ChampaignUnited States |
Satnam SinghSingh, Satnam GroqUnited States |
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia |
Kristina SojakovaSojakova, Kristina InriaFrance |
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom |
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States |
Emina TorlakTorlak, Emina Amazon Web Services and University of WashingtonUnited States |
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark |
Nikos TzevelekosTzevelekos, Nikos Queen Mary University of London |
Jules VillardVillard, Jules MetaUnited Kingdom |
John WickersonWickerson, John Imperial College LondonUnited Kingdom |
Thomas WiesWies, Thomas New York UniversityUnited States |
Max WillseyWillsey, Max University of WashingtonUnited States |
Sebastian WolffWolff, Sebastian New York UniversityUnited States |
Xiaodi WuWu, Xiaodi University of MarylandUnited States |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |
Georg ZetzscheZetzsche, Georg MPI-SWSGermany |
Danfeng ZhangZhang, Danfeng Pennsylvania State UniversityUnited States |
Yizhou ZhangZhang, Yizhou University of WaterlooCanada |