Powered by
36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015),
June 13–17, 2015,
Portland, OR, USA
Frontmatter
Research Papers
Distinguished Papers
Mon, Jun 15, 09:00 - 11:00 (Chair: Steve Blackburn)
Correctness
Mon, Jun 15, 14:00 - 15:40 (Chair: Jens Palsberg)
Verification
Mon, Jun 15, 14:00 - 15:40 (Chair: Nate Foster)
Optimization
Mon, Jun 15, 16:00 - 17:15 (Chair: Michelle Mills Strout)
TOPLAS
Mon, Jun 15, 17:15 - 17:40 (Chair: Michelle Mills Strout)
Concurrency I
Mon, Jun 15, 16:00 - 17:40 (Chair: Santosh Nagarakatte)
Synthesis I
Tue, Jun 16, 09:15 - 10:55 (Chair: Kathleen Fisher)
Concurrency II
Tue, Jun 16, 09:15 - 10:55 (Chair: Suresh Jagannathan)
Analysis
Tue, Jun 16, 14:00 - 15:40 (Chair: Yannis Smaragdakis)
Semantics I
Tue, Jun 16, 14:00 - 15:40 (Chair: Hans-J. Boehm)
Performance
Wed, Jun 17, 09:15 - 10:55 (Chair: Mary Hall)
Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, and
Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe, USA; Google, USA)
Info
Semantics II
Wed, Jun 17, 09:15 - 10:55 (Chair: Robby Findler)
Logic
Wed, Jun 17, 14:00 - 15:40 (Chair: Madhusudan Parthasarathy)
Parallelism
Wed, Jun 17, 14:00 - 15:40 (Chair: Sara Baghsorkhi)
Potpourri
Wed, Jun 17, 16:00 - 17:40 (Chair: Tiark Rompf)
Synthesis II
Wed, Jun 17, 16:00 - 17:40 (Chair: Isil Dillig)
proc time: 0.81