WebHome < RAP

Start of topic | Skip to actions
<h1>Resource Aware Programming (RAP)</h1>
A [[http://www.cs.rice.edu/CS/PLT/ Rice PLT]] research group

<table border=0 cellpadding=0 cellspacing=0 width="100%" cols=2 NOSAVE>
 <tr NOSAVE>

<td>
<p style='margin-left:0.1in'>
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.

<p style='margin-left:0.1in'>
The following resources provide a high level introduction to our research:
   * [[http://www.cs.rice.edu/~taha/publications/conference/icess04B.pdf][Resource-aware Programming]] (Invited talk, ICESS 2004)
   * [[http://www.cs.rice.edu/~taha/wg2.11/st-1/walid.pdf][Putting Multi-stage Annotations to Work]] (IFIP WG 2.11 statement)
   * [[http://www.cs.chalmers.se/~ms/DCC06/abstracts/WT.pdf][Two-level languages and circuits design and synthesis]] (DCC 2006)
   * [[http://www.cs.rice.edu/~taha/publications/conference/es01.pdf][Functional programming for real applications]] (Invited talk, ES 2001)
   * [[http://varma.ece.cmu.edu/cps/Position-Papers/Cartwright-Kelly-Koushanfar-Taha.pdf][Model-centric cyber-physical computing]] (CPS 2006)
   * [[http://video.google.com/videoplay?docid=915594482273345538&q=type%3Agoogle+engEDU][Video of presentation]] (Invited talk, Google 2007)

_%RED%Breaking news%ENDCOLOR% (01/05/2007)_:  [[http://metaocaml.org/concoqtion/][MetaOCaml Concoqtion]] released.
<p>
</td>

<td>
http://pub.resource-aware.org/WebHome/emsp.gif
</td>

</tr>
</table>

---++ People

   * Faculty: [[http://www.cs.rice.edu/~taha/ Walid Taha]]  Postdoctoral Fellows: [[http://www.cs.rice.edu/~pasalic Emir Pasalic]], [[http://www.cs.rice.edu/~jgs3847 Jeremy Siek]]
   * PhD students: Anthony Castanares, [[Seth Fogarty]], [[http://www.owlnet.rice.edu/~roumen/][Roumen Kaiabachev]], [[Dave Peixotto]]
   * Undergraduate students:  Eric Cheng, 
                              Emily Fortuna,
                              Jennifer Gillenwater,
                              Gregory Malecha (Century Scholar), 
                              Dan Vanderkam,
                              Chris Warrington 
---++ Activities   
   * [[http://www.cs.rice.edu/~taha/publications.html publications]]
   * Software:  [[http://www.metaocaml.org/MetaOCaml]] and [[http://www.metaocaml.org/concoqtion/][Concoqtion]]
   * [[http://hope.cs.rice.edu/twiki/bin/view/Teaching/617][Research Seminar]]
   * RAP in the news: [[http://www.cs.rice.edu/~taha/misc/article.html][America's Tech Demise Greatly Exaggerated]]
   * [[LanguageNews][Language news]]
   * [[Upcoming Conferences]]
   * [[ScholarshipOpportunities][Scholarship and Summer Study Opportunities for students]]
   * [[Internal.WebHome][Internal Wiki]]

---++ Posters 2006
   * [[%ATTACHURL%/poster_car_model.pdf][Systematic Approach in Modeling and Simulating Mobile Robots]]
   * [[%ATTACHURLPATH%/final-small.png][Uccello: A Model for Supporting Higher-order, Generative Programming in Visual Languages]]
   * [[%ATTACHURLPATH%/poster-2006.pdf][Event-driven Functional Reactive Programming With Priorities]]

---++ Posters 2005
   * Taming Program Generation
   * [[%ATTACHURL%/PreVIEW-Final.pdf][PreVIEW: A Model for Supporting Higher-order, Generative Programming in Visual Languages]]
   * Dr. X: A Model for Programming Language 
   * [[%ATTACHURL%/affiliates-poster.pdf][Programming Language Support for Generic Libraries]] (Winner of 3rd place!)
   * [[%ATTACHURL%/poster-2005.pdf][Synthesizing Device Drivers]]



---++ Former Members

   * Kedar Swadi (now at Persistent Systems Pvt. Ltd, Pune, India),
   * [[http://www.owlnet.rice.edu/~besan/ 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 [[http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0439017][Synthesizing Device Drivers]]
   * NSF ITR [[https://www.fastlane.nsf.gov/servlet/showaward?award=0205542][A Framework for Rapid Development of Reliable Robotics Software]]  
   * NSF ITR [[http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0302421][Putting Multi-stage Annotations to Work]]
End of topic
Skip to actions | Back to top
Show attachments
Hide attachments
Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
pdf	poster_car_model.pdf	manage	223.2 K	18 Oct 2006 - 17:55	Main.AngelaYZ	poster_2006_angela
png	final-small.png	manage	1153.7 K	18 Oct 2006 - 22:02	Main.GregoryMalecha
Web Actions:
Preferences
This work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.