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

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

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

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

09:15 - 10:55: Synthesis IResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Kathleen FisherTufts University
09:15 - 09:40
Talk
Research Papers
Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Pavol CernyUniversity of Colorado Boulder, Nate FosterCornell University
Pre-print Media Attached
09:40 - 10:05
Talk
Research Papers
Aditya NoriMicrosoft Research, UK, Sherjil OzairIIT Delhi, Sriram RajamaniMicrosoft Research, Deepak VijaykeerthyMicrosoft Research
Media Attached
10:05 - 10:30
Talk
Research Papers
Dan BarowyUniversity of Massachusetts Amherst, Sumit GulwaniMicrosoft Research, Ted HartMicrosoft Research, Benjamin ZornMicrosoft Research
Media Attached
10:30 - 10:55
Talk
Research Papers
John FeserRice University, Swarat ChaudhuriRice University, Isil DilligUniversity of Texas, Austin
Media Attached
14:00 - 15:40: Semantics IResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Hans-J. BoehmGoogle
14:00 - 14:25
Talk
Research Papers
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
14:25 - 14:50
Talk
Research Papers
Chris HathhornUniversity of Missouri, Chucky EllisonUniversity of Illinois, Grigore RoşuUniversity of Illinois at Urbana-Champaign
Media Attached
14:50 - 15:15
Talk
Research Papers
Daejun ParkUniversity of Illinois at Urbana-Champaign, Andrei StefanescuUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign
Media Attached
15:15 - 15:40
Talk
Research Papers
James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Pavel PanchekhaUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle, Xi WangUniversity of Washington, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington
Media Attached
16:00 - 18:00: Student Research Competition TalksStudent Research Competition at PLDI Main RED (Portland 256)
Chair(s): Isil DilligUniversity of Texas, Austin

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

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

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

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