Write a Blog >>
ISMM 2018
co-located with PLDI 2018
VenueHilton Philadelphia at Penn's Landing
Room nameGrand Ballroom CD
Floor0
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

Tue 19 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

12:15 - 14:00: LunchPLDI Catering at Grand Ballroom CD
12:15 - 14:00
Lunch
PLDI Catering

Wed 20 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

11:00 - 12:15: Emerging HardwarePLDI Research Papers at Grand Ballroom CD
Chair(s): Ryan R. NewtonIndiana University
11:00 - 11:25
Talk
PLDI Research Papers
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
11:25 - 11:50
Talk
PLDI Research Papers
Shoaib AkramGhent University, Jennifer B. SartorVrije Universiteit Brussel, Kathryn S McKinleyGoogle, Lieven EeckhoutGhent University, Belgium
Media Attached
11:50 - 12:15
Talk
PLDI Research Papers
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
14:00 - 15:40: Dynamic TechniquesPLDI Research Papers at Grand Ballroom CD
Chair(s): Sorin LernerUniversity of California, San Diego
14:00 - 14:25
Talk
PLDI Research Papers
Media Attached
14:25 - 14:50
Talk
PLDI Research Papers
Daniele Cono D'EliaSapienza University of Rome, Italy, Camil DemetrescuSapienza University Rome
Media Attached
14:50 - 15:15
Talk
PLDI Research Papers
Gregory J. DuckNational University of Singapore, Singapore, Roland H. C. YapNational University of Singapore, Singapore
Media Attached
15:15 - 15:40
Talk
PLDI Research Papers
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
16:10 - 17:25: Floats and MapsPLDI Research Papers at Grand Ballroom CD
Chair(s): Hans-J. BoehmGoogle
16:10 - 16:35
Talk
PLDI Research Papers
Alex Sanchez-SternUniversity of California, San Diego, Pavel PanchekhaUniversity of Washington, Sorin LernerUniversity of California, San Diego, Zachary TatlockUniversity of Washington, Seattle
Media Attached
16:35 - 17:00
Talk
PLDI Research Papers
Ulf AdamsGoogle, Germany
Media Attached
17:00 - 17:25
Talk
PLDI Research Papers
Michael J. SteindorferDelft University of Technology, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV
Media Attached

Thu 21 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

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

Fri 22 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

11:00 - 12:15: Inference for Probabilistic ProgramsPLDI Research Papers at Grand Ballroom CD
Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst
11:00 - 11:25
Talk
PLDI Research Papers
Marco Cusumano-TownerMIT-CSAIL, Benjamin BichselETH Zurich, Switzerland, Timon Gehr, Martin VechevETH Zürich, Vikash MansinghkaMIT
Media Attached
11:25 - 11:50
Talk
PLDI Research Papers
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
11:50 - 12:15
Talk
PLDI Research Papers
Vikash MansinghkaMIT, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Shivam Handa, Alexey Radul, Yutian ChenGoogle Deepmind, n.n., Martin RinardMassachusetts Institute of Technology
Media Attached
14:00 - 15:40: Program AnalysisPLDI Research Papers at Grand Ballroom CD
Chair(s): Isil DilligUT Austin
14:00 - 14:25
Talk
PLDI Research Papers
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
14:25 - 14:50
Talk
PLDI Research Papers
Qingkai ShiHong Kong University of Science and Technology, China, Xiao XiaoSourceBrella Inc., Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Jinguo ZhouSourcebrella Inc., Gang Fan, Charles Zhang
Media Attached
14:50 - 15:15
Talk
PLDI Research Papers
He ZhuRutgers University, USA, Stephen Magill, Suresh JagannathanPurdue University
Media Attached
15:15 - 15:40
Talk
PLDI Research Papers
Mukund RaghotamanUniversity of Pennsylvania, Sulekha KulkarniGeorgia Tech, Kihong HeoUniversity of Pennsylvania, USA, Mayur NaikUniversity of Pennsylvania
Media Attached
16:10 - 17:25: TypesPLDI Research Papers at Grand Ballroom CD
Chair(s): Kathleen FisherTufts University
16:10 - 16:35
Talk
PLDI Research Papers
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research
Media Attached
16:35 - 17:00
Talk
PLDI Research Papers
William J. BowmanNortheastern University, USA, Amal AhmedNortheastern University, USA
Media Attached
17:00 - 17:25
Talk
PLDI Research Papers
Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
Media Attached

Tue 19 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Room12:003013:003014:0030
Grand Ballroom CD

Wed 20 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 21 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 22 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 19 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

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