POPL 2016 Contributors
Filter
Role Type
Committee member
Contributor/Author
Session chair
Contributing to
CPP
CoqPL
Off the Beaten Track
PADL
PEPM
PLMW
POPL
PPS
VMCAI
Number of Roles
1..3
4..6
Country
-unspecified-
Australia
Austria
Belgium
Brazil
Bulgaria
Canada
Chile
China
Czechia
Denmark
France
Germany
Greece
Hong Kong
India
Iran
Israel
Italy
Japan
Korea, South
Netherlands
Poland
Russia
Slovakia
Spain
Sweden
Switzerland
Turkey
United Kingdom
United States
Vietnam
Search
Results (603)
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityTurkey |
Ali AfroozehAfroozeh, Ali Centrum Wiskunde & Informatica |
Thorsten AltenkirchAltenkirch, Thorsten University of Nottingham |
Rajeev AlurAlur, Rajeev University of Pennsylvania |
Mario AlvianoAlviano, Mario University of Calabria |
Thomas AndersonAnderson, Thomas University of Washington |
Marc AndryscoAndrysco, Marc University of California, San DiegoUnited States |
Steve AntonAnton, Steve University of Washington |
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan |
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala UniversitySweden |
Robert AtkeyAtkey, Robert University of StrathclydeUnited Kingdom |
Jeremy AvigadAvigad, Jeremy Carnegie Mellon University |
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur University of Pennsylvania |
Stephanie BalzerBalzer, Stephanie Carnegie Mellon University |
Pablo BarceloBarcelo, Pablo University of Chile, Chile |
Dan BarowyBarowy, Dan University of Massachusetts AmherstUnited States |
Alexandre BartelBartel, Alexandre Technical University Darmstadt |
Roman BartákBarták, Roman Charles University in Prague |
Andrej BauerBauer, Andrej University of Ljubljana |
Nick BentonBenton, Nick Microsoft Research, Cambridge |
Lars BergstromBergstrom, Lars Mozilla Research |
Somashekaracharya G BhaskaracharyaBhaskaracharya, Somashekaracharya G Indian Institute of Science and National Instruments |
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research |
Sandrine BlazyBlazy, Sandrine IRISA / University of Rennes 1 |
Rastislav BodíkBodík, Rastislav University of Washington, USASlovakia |
Uday BondhugulaBondhugula, Uday Indian Institute of ScienceIndia |
Johannes BorgströmBorgström, Johannes Uppsala University |
James BornholtBornholt, James University of Washington |
Edwin BradyBrady, Edwin University of St Andrews |
William E. ByrdByrd, William E. University of UtahUnited States |
Quentin CarbonneauxCarbonneaux, Quentin Yale University |
Luca CardelliCardelli, Luca Microsoft Research and University of Oxford |
Jacques CaretteCarette, Jacques McMaster UniversityCanada |
Manuel CarroCarro, Manuel IMDEA Software Institute and T.U. of Madrid (UPM) |
Giuseppe CastagnaCastagna, Giuseppe Paris Diderot University & CNRSItaly |
Pavol CernyCerny, Pavol University of Colorado BoulderSlovakia |
Aleksandar ChakarovChakarov, Aleksandar University of Colorado, Boulder |
Shing-Chi CheungCheung, Shing-Chi Department of Computer Science and Engineering, The Hong Kong University of Science and Technology |
Olaf ChitilChitil, Olaf University of Kent, UK |
Duc-Hiep ChuChu, Duc-Hiep National University of SingaporeVietnam |
Matteo CiminiCimini, Matteo Indiana University |
Corina CirsteaCirstea, Corina University of Southampton |
Andrew CobbCobb, Andrew Northeastern University |
Albert CohenCohen, Albert INRIAFrance |
Thierry CoquandCoquand, Thierry Chalmers University of Technology, Sweden |
Agostino CortesiCortesi, Agostino Università Ca' Foscari Venezia |
Ryan CulpepperCulpepper, Ryan Northeastern University |
Pierre-Louis CurienCurien, Pierre-Louis Univ. Paris Diderot and INRIA Paris-Rocquencourt |
Lukasz CzajkaCzajka, Lukasz University of Innsbruck |
Ugo Dal LagoDal Lago, Ugo University of Bologna |
David DaraisDarais, David University of Maryland, College ParkUnited States |
Eva DarulovaDarulova, Eva MPI-SWS, Germany |
Ingmar DassevilleDasseville, Ingmar KU Leuven |
Emanuele De AngelisDe Angelis, Emanuele University of Chieti-Pescara |
Will DeaconDeacon, Will ARM Ltd. |
Antoine Delignat-LavaudDelignat-Lavaud, Antoine INRIA |
Marc DeneckerDenecker, Marc KU Leuven |
Matthew DeringDering, Matthew Pennsylvania State University |
Dominique DevrieseDevriese, Dominique iMinds - Distrinet, KU LeuvenBelgium |
Işıl DilligDillig, Işıl University of Texas, AustinTurkey |
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom |
Derek DreyerDreyer, Derek MPI-SWS |
Cezara DrăgoiDrăgoi, Cezara INRIA, ENS, CNRS |
Thomas EiterEiter, Thomas Vienna University of Technology |
Ran El-YanivEl-Yaniv, Ran Technion, Israel Institute of Technology |
Constantin EneaEnea, Constantin LIAFA, Université Paris Diderot |
Joey EremondiEremondi, Joey Utrecht UniversityCanada |
Michael D. ErnstErnst, Michael D. University of Washington |
Martin ErwigErwig, Martin Oregon State University |
Amy FeltyFelty, Amy University of Ottawa |
Xinyu FengFeng, Xinyu University of Science and Technology of China |
Carla FerreiraFerreira, Carla Universidade Nova Lisboa |
Marcelo FioreFiore, Marcelo Computer Laboratory, University of Cambridge |
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States |
Dana FismanFisman, Dana University of Pennsylvania |
Shaked FlurFlur, Shaked University of Cambridge |
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland at College Park, USA |
Jonathan FrankleFrankle, Jonathan Princeton University |
Thom FruehwirthFruehwirth, Thom University of Ulm |
Nathan FultonFulton, Nathan Carnegie Mellon University |
Ronald GarciaGarcia, Ronald University of British Columbia |
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom |
Pranav GargGarg, Pranav University of Illinois at Urbana-Champaign |
Jacques GarrigueGarrigue, Jacques Nagoya University |
Marco GavanelliGavanelli, Marco Universita di FerraraItaly |
Roberto GiacobazziGiacobazzi, Roberto University of Verona, Italy |
Theophilos GiannakopoulosGiannakopoulos, Theophilos BAE Systems, Inc. |
Paolo G. GiarrussoGiarrusso, Paolo G. University of Tübingen, GermanyItaly |
Jeremy GibbonsGibbons, Jeremy University of Oxford, UK |
Andy GillGill, Andy University of Kansas |
Hannah GommerstadtGommerstadt, Hannah Carnegie Mellon University |
Alexey GotsmanGotsman, Alexey IMDEA |
Bjørn Bugge GrathwohlGrathwohl, Bjørn Bugge DIKU, University of Copenhagen |
Kathryn E. GrayGray, Kathryn E. University of Cambridge |
Radu GrigoreGrigore, Radu University of Oxford |
Jurriaan HageHage, Jurriaan Utrecht UniversityNetherlands |
Matthew HagueHague, Matthew Royal Holloway University of London, UK |
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States |
Robert HarperHarper, Robert Carnegie Mellon UniversityUnited States |
Rouzbeh HasheminezhadHasheminezhad, Rouzbeh Sharif University |
Chris HawblitzelHawblitzel, Chris Microsoft Research |
Fritz HengleinHenglein, Fritz DIKU, Denmark |
Michael HicksHicks, Michael University of Maryland at College Park, USA |
Naohiko HoshinoHoshino, Naohiko Kyoto University |
Zhenjiang HuHu, Zhenjiang National Institute of InformaticsJapan |
Daniel HuangHuang, Daniel Harvard University |
John HughesHughes, John Chalmers University of Technology |
Chung-Kil HurHur, Chung-Kil Seoul National University |
Johannes HölzlHölzl, Johannes Technische Universität MünchenGermany |
Neil ImmermanImmerman, Neil University of Massachusetts, Amherst |
Jun InoueInoue, Jun National Institute of Advanced Industrial Science and Technology, Japan |
Anastasia IzmaylovaIzmaylova, Anastasia Centrum Wiskunde & Informatica |
Bart JacobsJacobs, Bart iMinds - Distrinet, KU LeuvenBelgium |
Joxan JaffarJaffar, Joxan National University of Singapore |
Suresh JagannathanJagannathan, Suresh DARPAUnited States |
Gerda JanssensJanssens, Gerda KU Leuven |
Jean-Baptiste JeanninJeannin, Jean-Baptiste Carnegie Mellon University |
Jan JelínekJelínek, Jan Charles University in Prague |
Ranjit JhalaJhala, Ranjit University of California, San Diego |
Barbara JobstmannJobstmann, Barbara EPFL, SwitzerlandSwitzerland |
Patricia JohannJohann, Patricia Appalachian State University |
Jaakko JärviJärvi, Jaakko Texas A&M University |
Benjamin Lucien KaminskiKaminski, Benjamin Lucien RWTH Aachen University |
Aditya KanadeKanade, Aditya Indian Institute of Science |
Jeehoon KangKang, Jeehoon Seoul National UniversityKorea, South |
Ambrus KaposiKaposi, Ambrus University of Nottingham |
Aleksandr KarbyshevKarbyshev, Aleksandr Tel Aviv University |
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen University |
Omer KatzKatz, Omer Technion, Israel Institute of TechnologyIsrael |
Stephen KellKell, Stephen University of Cambridge |
Yoonseung KimKim, Yoonseung Seoul National University (South Korea) |
Christoph KirschKirsch, Christoph University of Salzburg |
Håkan KjellerstrandKjellerstrand, Håkan CUNY Brooklyn College and Graduate Center |
Jacques KleinKlein, Jacques University of Luxembourg |
Aleksey KligerKliger, Aleksey Xamarin, Inc.United States |
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ National Institute of InformaticsJapan |
Naoki KobayashiKobayashi, Naoki University of TokyoJapan |
Jonathan KochemsKochems, Jonathan Department of Computer Science, University of Oxford |
Markulf KohlweissKohlweiss, Markulf Microsoft Research |
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories |
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States |
K Narayan KumarKumar, K Narayan Chennai Mathematical Institute |
Marta KwiatkowskaKwiatkowska, Marta University of Oxford |
Peter LammichLammich, Peter Technische Universität München |
Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece |
Yves Le TraonLe Traon, Yves University of Luxembourg |
Carl LeonardssonLeonardsson, Carl Uppsala University |
Sorin LernerLerner, Sorin University of California, San Diego |
Hongyu LiLi, Hongyu Rice University |
Wenda LiLi, Wenda University of CambridgeChina |
Hongjin LiangLiang, Hongjin University of Science and Technology of China |
Daniel R. LicataLicata, Daniel R. Wesleyan University |
Jay LigattiLigatti, Jay University of South Florida |
Anthony Widjaja LinLin, Anthony Widjaja Yale-NUS College, SingaporeAustralia |
Sam LindleyLindley, Sam University of Edinburgh |
Y. Annie LiuLiu, Y. Annie Stony Brook University, USA |
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States |
Nuno P. LopesLopes, Nuno P. Microsoft Research |
Matteo MaffeiMaffei, Matteo Saarland UniversityGermany |
Geoffrey MainlandMainland, Geoffrey Drexel University |
Saeed MalekiMaleki, Saeed Microsoft Research |
Panagiotis ManoliosManolios, Panagiotis Northeastern University |
Luc MarangetMaranget, Luc INRIA Rocquencourt |
Chris MartensMartens, Chris Carnegie Mellon UniversityUnited States |
Marek MaterzokMaterzok, Marek University of Wroclaw |
Jedidiah McClurgMcClurg, Jedidiah University of Colorado BoulderUnited States |
Patrick McDanielMcDaniel, Patrick Pennsylvania State University |
Matthew MightMight, Matthew University of Utah, USAUnited States |
Dale MillerMiller, Dale INRIA Saclay and LIX |
Yohei MiyamotoMiyamoto, Yohei Graduate School of Informatics, Kyoto University |
Scott MooreMoore, Scott Harvard UniversityUnited States |
Larry MossMoss, Larry Indiana University |
Shin-Cheng MuMu, Shin-Cheng Academia Sinica |
Madhavan MukundMukund, Madhavan Chennai Mathematical InstituteIndia |
Dominic MulliganMulligan, Dominic Cambridge University |
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume Computer Laboratory, University of CambridgeFrance |
Koko MuroyaMuroya, Koko University of Tokyo |
Richard M. MurrayMurray, Richard M. California Institute of Technology |
Mahsa NajafzadehNajafzadeh, Mahsa UPMC & INRIA |
Koji NakazawaNakazawa, Koji Graduate School of Information Science, Nagoya University |
Chandrakana NandiNandi, Chandrakana University of Washington, USAIndia |
Daniel NeiderNeider, Daniel University of Illinois at Urbana-Champaign |
Pierre NeronNeron, Pierre TU DelftFrance |
ThanhVu NguyenNguyen, ThanhVu University of Maryland |
Tobias NipkowNipkow, Tobias Technische Universität München |
Aditya NoriNori, Aditya Microsoft Research, UKIndia |
Dominic OrchardOrchard, Dominic Imperial College LondonUnited Kingdom |
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States |
Klaus OstermannOstermann, Klaus University of Tübingen, GermanyGermany |
Long OuyangOuyang, Long Stanford University |
Brooks PaigePaige, Brooks University of Oxford |
Jens PalsbergPalsberg, Jens University of California, Los Angeles |
Prakash PanangadenPanangaden, Prakash McGill UniversityIndia |
Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton University |
Pavel ParizekParizek, Pavel Charles University in Prague |
David ParkerParker, David University of BirminghamUnited Kingdom |
Marco PatrignaniPatrignani, Marco KU LeuvenItaly |
Lawrence PaulsonPaulson, Lawrence Cambridge University |
Tommaso PetruccianiPetrucciani, Tommaso DIBRIS, Università di Genova, Italy & PPS, Université Paris Diderot, France |
Jean Pichon-PharabodPichon-Pharabod, Jean University of Cambridge |
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States |
Frank PiessensPiessens, Frank iMinds - Distrinet, KU LeuvenBelgium |
Andrew M. PittsPitts, Andrew M. University of Cambridge |
Andreas PodelskiPodelski, Andreas University of Freiburg |
Johannes Å. PohjolaPohjola, Johannes Å. Uppsala University |
Nadia PolikarpovaPolikarpova, Nadia MIT CSAIL, USARussia |
Randy PollackPollack, Randy Harvard University |
Enrico PontelliPontelli, Enrico New Mexico State University |
Andrei PopescuPopescu, Andrei Middlesex University, London |
Louis-Noël PouchetPouchet, Louis-Noël Ohio State University |
Christopher PultePulte, Christopher University of Cambridge |
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research Center |
Karol PąkPąk, Karol University of Bialystok, Institute of Computer Science |
Mukund RaghothamanRaghothaman, Mukund University of Pennsylvania |
Robert RandRand, Robert University of PennsylvaniaUnited States |
Ulrik Terp RasmussenRasmussen, Ulrik Terp DIKU, University of Copenhagen |
Fabrice RastelloRastello, Fabrice INRIA, France |
Aseem RastogiRastogi, Aseem University of Maryland, College Park |
John ReppyReppy, John University of Chicago |
Thomas RepsReps, Thomas University of Wisconsin - Madison and Grammatech Inc.United States |
Daniel RickettsRicketts, Daniel University of California, San Diego |
Martin C. RinardRinard, Martin C. Massachusetts Institute of Technology, USA |
Tiark RompfRompf, Tiark Purdue & Oracle Labs |
Dan RothRoth, Dan University of Illinois at Urbana-Champaign |
Philipp RuemmerRuemmer, Philipp Uppsala University |
Stuart RussellRussell, Stuart University of California, Berkeley |
Claudio RussoRusso, Claudio Microsoft Research |
Brian RuttenbergRuttenberg, Brian Charles River Analytics |
Andrey RybalchenkoRybalchenko, Andrey Microsoft Research |
P. SadayappanSadayappan, P. Ohio State University |
Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael |
Malavika SamakSamak, Malavika Indian Institute of Science, BangaloreIndia |
Davide SangiorgiSangiorgi, Davide University of Bologna |
Susmit SarkarSarkar, Susmit University of St Andrews |
Ryosuke SatoSato, Ryosuke University of Tokyo |
Torsten SchaubSchaub, Torsten University of Potsdam |
Maria A SchettSchett, Maria A University of InnsbruckAustria |
Peter SchrammelSchrammel, Peter University of Oxford, UK |
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark |
Bernhard SchölkopfSchölkopf, Bernhard MPI Tuebingen |
Koushik SenSen, Koushik University of California, Berkeley |
Alejandro SerranoSerrano, Alejandro Utrecht University |
Ali SezginSezgin, Ali University of Cambridge |
Chung-chieh ShanShan, Chung-chieh Indiana University |
Marc ShapiroShapiro, Marc Inria & LIP6France |
Elaine ShiShi, Elaine University of Maryland, College Park |
Shunsuke ShimizuShimizu, Shunsuke University of Tokyo |
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States |
Rishabh SinghSingh, Rishabh Microsoft ResearchIndia |
Yannis SmaragdakisSmaragdakis, Yannis University of Athens |
Armando Solar-LezamaSolar-Lezama, Armando MITUnited States |
Tyler SorensenSorensen, Tyler University College London |
Michel St-MartinSt-Martin, Michel University of Ottawa |
Sean StromstenStromsten, Sean BAE Systems, Inc. |
Pierre-Yves StrubStrub, Pierre-Yves IMDEA Software InstituteSpain |
Kenichi SuzukiSuzuki, Kenichi University of Tsukuba, Japan |
Josef SvenningssonSvenningsson, Josef Chalmers University of Technology, Sweden |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
Marcin SzymczakSzymczak, Marcin University of Edinburgh |
Kristoffer Aalund SøholmSøholm, Kristoffer Aalund Jobindex, DenmarkDenmark |
Éric TanterTanter, Éric University of Chile, ChileChile |
Ross TateTate, Ross Cornell UniversityUnited States |
Peter ThiemannThiemann, Peter University of FreiburgGermany |
Simon ThompsonThompson, Simon University of Kent |
Cesare TinelliTinelli, Cesare University of Iowa |
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States |
Andrew TolmachTolmach, Andrew Portland State University |
David TolpinTolpin, David University of Oxford |
Emina TorlakTorlak, Emina University of WashingtonUnited States |
Emma ToschTosch, Emma University of Massachusetts Amherst |
Mirco TribastoneTribastone, Mirco IMT Institute for Advanced Studies Lucca, Italy |
Max TschaikowskiTschaikowski, Max IMT Institute for Advanced Studies Lucca, Italy |
Emma TuretskyTuretsky, Emma CS Dept., Univ. of Wisconsin-Madison |
Sebastian Paaske TørholmTørholm, Sebastian Paaske Jobindex, DenmarkDenmark |
Caterina UrbanUrban, Caterina Inria & École Normale Supérieure | Université PSLFrance |
Hendrik van Antwerpenvan Antwerpen, Hendrik Delft University of Technology, Netherlands |
Floris van Doornvan Doorn, Floris Carnegie Mellon University |
Pieter Van HertumVan Hertum, Pieter KU Leuven |
Eric Van WykVan Wyk, Eric University of MinnesotaUnited States |
Andrea VandinVandin, Andrea IMT Institute for Advanced Studies Lucca, ItalyItaly |
George VargheseVarghese, George Microsoft Research |
Martin VechevVechev, Martin ETH ZurichBulgaria |
Flavio VellaVella, Flavio Sapienza University of Rome, Italy |
Valeria VignudelliVignudelli, Valeria University of Bologna/INRIA |
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands |
Jan VitekVitek, Jan Northeastern UniversitySwitzerland |
Tomáš VojnarVojnar, Tomáš Brno University of Technology Czechia |
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge |
Philip WadlerWadler, Philip University of EdinburghUnited States |
Eric WalkingshawWalkingshaw, Eric Oregon State UniversityUnited States |
John WickersonWickerson, John Imperial College LondonUnited Kingdom |
James R. WilcoxWilcox, James R. University of WashingtonUnited States |
Daniel Winograd-CortWinograd-Cort, Daniel University of Pennsylvania |
Frank WoodWood, Frank University of Oxford |
Doug WoosWoos, Doug University of WashingtonUnited States |
Rongxin WuWu, Rongxin Department of Computer Science and Engineering, The Hong Kong University of Science and Technology |
Xiao XiaoXiao, Xiao The Hong Kong University of Science and Technology |
Santiago Zanella-BéguelinZanella-Béguelin, Santiago Microsoft Research |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |
Neng-Fa ZhouZhou, Neng-Fa CUNY Brooklyn College and Graduate Center |
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USA |
Jean-Karim ZinzindohouéZinzindohoué, Jean-Karim INRIA |