VenueHilton Philadelphia at Penn's Landing
Room nameGrand Ballroom CD
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Tue 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

12:15 - 14:00
12:15
1h45m
Lunch
Lunch
Catering

Conference Day
Wed 20 Jun

Displayed time zone: 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
25m
Talk
Persistency for Synchronization-Free Regions
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
25m
Talk
Write-Rationing Garbage Collection for Hybrid Memories
PLDI Research Papers
Shoaib AkramGhent University, Jennifer B. SartorVrije Universiteit Brussel, Kathryn S McKinleyGoogle, Lieven EeckhoutGhent University, Belgium
Media Attached
11:50
25m
Talk
Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
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
25m
Talk
HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack
PLDI Research Papers
Media Attached
14:25
25m
Talk
On-Stack Replacement, Distilled
PLDI Research Papers
Daniele Cono D'EliaSapienza University of Rome, Italy, Camil DemetrescuSapienza University Rome
Media Attached
14:50
25m
Talk
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
PLDI Research Papers
Gregory J. DuckNational University of Singapore, Singapore, Roland H. C. YapNational University of Singapore, Singapore
Media Attached
15:15
25m
Talk
Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
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
25m
Talk
Finding Root Causes of Floating Point Error
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
25m
Talk
Ryū: Fast Float-to-String Conversion
PLDI Research Papers
Ulf AdamsGoogle, Germany
Media Attached
17:00
25m
Talk
To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries
PLDI Research Papers
Michael J. SteindorferDelft University of Technology, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV
Media Attached

Conference Day
Thu 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
14:00 - 15:40
Synthesis and LearningPLDI Research Papers at Grand Ballroom CD
Chair(s): Xin ZhangMassachusetts Institute of Technology, USA
14:00
25m
Talk
A General Path-Based Representation for Predicting Program Properties
PLDI Research Papers
Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion
Media Attached
14:25
25m
Talk
Program Synthesis using Conflict-Driven Learning
PLDI Research Papers
Yu FengUniversity of Texas at Austin, USA, Ruben MartinsCarnegie Mellon University, Osbert BastaniStanford University, Isil DilligUT Austin
Media Attached
14:50
25m
Talk
Accelerating Search-Based Program Synthesis using Learned Probabilistic Models
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
25m
Talk
Inferring Crypto API Rules from Code Changes
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
25m
Talk
Bounded Expectations: Resource Analysis for Probabilistic Programs
PLDI Research Papers
Van Chan NgoCarnegie Mellon University, Quentin CarbonneauxYale University, Jan HoffmannCarnegie Mellon University
Media Attached
16:35
25m
Talk
PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs
PLDI Research Papers
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Media Attached

Conference Day
Fri 22 Jun

Displayed time zone: 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
25m
Talk
Incremental Inference for Probabilistic Programs
PLDI Research Papers
Marco Cusumano-TownerMIT-CSAIL, Benjamin BichselETH Zurich, Switzerland, Timon Gehr, Martin VechevETH Zürich, Vikash K. MansinghkaMIT
Media Attached
11:25
25m
Talk
Bayonet: Probabilistic Inference for Networks
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
25m
Talk
Probabilistic Programming with Programmable Inference
PLDI Research Papers
Vikash K. MansinghkaMIT, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Shivam Handa, Alexey Radul, Yutian ChenGoogle Deepmind, n.n., Martin C. 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
25m
Talk
Active Learning of Points-To Specifications
PLDI Research Papers
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
14:25
25m
Talk
Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
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
25m
Talk
A Data-Driven CHC Solver
PLDI Research Papers
He ZhuRutgers University, USA, Stephen Magill, Suresh JagannathanPurdue University
Media Attached
15:15
25m
Talk
User-Guided Program Reasoning using Bayesian Inference
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
25m
Talk
Guarded Impredicative Polymorphism
PLDI Research Papers
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research
Media Attached
16:35
25m
Talk
Typed Closure Conversion for the Calculus of Constructions
PLDI Research Papers
William J. BowmanNortheastern University, USA, Amal AhmedNortheastern University, USA
Media Attached
17:00
25m
Talk
Inferring Type Rules for Syntactic Sugar
PLDI Research Papers
Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
Media Attached

Conference Day
Tue 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

Conference Day
Wed 20 Jun

Displayed time zone: Eastern Time (US & Canada) change

Conference Day
Thu 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

Conference Day
Fri 22 Jun

Displayed time zone: Eastern Time (US & Canada) change

Conference Day
Tue 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room12:0015304513:00153045
Grand Ballroom CD
PLDI Catering
Lunch
12:15 - 14:00