VenueHilton Philadelphia at Penn's Landing
Room nameGrand Ballroom AB
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Wed 20 Jun

pldi-2018-papers
11:00 - 12:15: PLDI Research Papers - Web Pages at Grand Ballroom AB
Chair(s): Tobias WrigstadUppsala University
pldi-2018-papers152948520000011:00 - 11:25
Talk
Pavel PanchekhaUniversity of Washington, Adam T. GellerUniversity of Washington, USA, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Shoaib KamilAdobe
Media Attached
pldi-2018-papers152948670000011:25 - 11:50
Talk
John VilkUniversity of Massachusetts, Amherst, Emery BergerUniversity of Massachusetts, Amherst
Media Attached
pldi-2018-papers152948820000011:50 - 12:15
Talk
Samuel BaxterUniversity of Massachusetts at Amherst, USA, Rachit Nigam, Joe Gibbs PolitzUniversity of California, San Diego, Shriram KrishnamurthiBrown University, USA, Arjun GuhaUniversity of Massachusetts, Amherst
Media Attached
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Concurrency and Termination at Grand Ballroom AB
Chair(s): Iulian NeamtiuNew Jersey Institute of Technology
pldi-2018-papers152949600000014:00 - 14:25
Talk
Lucas BrutschyETH Zurich, Dimitar DimitrovETH Zurich, Switzerland, Peter MüllerETH Zurich, Martin VechevETH Zürich
pldi-2018-papers152949750000014:25 - 14:50
Talk
Peizun LiuNortheastern University, USA, Thomas WahlNortheastern University
Media Attached
pldi-2018-papers152949900000014:50 - 15:15
Talk
Kostas FerlesUT Austin, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Yannis SmaragdakisUniversity of Athens
Media Attached
pldi-2018-papers152950050000015:15 - 15:40
Talk
Yu-Fang Chen, Matthias HeizmannUniversity of Freiburg, Germany, Ondrej LengalBrno University of Technology , Yong LiInstitute of Software, Chinese Academy of Sciences, Ming-Hsien TsaiAcademia Sinica, Taiwan, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences
Media Attached
pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Transactions and Races at Grand Ballroom AB
Chair(s): Tatiana ShpeismanGoogle Brain
pldi-2018-papers152950380000016:10 - 16:35
Talk
Nathan ChongARM Ltd., Tyler SorensenImperial College London, John WickersonImperial College London
Media Attached
pldi-2018-papers152950530000016:35 - 17:00
Talk
Matthew MilanoCornell University, Andrew MyersCornell University
Media Attached
pldi-2018-papers152950680000017:00 - 17:25
Talk
Stephen DolanUniversity of Cambridge, KC SivaramakrishnanUniversity of Cambridge, Anil MadhavapeddyOCaml Labs
Media Attached
pldi-2018-PLDI-Invited-Speakers
17:30 - 18:30: PLDI Invited Speakers - Program Chair's Report and SIGPLAN Town Hall Meeting at Grand Ballroom AB
Chair(s): Michael HicksUniversity of Maryland, College Park, Dan GrossmanUniversity of Washington
pldi-2018-PLDI-Invited-Speakers152950860000017:30 - 18:00
Talk
Dan GrossmanUniversity of Washington
Media Attached
pldi-2018-PLDI-Invited-Speakers152951040000018:00 - 18:30
Talk
Michael HicksUniversity of Maryland, College Park, Benjamin C. PierceUniversity of Pennsylvania, Steve BlackburnAustralian National University
Media Attached

Thu 21 Jun

pldi-2018-papers
11:00 - 12:15: PLDI Research Papers - Multicore and More at Grand Ballroom AB
Chair(s): Yannis SmaragdakisUniversity of Athens
pldi-2018-papers152957160000011:00 - 11:25
Talk
David KoeplingerStanford University, USA, Matthew FeldmanStanford University, USA, Raghu PrabhakarStanford University, USA, Yaqi ZhangStanford University, USA, Stefan HadjisStanford University, USA, Ruben FiszelEPFL, Switzerland, Tian ZhaoStanford University, Luigi NardiStanford University, Ardavan PedramStanford University, USA, Christos KozyrakisStanford University, USA, Kunle OlukotunStanford University
Media Attached
pldi-2018-papers152957310000011:25 - 11:50
Talk
Orhan KislalPennsylvania State University, USA, Jagadish KotraPennsylvania State University, USA, Xulong TangPenn State, Mahmut Taylan KandemirUniversity of Pennsylvania, Myoungsoo JungYonsei University, South Korea
Media Attached
pldi-2018-papers152957460000011:50 - 12:15
Talk
Kim-Anh TranUppsala University, Sweden, Alexandra JimboreanUppsala University, Trevor E. CarlsonNational University of Singapore, Konstantinos KoukosUppsala University, Sweden, Magnus SjälanderNorwegian University of Science and Technology (NTNU), Stefanos KaxirasUppsala University, Sweden
Media Attached
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Concurrency Debugging at Grand Ballroom AB
Chair(s): Tony HoskingAustralian National University / Data61
pldi-2018-papers152958240000014:00 - 14:25
Talk
Hongyu LiuUniversity of Texas at San Antonio, USA, Sam SilvestroUniversity of Texas at San Antonio, USA, Wei WangUniversity of Texas at San Antonio, USA, Chen TianHuawei Lab, USA, Tongping Liu
Media Attached
pldi-2018-papers152958390000014:25 - 14:50
Talk
Bozhen LiuTexas A&M University, USA, Jeff HuangTexas A&M University
Media Attached
pldi-2018-papers152958540000014:50 - 15:15
Talk
Jake RoemerOhio State University, Kaan GençOhio State University, USA, Michael BondOhio State University
Media Attached
pldi-2018-papers152958690000015:15 - 15:40
Talk
Yuanfeng PengUniversity of Pennsylvania, Vinod Grover, Joseph DeviettiUniversity of Pennsylvania
Media Attached
pldi-2018-papers
16:10 - 17:00: PLDI Research Papers - Programming-Student Feedback at Grand Ballroom AB
Chair(s): Dan GrossmanUniversity of Washington
pldi-2018-papers152959020000016:10 - 16:35
Talk
Sumit GulwaniMicrosoft Research, Ivan RadičekVienna University of Technology, Austria, Florian ZulegerTU Vienna
Media Attached
pldi-2018-papers152959170000016:35 - 17:00
Talk
Ke WangUniversity of California at Davis, USA, Rishabh SinghGoogle Brain, Zhendong SuUniversity of California, Davis
Media Attached

