PLDI 2015 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (488)
Kunal AgrawalAgrawal, Kunal Washington University in St. Louis |
Alex AikenAiken, Alex Stanford University |
Jade AlglaveAlglave, Jade University College LondonFrance |
Karim AliAli, Karim Technical University at Darmstadt, Germany Egypt |
Rajeev AlurAlur, Rajeev University of Pennsylvania |
Jose Nelson AmaralAmaral, Jose Nelson University of AlbertaCanada |
Saman AmarasingheAmarasinghe, Saman MIT |
Thomas AndersonAnderson, Thomas University of Washington |
Jason AnselAnsel, Jason Massachusetts Institute of Technology |
Rafael AsenjoAsenjo, Rafael Universidad de MálagaSpain |
Anindya BanerjeeBanerjee, Anindya IMDEA Software Institute |
Dan BarowyBarowy, Dan University of Massachusetts AmherstUnited States |
Richard BarrettBarrett, Richard Sandia National Laboratories |
Michael BauerBauer, Michael NVIDIA Research |
Michela BecchiBecchi, Michela University of Missouri |
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States |
João BispoBispo, João FEUP, Universidade do PortoPortugal |
Swarnendu BiswasBiswas, Swarnendu Ohio State UniversityUnited States |
Steve BlackburnBlackburn, Steve Australian National University Australia |
Rastislav BodíkBodík, Rastislav UC Berkeley |
CF Bolz-TereickBolz-Tereick, CF King's College London |
Michael D. BondBond, Michael D. Ohio State University |
James BornholtBornholt, James University of Washington |
William J. BowmanBowman, William J. Northeastern UniversityUnited States |
Jens BreitbartBreitbart, Jens Technische Universität München |
Mauricio BreternitzBreternitz, Mauricio AMD |
Sebastian BuchwaldBuchwald, Sebastian Karlsruhe Institute of Technology |
Bernd BurgstallerBurgstaller, Bernd Yonsei University |
Michael BurkeBurke, Michael Rice University |
Martin BurtscherBurtscher, Martin Texas State University |
Calin CascavalCascaval, Calin Qualcomm Research |
John CavazosCavazos, John University of Delaware |
Pavol CernyCerny, Pavol University of Colorado Boulder |
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder |
Haibo ChenChen, Haibo Shanghai Jiao Tong University |
Wenguang ChenChen, Wenguang Tsinghua University |
Perry ChengCheng, Perry IBM Research |
Yifeng ChengCheng, Yifeng Peking University |
Wei-Ngan ChinChin, Wei-Ngan National University of Singapore |
Olaf ChitilChitil, Olaf University of Kent, UK |
Stephen ChongChong, Stephen Harvard University |
Duc-Hiep ChuChu, Duc-Hiep National University of SingaporeVietnam |
Tiago CogumbreiroCogumbreiro, Tiago Rice UniversityPortugal |
Byron CookCook, Byron Microsoft Research |
Charlie CurtsingerCurtsinger, Charlie University of Massachusetts Amherst |
Mila Dalla PredaDalla Preda, Mila University of Verona, Italy |
Alain DarteDarte, Alain Ecole Normale Supérieure de Lyon |
Saumya DebrayDebray, Saumya University of Arizona |
Pantazis DeligiannisDeligiannis, Pantazis Imperial College London |
Brian DemskyDemsky, Brian University of California, Irvine |
Joseph DeviettiDevietti, Joseph University of Pennsylvania |
Thomas DilligDillig, Thomas University of Texas, Austin |
Chen DingDing, Chen University of RochesterUnited States |
Yufei DingDing, Yufei North Carolina State UniversityChina |
Julian DolbyDolby, Julian IBM ResearchUnited States |
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom |
Alexandre DonzeDonze, Alexandre University of California, Berkeley |
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom |
Stéphane DucasseDucasse, Stéphane INRIA Lille |
Susan EisenbachEisenbach, Susan Imperial College London |
Constantin EneaEnea, Constantin LIAFA, Université Paris Diderot |
Kai EngelhardtEngelhardt, Kai UNSW and NICTAGermany |
Christoph ErhardtErhardt, Christoph Friedrich-Alexander University of Erlangen-Nürnberg |
Michael D. ErnstErnst, Michael D. University of Washington |
Hadi EsmaeilzadehEsmaeilzadeh, Hadi Georgia Tech |
Alexandra (Sasha) FedorovaFedorova, Alexandra (Sasha) Simon Fraser University |
Jack FeserFeser, Jack Rice University |
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States |
Cormac FlanaganFlanagan, Cormac UC Santa Cruz |
Matthew FlattFlatt, Matthew University of Utah |
Claudia FohryFohry, Claudia Universität Kassel |
Daniel FramptonFrampton, Daniel Microsoft |
Stephen N. FreundFreund, Stephen N. Williams College |
Dmitri GarbuzovGarbuzov, Dmitri University of Pennsylvania |
Patrice GodefroidGodefroid, Patrice Microsoft Research |
Laure GonnordGonnord, Laure University of Lyon & LIP, France |
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of Utah |
R. GovindarajanGovindarajan, R. Korea Advanced Institute of Science and Technology |
Clemens GrelckGrelck, Clemens University of AmsterdamGermany |
Dan GrossmanGrossman, Dan University of Washington |
Rajiv GuptaGupta, Rajiv UC Riverside |
Sam GuyerGuyer, Sam Tufts University |
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany |
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States |
Sara S. HamoudaHamouda, Sara S. Australian National University |
Stefan HanenbergHanenberg, Stefan University of Duisburg-EssenGermany |
Ted HartHart, Ted Microsoft Research |
Bjoern HartmannHartmann, Bjoern UC Berkeley |
Matthias HauswirthHauswirth, Matthias University of Lugano |
Laurie HendrenHendren, Laurie McGill UniversityCanada |
Mark HillsHills, Mark East Carolina UniversityUnited States |
Michael HindHind, Michael IBM Research |
Martin HirzelHirzel, Martin IBM Research |
Henry HoffmannHoffmann, Henry University of Chicago |
Michihiro HorieHorie, Michihiro IBM Research - Tokyo |
Tony HoskingHosking, Tony Australian National University, Data61, and Purdue UniversityAustralia |
Jeff HuangHuang, Jeff Texas A&M University |
Chung-Kil HurHur, Chung-Kil Seoul National University |
Daisuke IshiiIshii, Daisuke Tokyo Institute of Technology |
Chinawat IsradisaikulIsradisaikul, Chinawat Cornell UniversityThailand |
Joxan JaffarJaffar, Joxan National University of Singapore |
Sameer JagdaleJagdale, Sameer McGill UniversityIndia |
Jinseong JeonJeon, Jinseong University of Maryland, College ParkUnited States |
Somesh JhaJha, Somesh University of Wisconsin, Madison |
Ranjit JhalaJhala, Ranjit University of California, San Diego |
Youngjoon JoJo, Youngjoon Purdue University |
Andrew JohnsonJohnson, Andrew Harvard UniversityUnited States |
Pramod JoishaJoisha, Pramod Hewlett-Packard |
Richard JonesJones, Richard University of Kent |
Jaakko JärviJärvi, Jaakko Texas A&M University |
Mahmut Taylan KandemirKandemir, Mahmut Taylan Pennsylvania State University |
Jeehoon KangKang, Jeehoon Seoul National UniversityKorea, South |
Vineeth KashyapKashyap, Vineeth GrammaTech, Inc.India |
Kiyokuni KawachiyaKawachiya, Kiyokuni IBM Research - Tokyo |
Madhukar KedlayaKedlaya, Madhukar University of California, Santa BarbaraIndia |
Paul H J KellyKelly, Paul H J Imperial College London |
Andrew KennedyKennedy, Andrew Microsoft Research |
Dileep KiniKini, Dileep University of Illinois at Urbana-Champaign |
Andreas KloecknerKloeckner, Andreas University of Illinois at Urbana-ChampaignUnited States |
Murali Krishna EmaniKrishna Emani, Murali The University of Edinburgh |
Murali Krishna RamanathanKrishna Ramanathan, Murali Indian Institute of Science, BangaloreIndia |
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories |
Emre KultursayKultursay, Emre Pennsylvania State University |
Markus KusanoKusano, Markus Virginia TechUnited States |
Ton Chanh LeLe, Ton Chanh National University of SingaporeSingapore |
Vu LeLe, Vu University of California, Davis |
Doug LeaLea, Doug State University of New York (SUNY) Oswego |
Sorin LernerLerner, Sorin University of California, San Diego |
Ondřej LhotákLhoták, Ondřej University of Waterloo |
Ben LiblitLiblit, Ben University of Wisconsin–Madison |
Ben LivshitsLivshits, Ben Microsoft Research |
Daniel LohmannLohmann, Daniel Friedrich-Alexander University of Erlangen-Nürnberg |
Stephen LongfieldLongfield, Stephen Cornell University |
Shan LuLu, Shan University of Chicago |
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States |
Nuno MachadoMachado, Nuno INESC-ID / Instituto Superior Técnico, Universidade de Lisboa |
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-Champaign |
Scott MahlkeMahlke, Scott University of Michigan |
Roman ManevichManevich, Roman Ben-Gurion University of the NegevIsrael |
Rajit ManoharManohar, Rajit Cornell University |
William ManskyMansky, William University of PennsylvaniaUnited States |
Stefan MarrMarr, Stefan Inria, FranceGermany |
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan |
Jedidiah McClurgMcClurg, Jedidiah University of Colorado BoulderUnited States |
Kathryn S McKinleyMcKinley, Kathryn S Microsoft Research |
Sanyam MehtaMehta, Sanyam University of MinnesotaIndia |
Na MengMeng, Na University of Texas at Austin |
Leo MeyerovichMeyerovich, Leo Graphistry |
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute |
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne |
Josh MilthorpeMilthorpe, Josh IBM ResearchAustralia |
Subhasish MitraMitra, Subhasish Stanford University |
Manuel MohrMohr, Manuel Karlsruhe Institute of Technology |
David MonniauxMonniaux, David CNRS, VERIMAG |
Scott MooreMoore, Scott Harvard UniversityUnited States |
Eliot MossMoss, Eliot University of Massachusetts AmherstUnited States |
Todd MytkowiczMytkowicz, Todd Microsoft Research |
Toshio NakataniNakatani, Toshio IBM Research, Tokyo |
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software Institute |
Satish NarayanasamyNarayanasamy, Satish University of Michigan |
Rupesh NasreNasre, Rupesh IIT Madras, India |
Iulian NeamtiuNeamtiu, Iulian University of California, Riverside United States |
Khanh NguyenNguyen, Khanh University of California, Irvine |
Brittany NkounkouNkounkou, Brittany Cornell University |
James NobleNoble, James Victoria University of Wellington |
Michael NorrishNorrish, Michael NICTAAustralia |
Nate NystromNystrom, Nate University of Lugano |
Robert O'CallahanO'Callahan, Robert Mozilla Corporation |
Eleanor O'RourkeO'Rourke, Eleanor University of Washington |
Rei OdairaOdaira, Rei IBM Research - Tokyo |
Martin OderskyOdersky, Martin Ecole Polytechnique Federale de LausanneGermany |
Benjamin OechsleinOechslein, Benjamin Friedrich-Alexander University of Erlangen-Nürnberg |
Alessandro OrsoOrso, Alessandro Georgia Tech |
Peter-Michael OseraOsera, Peter-Michael University of PennsylvaniaUnited States |
Guilherme OttoniOttoni, Guilherme Facebook |
Una-May O’ReillyO’Reilly, Una-May Massachusetts Institute of Technology |
Pavel PanchekhaPanchekha, Pavel University of WashingtonUnited States |
Daejun ParkPark, Daejun University of Illinois at Urbana-Champaign |
Mathias PayerPayer, Mathias Purdue UniversityLiechtenstein |
Daniel PerelmanPerelman, Daniel University of Washington, USAUnited States |
Simon Peyton JonesPeyton Jones, Simon Microsoft Research, Cambridge |
Keshav PingaliPingali, Keshav University of Texas, Austin |
Ruzica PiskacPiskac, Ruzica Yale University |
Alex PolozovPolozov, Alex University of WashingtonUkraine |
Zoran PopovicPopovic, Zoran University of Washington |
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand |
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research |
Dimitrios PrountzosPrountzos, Dimitrios The University of Texas at Austin, Texas, USA |
Shengchao QinQin, Shengchao Teesside UniversityUnited Kingdom |
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Stanford |
Benjamin RansfordRansford, Benjamin University of Washington |
Lawrence RauchwergerRauchwerger, Lawrence Texas A&M University |
Veselin RaychevRaychev, Veselin ETH ZurichBulgaria |
John RegehrRegehr, John University of Utah |
Bin RenRen, Bin Pacific Northwest National Laboratories |
Thomas RepsReps, Thomas University of Wisconsin - Madison and Grammatech Inc.United States |
Carl RitsonRitson, Carl University of KentUnited Kingdom |
Behnam RobatmiliRobatmili, Behnam Qualcomm Research |
Luís RodriguesRodrigues, Luís Universidade de Lisboa, Instituto Superior Técnico, INESC-ID |
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-Champaign |
Alex Sanchez-SternSanchez-Stern, Alex University of Washington |
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, Boulder |
Susmit SarkarSarkar, Susmit University of St Andrews |
John SarracinoSarracino, John University of California, San Diego |
Jennifer B. SartorSartor, Jennifer B. Ghent University |
Jens SchedelSchedel, Jens Friedrich-Alexander University of Erlangen-Nürnberg |
Bernhard ScholzScholz, Bernhard The University of Sydney |
Malte SchwarzkopfSchwarzkopf, Malte University of Cambridge |
Chris SeatonSeaton, Chris Oracle Labs / University of ManchesterUnited Kingdom |
Koushik SenSen, Koushik University of California, Berkeley |
Ilya SergeySergey, Ilya IMDEA Software InstituteRussia |
Peter SewellSewell, Peter University of Cambridge |
Rahul SharmaSharma, Rahul Stanford UniversityIndia |
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States |
Avraham ShinnarShinnar, Avraham IBM Research |
Tatiana ShpeismanShpeisman, Tatiana Intel Labs |
Stelios Sidiroglou-DouskosSidiroglou-Douskos, Stelios MIT CSAIL |
Jeremy SingerSinger, Jeremy University of Glasgow |
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeIndia |
Steffen SmolkaSmolka, Steffen Cornell UniversityGermany |
Linhai SongSong, Linhai University of Wisconsin–Madison |
Matthew SottileSottile, Matthew Galois, Inc. |
Michael SpearSpear, Michael Lehigh University |
Manu SridharanSridharan, Manu Samsung Research America |
Venkatesh SrinivasanSrinivasan, Venkatesh University of Wisconsin - MadisonIndia |
Guy L. Steele Jr.Steele Jr., Guy L. Oracle Labs |
Bjarne SteensgaardSteensgaard, Bjarne Microsoft |
Andrei StefanescuStefanescu, Andrei University of Illinois at Urbana-Champaign |
Peter StrazdinsStrazdins, Peter Australian National University |
Zhendong SuSu, Zhendong University of California, DavisUnited States |
Toyotaro SuzumuraSuzumura, Toyotaro IBM Research / University College Dublin / JST |
Peter SweeneySweeney, Peter IBM Research |
Lingjia TangTang, Lingjia University of Michigan |
Joseph TassarottiTassarotti, Joseph Carnegie Mellon University |
Ross TateTate, Ross Cornell UniversityUnited States |
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States |
Peter ThiemannThiemann, Peter University of FreiburgGermany |
William ThiesThies, William Microsoft Research |
Paul ThomsonThomson, Paul Imperial College London |
Luke TierneyTierney, Luke University of IowaUnited States |
Frank TipTip, Frank Samsung Research AmericaUnited States |
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University |
Emma ToschTosch, Emma University of Massachusetts, Amherst |
Tayssir TouiliTouili, Tayssir CNRS, Paris, France |
Laurence TrattTratt, Laurence King's College London |
Minh-Thai TrinhTrinh, Minh-Thai National University of Singapore |
Omer TrippTripp, Omer IBM Thomas J. Watson Research Center |
David Van HornVan Horn, David University of Maryland, College Park |
Mandana VaziriVaziri, Mandana IBM Research |
Martin VechevVechev, Martin ETH Zurich |
Kalyan VeeramachaneniVeeramachaneni, Kalyan Massachusetts Institute of Technology |
Deepak VijaykeerthyVijaykeerthy, Deepak Microsoft Research |
T. N. VijaykumarVijaykumar, T. N. Purdue University |
John VilkVilk, John University of Massachusetts, AmherstUnited States |
Jurgen VinjuVinju, Jurgen Centrum Wiskunde & Informatica / Technische Universiteit EindhovenNetherlands |
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-Champaign |
Jan VitekVitek, Jan Northeastern UniversitySwitzerland |
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge |
Chao WangWang, Chao Virginia TechUnited States |
Haichuan WangWang, Haichuan University of Illinois at Urbana-ChampaignChina |
Xi WangWang, Xi University of Washington |
Lucas WayeWaye, Lucas Harvard University |
Matthew WeaverWeaver, Matthew University of Pennsylvania |
David R. WhiteWhite, David R. University of GlasgowUnited Kingdom |
James R. WilcoxWilcox, James R. University of WashingtonUnited States |
Christian WimmerWimmer, Christian Oracle Labs |
Doug WoosWoos, Doug University of Washington |
Tobias WrigstadWrigstad, Tobias Uppsala University |
Peng WuWu, Peng Huawei America Lab |
Thomas WuerthingerWuerthinger, Thomas Oracle Labs |
Harry XuXu, Harry University of California, IrvineUnited States |
Jingling XueXue, Jingling UNSW Australia |
Pen-Chung YewYew, Pen-Chung University of Minnesota |
Kwangkeun YiYi, Kwangkeun Seoul National University |
Greta YorshYorsh, Greta Queen Mary University of London |
Kazuki YoshizoeYoshizoe, Kazuki Japan Science and Technology Agency |
Luke ZettlemoyerZettlemoyer, Luke University of Washington |
Minjia ZhangZhang, Minjia Ohio State University |
Naling ZhangZhang, Naling Virginia TechChina |
Xiangyu ZhangZhang, Xiangyu Purdue University |
Zheng ZhangZhang, Zheng Rutgers University |
Florian ZulegerZuleger, Florian TU Wien |
Andreas ZwinkauZwinkau, Andreas Karlsruhe Institute of Technology |