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

Tue 19 Jun

pldi-2018-catering
12:15 - 14:00: Catering - Lunch at Grand Ballroom CD
pldi-2018-catering12:15 - 14:00
Lunch

Wed 20 Jun

pldi-2018-papers
11:00 - 12:15: PLDI Research Papers - Emerging Hardware at Grand Ballroom CD
Chair(s): Ryan R. NewtonIndiana University
pldi-2018-papers11:00 - 11:25
Talk
Vaibhav GogteUniversity of Michigan, USA, Stephan DiestelhorstARM Research, UK, William WangArm Research, UK, Satish NarayanasamyUniversity of Michigan, Peter M. ChenUniversity of Michigan, USA, Thomas F. WenischUniversity of Michigan, USA
Media Attached
pldi-2018-papers11:25 - 11:50
Talk
Shoaib AkramGhent University, Jennifer B. SartorVrije Universiteit Brussel, Kathryn S McKinleyGoogle, Lieven EeckhoutGhent University, Belgium
Media Attached
pldi-2018-papers11:50 - 12:15
Talk
Chit-Kwan LinIntel Labs, n.n., Andreas WildIntel Labs, n.n., Tsung-Han LinIntel Labs, n.n., Gautham N. ChinyaIntel Labs, n.n., Mike DaviesIntel Labs, n.n., Hong WangIntel Labs, n.n.
Media Attached
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Dynamic Techniques at Grand Ballroom CD
Chair(s): Sorin LernerUniversity of California, San Diego
pldi-2018-papers14:00 - 14:25
Talk
Media Attached
pldi-2018-papers14:25 - 14:50
Talk
Daniele Cono D'EliaSapienza University of Rome, Italy, Camil DemetrescuSapienza University Rome
Media Attached
pldi-2018-papers14:50 - 15:15
Talk
Gregory J. DuckNational University of Singapore, Singapore, Roland H. C. YapNational University of Singapore, Singapore
Media Attached
pldi-2018-papers15:15 - 15:40
Talk
Cheng CaiUniversity of California, Irvine, Qirun ZhangUniversity of California, Davis, Zhiqiang ZuoNanjing University, China, Khanh NguyenUniversity of California, Irvine, Harry XuUniversity of California, Los Angeles (UCLA), Zhendong SuUniversity of California, Davis
Media Attached
pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Floats and Maps at Grand Ballroom CD
Chair(s): Hans-J. BoehmGoogle
pldi-2018-papers16:10 - 16:35
Talk
Alex Sanchez-SternUniversity of California, San Diego, Pavel PanchekhaUniversity of Washington, Sorin LernerUniversity of California, San Diego, Zachary TatlockUniversity of Washington
Media Attached
pldi-2018-papers16:35 - 17:00
Talk
Ulf AdamsGoogle, Germany
Media Attached
pldi-2018-papers17:00 - 17:25
Talk
Michael J. SteindorferDelft University of Technology, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV
Media Attached

Thu 21 Jun

pldi-2018-src
11:00 - 12:30: Student Research Competition (SRC) - SRC presentations at Grand Ballroom CD
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Synthesis and Learning at Grand Ballroom CD
Chair(s): Xin ZhangMassachusetts Institute of Technology, USA
pldi-2018-papers14:00 - 14:25
Talk
Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion
Media Attached
pldi-2018-papers14:25 - 14:50
Talk
Yu FengUniversity of Texas at Austin, USA, Ruben MartinsCarnegie Mellon University, Osbert BastaniStanford University, Isil DilligUT Austin
Media Attached
pldi-2018-papers14:50 - 15:15
Talk
Woosuk LeeUniversity of Pennsylvania, USA, Kihong HeoUniversity of Pennsylvania, USA, Rajeev AlurUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
Media Attached
pldi-2018-papers15:15 - 15:40
Talk
Media Attached
pldi-2018-papers
16:10 - 17:00: PLDI Research Papers - Analyzing Probabilistic Programs at Grand Ballroom CD
Chair(s): Eva DarulovaMPI-SWS
pldi-2018-papers16:10 - 16:35
Talk
Van Chan NgoCarnegie Mellon University, Quentin CarbonneauxYale University, Jan HoffmannCarnegie Mellon University
Media Attached
pldi-2018-papers16:35 - 17:00
Talk
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Media Attached

Fri 22 Jun

pldi-2018-papers
11:00 - 12:15: PLDI Research Papers - Inference for Probabilistic Programs at Grand Ballroom CD
Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst
pldi-2018-papers11:00 - 11:25
Talk
Marco Cusumano-TownerMIT-CSAIL, Benjamin BichselETH Zurich, Switzerland, Timon Gehr, Martin VechevETH Zürich, Vikash MansingkhaMIT
Media Attached
pldi-2018-papers11:25 - 11:50
Talk
Timon Gehr, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA, Petar TsankovETH Zurich, Laurent VanbeverETH Zürich, Pascal WiesmannETH Zurich, Switzerland, Martin VechevETH Zürich
Media Attached
pldi-2018-papers11:50 - 12:15
Talk
Vikash MansingkhaMIT, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Shivam Handa, Alexey Radul, Yutian ChenGoogle Deepmind, n.n., Martin RinardMassachusetts Institute of Technology
Media Attached
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Program Analysis at Grand Ballroom CD
Chair(s): Isil DilligUT Austin
pldi-2018-papers14:00 - 14:25
Talk
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
pldi-2018-papers14:25 - 14:50
Talk
Qingkai ShiHong Kong University of Science and Technology, China, Richard XiaoSourceBrella Inc., Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Jinguo ZhouSourcebrella, n.n., Gang Fan, Charles Zhang
Media Attached
pldi-2018-papers14:50 - 15:15
Talk
He ZhuGalois, Inc., Stephen Magill, Suresh JagannathanPurdue University
Media Attached
pldi-2018-papers15:15 - 15:40
Talk
Mukund RaghotamanUniversity of Pennsylvania, Sulekha KulkarniGeorgia Tech, Kihong HeoUniversity of Pennsylvania, USA, Mayur NaikUniversity of Pennsylvania
Media Attached
pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Types at Grand Ballroom CD
Chair(s): Kathleen FisherTufts University
pldi-2018-papers16:10 - 16:35
Talk
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research
Media Attached
pldi-2018-papers16:35 - 17:00
Talk
William J. BowmanNortheastern University, USA, Amal AhmedNortheastern University, USA
Media Attached
pldi-2018-papers17:00 - 17:25
Talk
Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
Media Attached

Tue 19 Jun 2018

Room12:003013:003014:0030
Grand Ballroom CD
12:15 - 14:00

Wed 20 Jun 2018

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

Fri 22 Jun 2018

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

Tue 19 Jun 2018

Room12:0015304513:0015304514:00153045
Grand Ballroom CD
12:15 - 14:00