Front Page

The Liberty Research Group

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 Parallelization Project - Parallelism is necessary to address growing problems in microprocessor design. The Parallelization Project uses intelligent speculation, smart dynamic adaptation, and other novel techniques to automatically extract scalable parallelism from programs never before parallelized.

The Fault Tolerance Project - As chip densities and clock rates increase, processors are becoming more susceptible to error-inducing transient faults. In contrast to existing techniques, we advocate 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 Compiler Foundations Project - Conventional compiler organization and methodology places significant limitations on aggressive optimizations, by excessively relying on unscalable and ineffective intermediate representations and conservative analysis techniques. In contrast to existing compiler systems, the Compiler Foundations project proposes novel intermediate program structures designed specifically to perform whole-program, unrestricted optimizations along with judicious use of predictive heuristics to narrow down the space of profitable optimizations. Furthermore, this project advocates a synergistic combination of conservative static analysis techniques with lightweight profiling to enable aggressive speculative optimizations.

The Security Project - With the explosion in the amount of sensitive data accessed by users, ensuring the confidentiality of that data has become a critical problem in security. This problem is exacerbated by applications which propagate the sensitive data in unexpected, and often, malicious ways. The Security Project introduces the concept of user-centric information flow tracking that empowers users to control how applications propagate their sensitive data. Furthermore, this project considers a new methodology that treats security as a first-order requirement in designing computer systems, alongside traditional requirements such as programmability, usability, speed, and power/energy efficiency.

Projects Released into the Wild

News

  • July 26, 2013: Nick Johnson receives the Siebel Scholars fellowship!

  • June 3, 2013: A hearty congratulations goes to Jialu Huang for successfully defending her Ph.D. thesis. Good luck at Goldman Sachs!

  • May 22, 2013: A hearty congratulations goes to Hanjun Kim for successfully defending his Ph.D. thesis. Good luck at Postech!

  • May 16, 2013: A hearty congratulations goes to Prakash Prabhu for successfully defending his Ph.D. thesis. Good luck at Google!

  • March 30, 2013: The Liberty Team wins second place in the hardware hacks category at HackPrinceton 2013 for Risk of Electrocution, a home power management system. Congrats to Stephen Beard, David Dennis, Nick Johnson, Himanshu Shah, Matt Zoufaly, and mentor David August.

  • September, 2012: Hanjun Kim and Prakash Prabhu receive the Siebel Scholars fellowship!

  • April 26, 2012: Hanjun Kim is awarded an Intel Foundation PhD Fellowship!

  • March 29, 2012: A hearty congratulations goes to Yun Zhang for successfully defending her Ph.D. thesis. Good luck at Goldman Sachs!

  • February 21, 2012: Stephen Beard wins a School of Engineering and Applied Sciences Excellence in Teaching Award!

  • December 6, 2011: A hearty congratulations goes to Arun Raman for successfully defending his Ph.D. thesis. Good luck at Intel!

  • May 19, 2011: Prakash Prabhu is awarded the 2011 Google U.S./Canada Fellowship in Parallel Programming!

  • September 25, 2010: Our paper, "DAFT: Decoupled Acyclic Fault Tolerance," was selected as a Top Paper by the International Conference on Parallel Architectures and Compilation Techniques (PACT) Program Committee! Papers selected will appear in a special issue of the International Journal of Parallel Programming (IJPP).

  • April 23, 2010: Arun Raman is awarded an Intel Foundation PhD Fellowship!

  • May 6, 2009: A hearty congratulations goes to Easwaran Raman for successfully defending his Ph.D. thesis. Good luck at Google!

  • September 15, 2008: A hearty congratulations goes to Matthew Bridges for successfully defending his Ph.D. thesis. Good luck at Google!

  • June 16, 2008: Easwaran Raman 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.

  • 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.

  • February 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.

  • 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.

  • May 1, 2004: Spyros Triantafyllis is awarded an Intel Foundation Graduate Fellowship!

Also take a look at our older news.