[Pl-seminar] 4/15 Seminar: Alex Aiken, STOKE: Search-Based Compiler Optimization

[William J. Bowman]

NUPRL Seminar presents

Alex Aiken
Stanford University

11:00am--12:30pm
Friday, April 15 2016
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)
Host: Olin Shivers


STOKE: Search-Based Compiler Optimization

Abstract:
The optimization component of a compiler takes a program as input and
produces another, hopefully faster, program as output.
At a high level, optimizers solve a search problem over a space of
programs, but the traditional architecture of a compiler's optimizer
does no search at all.
This talk will present the STOKE project, which is exploring the use
of Monte Carlo search methods as the basis of a modern compiler
optimizer.
We will show that search-based program optimization can consistently
improve, sometimes substantially, on current production compilers at
their highest levels of optimization and can even compete with expert,
hand-written assembly.
We will also discuss the unique and challenging verification problems
that arise when a compiler produces code using a random process.


Bio:
Alex Aiken is the Alcatel-Lucent Professor and the current Tencent
Chair of the Computer Science Department at Stanford.
Alex received his Bachelors degree in Computer Science and Music from
Bowling Green State University in 1983 and his Ph.D. from Cornell
University in 1988.
Alex was a Research Staff Member at the IBM Almaden Research Center
(1988-1993) and a Professor in the EECS department at UC Berkeley
(1993-2003) before joining the Stanford faculty in 2003.
His research interest is in areas related to programming languages.
He is an ACM Fellow, a recipient of Phi Beta Kappa's Teaching Award,
and a former National Young Investigator.

-- 
William J. Bowman
Northeastern University
College of Computer and Information Science
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <http://lists.ccs.neu.edu/pipermail/pl-seminar/attachments/20160407/28599ceb/attachment.pgp>