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

William J. Bowman wilbowma at ccs.neu.edu
Tue Apr 12 10:52:36 EDT 2016


Time change:
> 10:30am--11:45am
> Friday, April 15 2016

--
William J. Bowman

On Thu, Apr 07, 2016 at 02:20:11PM -0400, William J. Bowman wrote:
> 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



> _______________________________________________
> pl-seminar mailing list
> pl-seminar at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-seminar

-------------- 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/20160412/89001507/attachment.pgp>


More information about the pl-seminar mailing list