VenueOregon Convention Center
Room namePLDI Main RED (Portland 256)
Floor2
Room numberPortland 256
Capacity254
Additional informationThere is no additional information of this room available.
Program

Mon 15 Jun

pldi2015-papers
14:00 - 15:40: Research Papers - Correctness at PLDI Main RED (Portland 256)
Chair(s): Jens PalsbergUniversity of California, Los Angeles
pldi2015-papers14:00 - 14:25
Talk
Maarten FaddegonUniversity of Kent, UK, Olaf ChitilUniversity of Kent, UK
Media Attached
pldi2015-papers14:25 - 14:50
Talk
Media Attached
pldi2015-papers14:50 - 15:15
Talk
Peng LiuPurdue University, Xiangyu ZhangPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Yunhui ZhengIBM T.J. Watson Research Center
Media Attached
pldi2015-papers15:15 - 15:40
Talk
Nathan ChongUniversity College London, Alastair DonaldsonImperial College London, Andrei LascuImperial College London, Christopher LidburyImperial College London
Media Attached
pldi2015-papers
16:00 - 17:15: Research Papers - Optimization at PLDI Main RED (Portland 256)
Chair(s): Michelle StroutColorado State University
pldi2015-papers16:00 - 16:25
Talk
Yousun KoYonsei University, Bernd BurgstallerYonsei University, Bernhard ScholzThe University of Sydney
Media Attached
pldi2015-papers16:25 - 16:50
Talk
Wei DingPennsylvania State University, Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, Yuanrui ZhangIntel, Emre KultursayPennsylvania State University
Media Attached
pldi2015-papers16:50 - 17:15
Talk
Sanyam MehtaUniversity of Minnesota, Pen-Chung YewUniversity of Minnesota
Media Attached
pldi2015-papers
17:15 - 17:40: Research Papers - TOPLAS at PLDI Main RED (Portland 256)
Chair(s): Michelle StroutColorado State University
pldi2015-papers17:15 - 17:40
Talk
Andrew AppelPrinceton

Tue 16 Jun

pldi2015-papers
09:15 - 10:55: Research Papers - Synthesis I at PLDI Main RED (Portland 256)
Chair(s): Kathleen FisherTufts University
pldi2015-papers09:15 - 09:40
Talk
Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Pavol CernyUniversity of Colorado Boulder, Nate FosterCornell University
Pre-print Media Attached
pldi2015-papers09:40 - 10:05
Talk
Aditya NoriMicrosoft Research, UK, Sherjil OzairIIT Delhi, Sriram RajamaniMicrosoft Research, Deepak VijaykeerthyMicrosoft Research
Media Attached
pldi2015-papers10:05 - 10:30
Talk
Dan BarowyUniversity of Massachusetts Amherst, Sumit GulwaniMicrosoft Research, Ted HartMicrosoft Research, Benjamin ZornMicrosoft Research
Media Attached
pldi2015-papers10:30 - 10:55
Talk
John FeserRice University, Swarat ChaudhuriRice University, Isil DilligUniversity of Texas, Austin
Media Attached
pldi2015-papers
14:00 - 15:40: Research Papers - Semantics I at PLDI Main RED (Portland 256)
Chair(s): Hans-J. BoehmGoogle
pldi2015-papers14:00 - 14:25
Talk
Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, William ManskyUniversity of Pennsylvania, Dmitri GarbuzovUniversity of Pennsylvania, Steve Zdancewic, Viktor VafeiadisMPI-SWS, Germany
Media Attached
pldi2015-papers14:25 - 14:50
Talk
Chris HathhornUniversity of Missouri, Chucky EllisonUniversity of Illinois, Grigore RosuUniversity of Illinois at Urbana-Champaign
Media Attached
pldi2015-papers14:50 - 15:15
Talk
Daejun ParkUniversity of Illinois at Urbana-Champaign, Andrei StefanescuUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
Media Attached
pldi2015-papers15:15 - 15:40
Talk
James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Pavel PanchekhaUniversity of Washington, Zachary Tatlock, Xi WangUniversity of Washington, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington
Media Attached
Student Research Competition
16:00 - 18:00: Student Research Competition - Student Research Competition Talks at PLDI Main RED (Portland 256)
Chair(s): Isil DilligUniversity of Texas, Austin

Wed 17 Jun

pldi2015-papers
09:15 - 10:55: Research Papers - Semantics II at PLDI Main RED (Portland 256)
Chair(s): Robby FindlerNorthwestern University
pldi2015-papers09:15 - 09:40
Talk
KC SivaramakrishnanUniversity of Cambridge, Gowtham KakiPurdue University, Suresh JagannathanPurdue University
Media Attached
pldi2015-papers09:40 - 10:05
Talk
Jeremy G. SiekIndiana University, Peter ThiemannUniversity of Freiburg, Philip WadlerUniversity of Edinburgh
Media Attached
pldi2015-papers10:05 - 10:30
Talk
Yizhou ZhangCornell University, Andrew Myers, Barbara LiskovMIT, Guido SalvaneschiTU Darmstadt, Matt LoringCornell University
Media Attached
pldi2015-papers10:30 - 10:55
Talk
Phúc C. Nguyễn, David Van HornUniversity of Maryland, College Park
Media Attached
pldi2015-papers
14:00 - 15:40: Research Papers - Logic at PLDI Main RED (Portland 256)
Chair(s): Nate FosterCornell University
pldi2015-papers14:00 - 14:25
Talk
Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore, Minh-Thai TrinhNational University of Singapore
Media Attached
pldi2015-papers14:25 - 14:50
Talk
Quentin CarbonneauxYale University, Jan HoffmannYale University, Zhong ShaoYale University
Link to publication Media Attached
pldi2015-papers14:50 - 15:15
Talk
Karl CraryCarnegie Mellon University, Michael J. Sullivan
Media Attached
pldi2015-papers15:15 - 15:40
Talk
Ton Chanh LeNational University of Singapore, Shengchao QinTeesside University, Wei-Ngan ChinNational University of Singapore
Media Attached
pldi2015-papers
16:00 - 17:40: Research Papers - Potpourri at PLDI Main RED (Portland 256)
Chair(s): Tiark RompfPurdue & Oracle Labs
pldi2015-papers16:00 - 16:25
Talk
Stefan MarrInria, France, Chris SeatonOracle Labs / University of Manchester, Stéphane Ducasse INRIA Lille
Media Attached
pldi2015-papers16:25 - 16:50
Talk
Media Attached
pldi2015-papers16:50 - 17:15
Talk
Alan LeungUniversity of California, San Diego, John SarracinoUniversity of California, San Diego, Sorin LernerUniversity of California, San Diego
Media Attached
pldi2015-papers17:15 - 17:40
Talk
Brandon LuciaCarnegie Mellon University, Benjamin RansfordUniversity of Washington
Media Attached

Mon 15 Jun 2015

Tue 16 Jun 2015

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
PLDI Main RED (Portland 256)

Wed 17 Jun 2015

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
PLDI Main RED (Portland 256)