Wed 17 Jun 2015 10:30 - 10:55 at PLDI Main BLUE (Portland 254-255) - Performance Chair(s): Mary Hall

Contemporary compiler systems such as GCC, .NET, and LLVM incorporate profile-guided optimizations (PGOs) on low-level intermediate code and basic blocks, with impressive results over purely static heuristics. Recent work shows that profile information is also useful for performing source-to-source optimizations via meta-programming. For example, using profiling information to inform decisions about data structures and algorithms can potentially lead to asymptotic improvements in performance.

We present a design for profile-guided meta-programming in a general-purpose meta-programming system. Our design is parametric over the particular profiler and meta-programming system. We implement this design in two different meta-programming systems—the syntactic extensions systems of Chez Scheme and Racket—and provide several profile-guided meta-programs as usability case studies.

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

09:15 - 10:55
PerformanceResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Mary HallUniversity of Utah
09:15
25m
Talk
Automated Detection of Performance Bugs via Static Analysis
Research Papers
Oswaldo Olivo, Isil DilligUniversity of Texas, Austin, Calvin LinUT Austin
Media Attached
09:40
25m
Talk
Autotuning Algorithmic Choice for Input Sensitivity
Research Papers
Yufei DingNorth Carolina State University, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Xipeng ShenNorth Carolina State University, Una-May O’ReillyMassachusetts Institute of Technology, Saman AmarasingheMIT
Link to publication Media Attached
10:05
25m
Talk
Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Research Papers
Charith MendisMIT CSAIL, Jeffrey BosboomMIT CSAIL, Kevin WuMIT CSAIL, Shoaib KamilMIT CSAIL, USA, Jonathan Ragan-KelleyStanford, Sylvain ParisAdobe, Qin ZhaoGoogle, Saman AmarasingheMIT
Media Attached
10:30
25m
Talk
Profile-Guided Meta-Programming
Research Papers
William J. BowmanNortheastern University, Swaha MillerCisco Systems, Inc, Vincent St-AmourNortheastern University, R. Kent DybvigCisco Systems, Inc
Link to publication Media Attached