TexBot

Welcome to the Rice PLT homepage of TexBot.

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 tiny mindstorm robot. The project is lead by Walid Taha. Currently Available Projects

The TexBot Team

	Roumen Kaiabachev I am currently learning how to develop Windows Device Drivers and am implementing several device drivers in the Windows DDK 3790 environment.		Adam Wulf I am currently working on writing an interpreter for Ridl, an event driven realtime langage based on RT-FRP
	Travis Fischer I am currently working on Dr. Lint, a template program for RAP language development. I am also designing testing situations for TexBot.		Matt Gen 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.
	Miguel Guerrero 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.		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.
	Gregory Malecha I'm currently working on layout algorithms for PreVIEW graphs and am finishing up the lint system.

Papers and Resources

• Real Time FRP (pdf)
• Event Driven FRP (pdf)
• Little Languages for Little Robots (pdf)

Related Projects

• Dr Lint
• RIDL
• Wellesley College Robotic Design Studio
• TimBot

Acknowledgments

This project is supported by several NSF and Texas ATP grants, including:

• NSF ITR award "A Framework for Rapid Development of Reliable Robotics Software"
• NSF ITR award "Putting Multi-stage Annotations to Work"
• NSF Award "Synthesizing Device Drivers"
• Texas ATP 003604-0032-2003 "Advanced Languages Techniques for Device Drivers"