Resource Aware Programming (RAP)

A Rice PLT research group

We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can be applied to challenging domains such as embedded and real-time systems, device drivers, and hardware design and synthesis. The following resources provide a high level introduction to our research: Resource-aware Programming (Invited talk, ICESS 2004) Putting Multi-stage Annotations to Work (IFIP WG 2.11 statement) Two-level languages and circuits design and synthesis (DCC 2006) Functional programming for real applications (Invited talk, ES 2001) Model-centric cyber-physical computing (CPS 2006) Video of presentation (Invited talk, Google 2007) Breaking news (01/05/2007): MetaOCaml Concoqtion released.

People

• Faculty: Walid Taha Postdoctoral Fellows: Emir Pasalic, Jeremy Siek
• PhD students: Anthony Castanares, Seth Fogarty, Roumen Kaiabachev, Dave Peixotto
• Undergraduate students: Eric Cheng, Emily Fortuna, Jennifer Gillenwater, Gregory Malecha (Century Scholar), Dan Vanderkam, Chris Warrington

Activities

• publications
• Software: http://www.metaocaml.org/MetaOCaml and Concoqtion
• Research Seminar
• RAP in the news: America's Tech Demise Greatly Exaggerated
• Language news
• Upcoming Conferences
• Scholarship and Summer Study Opportunities for students
• Internal Wiki

Posters 2006

• Systematic Approach in Modeling and Simulating Mobile Robots
• Uccello: A Model for Supporting Higher-order, Generative Programming in Visual Languages
• Event-driven Functional Reactive Programming With Priorities

Posters 2005

• Taming Program Generation
• PreVIEW: A Model for Supporting Higher-order, Generative Programming in Visual Languages
• Dr. X: A Model for Programming Language
• Programming Language Support for Generic Libraries (Winner of 3rd place!)
• Synthesizing Device Drivers

Former Members

• Kedar Swadi (now at Persistent Systems Pvt. Ltd, Pune, India),
• Stephan Ellner (now at Google),
• Edward Pizzi (BSc. Brown Undergrad Scholar. Now at Google),
• Van Bui (UoH undergrad. NSF REU Scholar),
• Robert Rosenbaum (UoH undergrad. NSF REU Scholar),
• Miguel Guerrero (UoH undergrad. NSF REU Scholar),
• Travis Fischer (Brown Undergrad Scholar),
• Bennet Lau,
• Adam Wulf,
• Matt Gen (NSF REU Scholar)

Acknowledgments

Our research projects is funded by several awards from federal sources and from industry:

• NSF SoD Synthesizing Device Drivers
• NSF ITR A Framework for Rapid Development of Reliable Robotics Software
• NSF ITR Putting Multi-stage Annotations to Work