The Liberty Computer Architecture Research Group exploits unique opportunities exposed by considering the interaction of compilers and architectures to increase performance, to improve reliability, to reduce cost, to lower power, and to shorten the time to market of microprocessor systems. This objective is accomplished by providing critical computer architecture and compiler research, expertise, and prototypes to the community.
Projects
The Filament Project - Thread-level parallelism is necessary to address growing problems in microprocessor design. The Filament Project uses fine-grained program analysis to identify parallel regions of code, independent of the high-level program organization. Using novel compiler and architecture techniques, this project has already produced new speculative and non-speculative thread extraction methods effective on ordinary C programs.
The Structural Modeling Project - Prevalent computer architecture modeling methodologies are prone to error, make design-space exploration slow, and create barriers to collaboration. The Structural Modeling Project addresses these issues by providing viable structural modeling methodologies to the community. The Liberty Simulation Environment showcases this approach and serves as the core of a new international standardization effort called Fraternité.
The THRIFT Project - As chip densities and clock rates increase, processors are becoming more susceptible to error-inducing transient faults. In contrast to existing techniques, the THRIFT Project advocates adaptive approaches that match the changing reliability and performance demands of a system to improve reliability at lower cost. This project introduced the concept of software-controlled fault tolerance.
The VELOCITY Compiler Project - The VELOCITY Compiler Project aims to address computer architecture problems with a new approach to compiler organization. This compiler organization, embodied in the VELOCITY Compiler (and derivative run-time optimizers), enables true whole-program scope, practical iterative compilation, and smarter memory analysis. These properties make VELOCITY better at extracting threads, improving reliability, and enhancing security.
News
October 25, 2007: Our paper, "Revisiting the Sequential Programming Model for Multi-Core," was selected as one of IEEE Micro's Top Picks from Computer Architecture Conferences! IEEE Micro's Top Picks issue recognizes papers "most relevant to industry and significant in contribution to the field of computer architecture" in 2007.
June 1, 2007: Guilherme Ottoni is awarded an Intel Foundation PhD Fellowship!
May 17, 2007: Our paper, " Fault-tolerant Typed Assembly Language," wins the Best Paper Award at The 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)!
May 2, 2007: Guilherme Ottoni receives the Wu Prize for Excellence, awarded by Princeton University's School of Engineering and Applied Sciences for upper-year graduate students who have performed at the highest level in courses, research, and teaching.
April 9, 2007: George Reis is awarded a Harold W. Dodds Honorific Fellowship, awarded by the Princeton University Graduate School to upper-year graduate students to recognize outstanding performance and professional promise.
Feburary 15, 2007: Our paper, "Automatic Instruction-Level Software-Only Recovery Methods," was selected as one of IEEE Micro's Top Picks from Computer Architecture Conferences! IEEE Micro's Top Picks issue recognizes papers "most relevant to industry and significant in contribution to the field of computer architecture" in 2006.
July 10, 2006: After much deliberation, David Penry accepts the offer from Brigham Young University!
June 25, 2006: Jonathan Chang is awarded the prestigious William C. Carter Award at the 2006 International Conference on Dependable Systems and Networks for the paper "Automatic Instruction-Level Software-Only Recovery Methods" co-authored with George Reis and Professor David August!
April 20, 2006: The Liberty Research Group wins a Microsoft Compiler Research Award for "A Viable Approach to Compiling Sequential Codes for CMPs".
July 11, 2005: A hearty congratulations goes to Spyridon Triantafyllis for accepting an offer of employment from D. E. Shaw!
June 1, 2005: Bolei Guo is awarded an Intel Foundation Graduate Fellowship!
March 23, 2005: Our paper, "SWIFT: Software Implemented Fault Tolerance," wins the Best Paper Award at The Third International Symposium on Code Generation and Optimization (CGO-3)!
August 16, 2004: A hearty congratulations goes to Manish Vachharajani for successfully defending his Ph.D. thesis. Good luck at the University of Colorado, Boulder!
July 2, 2004: There will be a half day tutorial for the Liberty Simulation Environment at ASPLOS XI in Boston Massachusetts on Sunday, October 10, 2004. More information can be found here.
June 2, 2004: The Liberty Research Group will be holding a two and half day tutorial for the Liberty Simulation Environment. The tutorial, which will take place at Princeton University, will run from Monday, June 7th to the afternoon of Wednesday, June 9th. More information can be found here.
May 1, 2004: Spyros Triantafyllis is awarded an Intel Foundation Graduate Fellowship!
Also take a look at our older news.