VenueOregon Convention Center
Room namePLDI Main BLUE (Portland 254-255)
Floor2
Room numberPortland 254-255
Capacity590
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 11:00: Distinguished PapersResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Steve BlackburnAustralian National University
09:00 - 09:15
Day opening
Research Papers
Steve BlackburnAustralian National University , David GroveIBM Research
09:15 - 09:40
Talk
Research Papers
Pavel PanchekhaUniversity of Washington, Alex Sanchez-SternUniversity of Washington, James R. WilcoxUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
Media Attached
09:40 - 10:05
Talk
Research Papers
Danfeng ZhangCornell University, Andrew C. Myers, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
10:05 - 10:30
Talk
Research Papers
Nuno P. LopesMicrosoft Research, David MenendezRutgers University, Santosh NagarakatteRutgers University, John RegehrUniversity of Utah
Media Attached
10:30 - 10:50
Talk
Research Papers
14:00 - 15:40: VerificationResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Zachary TatlockUniversity of Washington, Seattle
14:00 - 14:25
Talk
Research Papers
Ilya SergeyIMDEA Software Institute, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
Link to publication Media Attached
14:25 - 14:50
Talk
Research Papers
Rahul SharmaStanford University, Michael BauerNVIDIA Research, Alex AikenStanford University
Media Attached
14:50 - 15:15
Talk
Research Papers
Peter GammieNICTA, Tony HoskingAustralian National University, Data61, and Purdue University, Kai EngelhardtUNSW and NICTA
Link to publication Media Attached
15:15 - 15:40
Talk
Research Papers
Joseph TassarottiCarnegie Mellon University, Derek DreyerMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Media Attached
16:00 - 17:40: Concurrency IResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Santosh NagarakatteRutgers University
16:00 - 16:25
Talk
Research Papers
Pantazis DeligiannisImperial College London, Alastair DonaldsonImperial College London, Jeroen Ketema, Akash LalMicrosoft Research India, Paul ThomsonImperial College London
Media Attached
16:25 - 16:50
Talk
Research Papers
Jeff HuangTexas A&M University
Media Attached
16:50 - 17:15
Talk
Research Papers
Malavika SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian Institute of Science, Bangalore, Suresh JagannathanPurdue University
Media Attached
17:15 - 17:40
Talk
Research Papers
Eric KoskinenIBM TJ Watson Research Center, Matthew ParkinsonMicrosoft Research, UK
Media Attached

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:45 - 09:10: One Minute MadnessResearch Papers at PLDI Main BLUE (Portland 254-255)
08:45 - 09:10
Talk
Research Papers
09:15 - 10:55: Concurrency IIResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Suresh JagannathanPurdue University
09:15 - 09:40
Talk
Research Papers
Ofri ZivTel Aviv University, Alex AikenStanford University, Guy Golan-GuetaYahoo Labs, G. RamalingamMicrosoft Research, Mooly SagivTel Aviv University
Media Attached
09:40 - 10:05
Talk
Research Papers
Naling ZhangVirginia Tech, Markus KusanoVirginia Tech, Chao WangVirginia Tech
Media Attached
10:05 - 10:30
Talk
Research Papers
Michael Emmi, Constantin EneaLIAFA, Université Paris Diderot, Jad HamzaLIAFA, Université Paris Diderot
Media Attached
10:30 - 10:55
Talk
Research Papers
Stephen LongfieldCornell University, Brittany NkounkouCornell University, Rajit ManoharCornell University, Ross TateCornell University
Media Attached
14:00 - 15:40: AnalysisResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Yannis SmaragdakisUniversity of Athens
14:00 - 14:25
Talk
Research Papers
Akash LalMicrosoft Research India, Shaz QadeerMicrosoft Research
Media Attached File Attached
14:25 - 14:50
Talk
Research Papers
Andrew JohnsonHarvard University, Lucas WayeHarvard University, Scott MooreHarvard University, Stephen ChongHarvard University
Media Attached
14:50 - 15:15
Talk
Research Papers
Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Martin VechevETH Zurich
Media Attached
15:15 - 15:40
Talk
Research Papers
Yusheng WeijiangPurdue University, Shruthi BalakrishnaPurdue University, Jianqiao LiuPurdue University, Milind KulkarniPurdue University
Media Attached
16:00 - 18:00: PLDI Chairs' Report and SIGPLAN Townhall MeetingResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): David GroveIBM Research
16:00 - 16:30
Talk
Research Papers
David GroveIBM Research, Steve BlackburnAustralian National University , Eric EideUniversity of Utah, John RegehrUniversity of Utah
File Attached
16:30 - 17:30
Meeting
Research Papers
Jan VitekNortheastern University

Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:30 - 09:00: One Minute MadnessResearch Papers at PLDI Main BLUE (Portland 254-255)
08:30 - 09:00
Talk
Research Papers
09:00 - 09:15: Student Research Competition AwardsStudent Research Competition at PLDI Main BLUE (Portland 254-255)
09:00 - 09:15
Awards
Student Research Competition
Isil DilligUniversity of Texas, Austin
09:15 - 10:55: PerformanceResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Mary HallUniversity of Utah
09:15 - 09:40
Talk
Research Papers
Oswaldo Olivo, Isil DilligUniversity of Texas, Austin, Calvin LinUT Austin
Media Attached
09:40 - 10:05
Talk
Research Papers
Yufei DingNorth Carolina State University, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Xipeng ShenNorth Carolina State University, Una-May O’ReillyMassachusetts Institute of Technology, Saman AmarasingheMIT
Link to publication Media Attached
10:05 - 10:30
Talk
Research Papers
Charith MendisMIT CSAIL, Jeffrey BosboomMIT CSAIL, Kevin WuMIT CSAIL, Shoaib KamilMIT CSAIL, USA, Jonathan Ragan-KelleyStanford, Sylvain ParisAdobe, Qin ZhaoGoogle, Saman AmarasingheMIT
Media Attached
10:30 - 10:55
Talk
Research Papers
William J. BowmanNortheastern University, Swaha MillerCisco Systems, Inc, Vincent St-AmourNortheastern University, R. Kent DybvigCisco Systems, Inc
Link to publication Media Attached
14:00 - 15:40: ParallelismResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Sara BaghsorkhiIntel Labs
14:00 - 14:25
Talk
Research Papers
Murali Krishna EmaniThe University of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
Media Attached
14:25 - 14:50
Talk
Research Papers
Bin RenPacific Northwest National Laboratories, Youngjoon JoPurdue University, Sriram KrishnamoorthyPacific Northwest National Laboratories, Kunal AgrawalWashington University in St. Louis, Milind KulkarniPurdue University
Media Attached
14:50 - 15:15
Talk
Research Papers
Anand VenkatUniversity of Utah, Mary HallUniversity of Utah, Michelle StroutColorado State University
Media Attached
15:15 - 15:40
Talk
Research Papers
Dimitrios PrountzosThe University of Texas at Austin, Texas, USA, Roman ManevichBen-Gurion University of the Negev, Keshav PingaliUniversity of Texas, Austin
Media Attached
16:00 - 17:40: Synthesis IIResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Isil DilligUniversity of Texas, Austin
16:00 - 16:25
Talk
Research Papers
Nuno MachadoINESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Brandon LuciaCarnegie Mellon University, Luís RodriguesUniversidade de Lisboa, Instituto Superior Técnico, INESC-ID
Media Attached
16:25 - 16:50
Talk
Research Papers
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
Media Attached
16:50 - 17:15
Talk
Research Papers
Laure GonnordUniversity of Lyon & LIP, France, David MonniauxCNRS, VERIMAG, Gabriel RadanneUniversité Denis Diderot Paris 7, PPS
Media Attached
17:15 - 17:40
Talk
Research Papers
Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
Media Attached

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change