Institute of Computer Languages
Compilers and Languages Group

Talks 2009 - Lars Alvincz

The Compilers and Languages Group invites you to a talk given by

Dipl.-Inf. Lars Alvincz

TU Berlin, Deutschland


Bridging the Memory Gap: A Framework for Intelligent Speculative Compiler Optimization

Date: Tuesday, January 13th, 2009
Time: 16:00 (c.t.)
Location: TU Wien, FH Hörsaal 3, Freihausgebäude, Wiedner Hauptstr. 8 (Turm B, gelber Bereich, 2. OG)


Static program analyses have to over-approximate the run-time behavior of programs to follow the requirement of safety. This sacrifices significant optimization potential. To overcome this limitation, we propose to use unsafe, but more precise analyses together with speculative optimizations, which ensure correctness in case of misspeculation.

In this talk, we present our Framework for Intelligent Speculative Compiler Optimizations (FrISCO) and its application to the optimization of memory accesses. The framework uses Machine Learning to yield precise predictors for dynamic program behavior on the one hand and novel speculative optimizations which use these predictors to derive precise cost models on the other.

For memory accesses, speculative optimization is of particular importance due to the memory gap and the high imprecision of alias analyses. We implemented the optimization within our compiler framework for the Intel Itanium. Our experimental results show that the heuristics generated by Machine Learning yield precise results, especially due to our concept of program classification. Overall, our optimization together with the automatically generated heuristics leads to significant performance improvement for the SPEC CPU2006 benchmarks.

About Dipl.-Inf. Lars Alvincz:

Lars Alvincz (ne Gesellensetter) is a PhD student in the "Software Engineering for Embedded Systems" group of Prof. Dr. Sabine Glesner at the Technical University of Berlin. He studied computer science at the University of Ulm, at the DCU Dublin, and at the University of Bielefeld, where he received his Diploma Degree in 2004. In his research, he investigates methods to improve compilers (including program analyses and program optimization) by using techniques from the field of machine learning. (

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

   About Us
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)