WebHome < Texbot

Start of topic | Skip to actions
---+TexBot

Welcome to the [[http://www.cs.rice.edu/CS/PLT/][Rice PLT]] homepage of TexBot.

<table border='0' width='100%'>
<tr>
<td> TexBot is an ongoing project aimed at exploring new programming languages for embedded and real-time systems. The current focus of the project is developing a programming language called RIDL, and testing it using a *[[NotesTexBot][tiny mindstorm robot]]*. The project is lead by [[http://www.cs.rice.edu/~taha/][Walid Taha]].


*[[Tasks][Currently Available Projects]]*
</td> 
<td> [[NotesTexBot][<img border=0 height=180 src=%ATTACHURLPATH%/texbot.jpg>]] </td>
</tr>
</table>
<p>

---++The TexBot Team
<p>

<table border='0' width='100%'>
 <tr>
  <td>
   <a href='http://www.owlnet.rice.edu/~roumen/' class='member'><img src=%ATTACHURLPATH%/roumen.jpg class='mug'></a>
  </td>

  <td class='body' width='50%'>
   <b>Roumen Kaiabachev</b><br>
   <!-- description here -->
   I am currently learning how to develop Windows Device Drivers and am implementing  several device drivers in the Windows DDK 3790 environment.
  </td>

  <td>
   <img src=%ATTACHURLPATH%/awulf.jpg class='mug'>
  </td>

  <td class='body' width='40%'>
   *Adam Wulf* <br>
   <!-- description here -->
   I am currently working on writing an interpreter for Ridl, an event driven realtime langage based on RT-FRP
  </td>
 </tr>
 <tr>
  <td>
   <a href='http://www.owlnet.rice.edu/~tfisch/' class='member'><img src=%ATTACHURLPATH%/tfisch_texbot.jpg class='mug'></a>
  </td><td>
*Travis Fischer* <br>
   <!-- description here -->
   I am currently working on [[http://hope.cs.rice.edu/twiki/bin/view/Texbot/LintRelease][Dr. Lint]], a template program for RAP language development.  I am also designing testing situations for TexBot.
  </td>
  <td>
   <a href='http://www.owlnet.rice.edu/~mgen/' class='member'><img src=%ATTACHURLPATH%/matt.jpg class='mug'></a>
  </td>
  <td class='body' width='40%'>
   <a href='http://www.owlnet.rice.edu/~mgen/' class='member'> *Matt Gen* </a><br>
   <!-- description here -->
   This summer I worked on understanding the basics of programming LEGO
   mindstorm robots, and trying to provide the infrastructure needed to
   execute C programs generated by RIDL on the mindstrom robots.
  </td>
 </tr>
 <tr>
  <td>
   <a href='http://www.texbot.org/MiguelGuerrero' class='member'><img src=%ATTACHURLPATH%/nobody.gif class='mug'></a>
  </td>
  <td class='body' width='40%'>
   *[[http://www.texbot.org/MiguelGuerrero Miguel Guerrero]]*
   <!-- description here -->
   This summer I worked on understanding the performance characteristics
   of the LOGO implementation we developed last summer.  If all goes well,
   we might generate RIDL programs out of the LOGO interpreter we developed
   last year.
  </td>
  <td>
   <a href='http://www.texbot.org/BennettLau' class='member'><img src=%ATTACHURLPATH%/nobody.gif class='mug'></a>
  </td>
  <td class='body' width='40%'>
   *[[http://www.texbot.org/BennettLau Bennett Lau]]*
   I am working on writing device drivers under windows.  My current work
   involves incremently developing several device drivers that are less and
   less dependent on existing infrastructure for building device drivers.
  </td>
 </tr>
 <tr>
  <td>
   <a href='http://www.texbot.org/GregoryMalecha' class='member'><img src=%ATTACHURLPATH%/nobody.gif class='mug'></a>
  </td>
  <td class='body' width='40%'>
   *[[http://www.texbot.org/GregoryMalecha Gregory Malecha]]*
   I'm currently working on layout algorithms for PreVIEW graphs and
  am finishing up the lint system.
   <!-- description here -->
  </td>
  <td>

  </td>

  <td>
  </td>
 </tr>
</table>

---++Papers and Resources

   * <a href='http://www.cs.rice.edu/~taha/publications/conference/icfp01b.pdf'>Real Time FRP</a> (pdf)
   * <a href='http://www.cs.rice.edu/~taha/publications/conference/padl02.pdf'>Event Driven FRP</a> (pdf)
   *  <a href='http://www.jadud.com/people/mcj/files/2003-PPIG-lllr.pdf'>Little Languages for Little Robots</a> (pdf)

---++Related Projects

   * [[http://hope.cs.rice.edu/twiki/bin/view/Texbot/LintRelease][Dr Lint]]
   * [[http://www.ridl.org][RIDL]]
 <li class='body'> <a href='http://cs.wellesley.edu/~rds/rds05/'>Wellesley College Robotic Design Studio</a>
 <li class='body'> <a href='http://www.cse.ogi.edu/~mpj/timbot/'>TimBot</a>
</ul>
</p>
 
---++Acknowledgments
This project is supported by several NSF and Texas ATP grants, including:
<ul>
   <li class='body'> NSF ITR award <a href="https://www.fastlane.nsf.gov/servlet/showaward?award=0205542">&quot;A Framework for Rapid Development of Reliable Robotics Software&quot;</a>
   <li class='body'> NSF ITR award <a href="https://www.fastlane.nsf.gov/servlet/showaward?award=0113569">&quot;Putting Multi-stage Annotations to Work&quot;</a> 
   <li class='body'> NSF Award <a href='http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0439017'>&quot;Synthesizing Device Drivers&quot;</a>
   <li class='body'> Texas ATP 003604-0032-2003 "Advanced Languages Techniques for Device Drivers"
</ul>
End of topic
Skip to actions | Back to top
Web Actions:
Preferences
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? ". Please contribute updates to this topic on TWiki.org at TWiki:TWiki.WebHome".