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. News (2009/11/11): Blog for Acumen, our cyberphysical systems modeling language (2008/05/31: Middle Earth Programming Languages Seminar (MEPLS) (2008/03/31): Rice Programming Languages research ranks 9th nationally (2007/11/12): Rice ranks first in 2007 Faculty Scholarly Productivity Index (2007/05/01): MetaOCaml Concoqtion released. You can write much better (2006/06/22): America's Tech Demise Greatly Exaggerated Language news

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.

News

(2009/11/11): Blog for Acumen, our cyberphysical systems modeling language
(2008/05/31: Middle Earth Programming Languages Seminar (MEPLS)
(2008/03/31): Rice Programming Languages research ranks 9th nationally
(2007/11/12): Rice ranks first in 2007 Faculty Scholarly Productivity Index
(2007/05/01): MetaOCaml Concoqtion released.
You can write much better
(2006/06/22): America's Tech Demise Greatly Exaggerated
Language news

Attachments

Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
pdf	affiliates07.pdf	manage	656.0 K	18 Sep 2007 - 16:50	Main.UnknownUser	Poster for Rice CS Affilliates Meeting 2007
gif	emsp.gif	manage	4.8 K	05 Sep 2007 - 18:29	Main.JunInoue
png	final-small.png	manage	1153.7 K	05 Sep 2007 - 18:29	Main.UnknownUser
pdf	hfl07.pdf	manage	80.0 K	05 Sep 2007 - 18:29	Main.WalidTaha
pdf	poster_car_model.pdf	manage	223.2 K	05 Sep 2007 - 18:29	Main.UnknownUser	poster_2006_angela
pdf	poster_python.pdf	manage	342.6 K	17 Sep 2007 - 15:35	Main.UnknownUser
pdf	techcon07-poster.pdf	manage	977.3 K	18 Sep 2007 - 16:50	Main.UnknownUser	Poster for TECHCON 2007