Fri 22 Jun

pldi-2018-papers
11:00 - 12:15: PLDI Research Papers - Optimization and Locality at Grand Ballroom AB
Chair(s): Milind KulkarniPurdue University
pldi-2018-papers152965800000011:00 - 11:25
Talk
Aravind AcharyaIndian Institute of Science, Bangalore, Uday BondhugulaIndian Institute of Science, Albert CohenInria, France / ENS, France
Media Attached
pldi-2018-papers152965950000011:25 - 11:50
Talk
Simon MollSaarland University, Germany, Sebastian HackSaarland University, Germany
Media Attached
pldi-2018-papers152966100000011:50 - 12:15
Talk
Dong ChenUniversity of Rochester, Fangzhou LiuUniversity of Rochester, Chen DingUniversity of Rochester, Sreepathi PaiUniversity of Rochester
Media Attached
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Verification at Grand Ballroom AB
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
pldi-2018-papers152966880000014:00 - 14:25
Talk
Brandon Bohrer, Yong Kiam TanCarnegie Mellon University, USA, Stefan MitschCarnegie Mellon University, USA, Magnus O. MyreenChalmers University of Technology, Sweden, André PlatzerCarnegie Mellon University
Media Attached
pldi-2018-papers152967030000014:25 - 14:50
Talk
Jeehoon KangSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Juneyoung LeeSeoul National University, Sanghoon ParkSeoul National University, South Korea, Mark Dongyeon ShinSeoul National University, South Korea, Yonghyun KimSeoul National University, South Korea, Sungkeun ChoSeoul National University, South Korea, Joonwon ChoiMassachusetts Institute of Technology, USA, Chung-Kil HurSeoul National University, Kwangkeun YiSeoul National University
Media Attached
pldi-2018-papers152967180000014:50 - 15:15
Talk
Ronghui GuColumbia University, Zhong ShaoYale University, Jieung KimYale University, USA, Xiongnan (Newman) WuYale University, Jérémie Koenig, Vilhelm SjobergYale University, Hao ChenYale University, David CostanzoYale University, Tahina RamananandroMicrosoft Research, n.n.
Media Attached
pldi-2018-papers152967330000015:15 - 15:40
Talk
Marcelo TaubeTel Aviv University, Israel, Giuliano LosaUniversity of California at Los Angeles, USA, Kenneth L. McMillanMicrosoft Research, Oded PadonTel Aviv University, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university, James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington
Media Attached
pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Parallelism at Grand Ballroom AB
Chair(s): Julian DolbyIBM Thomas J. Watson Research Center
pldi-2018-papers152967660000016:10 - 16:35
Talk
Changwan Hong, Aravind Sukumaran-RajamOhio State University, USA, Jinsung KimOhio State University, USA, Prashant Singh Rawat, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noel PouchetColorado State University, Fabrice RastelloINRIA, P. SadayappanOhio State University
Media Attached
pldi-2018-papers152967810000016:35 - 17:00
Talk
Roshan DathathriUniversity of Texas at Austin, USA, Gurbinder GillUniversity of Texas at Austin, USA, Loc HoangUniversity of Texas at Austin, USA, Hoang-Vu DangUniversity of Illinois at Urbana-Champaign, USA, Alex BrooksUniversity of Illinois at Urbana-Champaign, USA, Nikoli DrydenUniversity of Illinois at Urbana-Champaign, USA, Marc SnirUIUC, Keshav PingaliUniversity of Texas at Austin, USA
Media Attached
pldi-2018-papers152967960000017:00 - 17:25
Talk
Umut AcarCarnegie Mellon University, Arthur CharguéraudInria, Adrien Guatto, Mike Rainey, Filip SieczkowskiUniversity of Wrocław
Media Attached

Thu 21 Jun 2018

Fri 22 Jun 2018

Room11:003012:003013:003014:003015:003016:003017:0030
Grand Ballroom AB