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

Mon 15 Jun

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

Tue 16 Jun

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

Wed 17 Jun

pldi2015-papers
08:30 - 09:00: Research Papers - One Minute Madness at PLDI Main BLUE (Portland 254-255)
pldi2015-papers08:30 - 09:00
Talk
Student Research Competition
09:00 - 09:15: Student Research Competition - Student Research Competition Awards at PLDI Main BLUE (Portland 254-255)
Student Research Competition09:00 - 09:15
Awards
Isil DilligUniversity of Texas, Austin
pldi2015-papers
09:15 - 10:55: Research Papers - Performance at PLDI Main BLUE (Portland 254-255)
Chair(s): Mary HallUniversity of Utah
pldi2015-papers09:15 - 09:40
Talk
Oswaldo Olivo, Isil DilligUniversity of Texas, Austin, Calvin LinUT Austin
Media Attached
pldi2015-papers09:40 - 10:05
Talk
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
pldi2015-papers10:05 - 10:30
Talk
Charith MendisMIT CSAIL, Jeffrey BosboomMIT CSAIL, Kevin WuMIT CSAIL, Shoaib KamilMIT CSAIL, USA, Jonathan Ragan-KelleyStanford, Sylvain ParisAdobe, Qin ZhaoGoogle, Saman AmarasingheMIT
Media Attached
pldi2015-papers10:30 - 10:55
Talk
William J. BowmanNortheastern University, Swaha MillerCisco Systems, Inc, Vincent St-AmourNortheastern University, R. Kent DybvigCisco Systems, Inc
Link to publication Media Attached
pldi2015-papers
14:00 - 15:40: Research Papers - Parallelism at PLDI Main BLUE (Portland 254-255)
Chair(s): Sara BaghsorkhiIntel Labs
pldi2015-papers14:00 - 14:25
Talk
Murali Krishna EmaniThe University of Edinburgh, Michael O'BoyleUniversity of Edinburgh
Media Attached
pldi2015-papers14:25 - 14:50
Talk
Bin RenPacific Northwest National Laboratories, Youngjoon JoPurdue University, Sriram KrishnamoorthyPacific Northwest National Laboratories, Kunal AgrawalWashington University in St. Louis, Milind KulkarniPurdue University
Media Attached
pldi2015-papers14:50 - 15:15
Talk
Anand VenkatUniversity of Utah, Mary HallUniversity of Utah, Michelle StroutColorado State University
Media Attached
pldi2015-papers15:15 - 15:40
Talk
Dimitrios PrountzosThe University of Texas at Austin, Texas, USA, Roman ManevichBen-Gurion University of the Negev, Keshav PingaliUniversity of Texas, Austin
Media Attached
pldi2015-papers
16:00 - 17:40: Research Papers - Synthesis II at PLDI Main BLUE (Portland 254-255)
Chair(s): Isil DilligUniversity of Texas, Austin
pldi2015-papers16:00 - 16:25
Talk
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
pldi2015-papers16:25 - 16:50
Talk
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
Media Attached
pldi2015-papers16:50 - 17:15
Talk
Laure GonnordUniversity of Lyon & LIP, France, David MonniauxCNRS, VERIMAG, Gabriel RadanneUniversité Denis Diderot Paris 7, PPS
Media Attached
pldi2015-papers17:15 - 17:40
Talk
Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
Media Attached

Mon 15 Jun 2015

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
PLDI Main BLUE (Portland 254-255)

Tue 16 Jun 2015