|go to week of Dec 30, 2012||30||31||1||2||3||4||5|
|go to week of Jan 6, 2013||6||7||8||9||10||11||12|
|go to week of Jan 13, 2013||13||14||15||16||17||18||19|
|go to week of Jan 20, 2013||20||21||22||23||24||25||26|
|go to week of Jan 27, 2013||27||28||29||30||31||1||2|
Illinois-Intel Parallelism Center (I2PC) Distinguished Speaker Series
Thursday, January 17th, 4-5pm CST, Siebel Center 2405
Loop-Based Alias Speculation Using Atomic Region Support
University of Illinois
ABSTRACT: Alias analysis is a critical component in many compiler optimiza- tions. A promising approach to reduce the complexity of alias anal- ysis is to use speculation. The approach consists of performing op- timizations assuming the alias relationships that are true most of the time, and repair the code when such relationships are found not to hold. This work proposes alias speculation that leverages hardware support for atomic regions, which is becoming increasingly popular today. The use of atomic regions eliminates the need for recovery code, which limits the scope and aggressiveness of past speculative alias schemes. In addition, it greatly decreases the amount of alias checks that have to be performed at runtime, which used to slow- down execution. The potential of the new alias speculation is tested with Loop Invariant Code Motion (LICM) and Global Value Num- bering (GVN) optimization passes.
This is work with Yuelu Duan and Josep Torrellas that will appear in ASPLOS 2013.
BIO: Wonsun Ahn is a postdoctoral research scientist at the Computer Science Department of the University of Illinois at Urbana-Champaign. He received his PhD degree from the same department at 2012 and his bachelor's degree from Seoul National University in Korea at 2004. His current research efforts are focused on making the hardware-software barrier more permeable by proposing hardware extensions to enable more compiler optimizations based on runtime information.
The talk will be streamed live at this link:
Questions to the speaker for live response can be directed to our chat
A complete list of seminars (with archived copies of past talks) is