<<O>>  Difference Topic WebHome (44 - 04 Oct 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 23 to 23
  Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
Added:
>
>

Easy-to-read introductions to our research

  • Putting Multi-stage Annotations to Work
  • Resource-aware Programming
  • Two-level languages and circuits design and synthesis
 

People
Changed:
<
<
  • Faculty: Walid Taha
  • Postdoctoral Fellows: Emir Pasalic, Jeremy Siek
>
>
  • 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,
 <<O>>  Difference Topic WebHome (43 - 07 Sep 2006 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 27 to 27
 
  • Faculty: Walid Taha
  • Postdoctoral Fellows: Emir Pasalic, Jeremy Siek
Changed:
<
<
>
>
 
  • Undergraduate students: Eric Cheng, Emily Fortuna, Jennifer Gillenwater,
 <<O>>  Difference Topic WebHome (42 - 03 Jul 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
 <<O>>  Difference Topic WebHome (41 - 23 Jun 2006 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 41 to 41
 
Changed:
<
<
  • RAP in the news: http://www.cs.rice.edu/~taha/misc/article.html?
>
>
  • RAP in the news: America's Tech Demise Greatly Exaggerated
 

Posters

  • Taming Program Generation
 <<O>>  Difference Topic WebHome (40 - 23 Jun 2006 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 41 to 41
 
Changed:
<
<
  • RAP in the news: America's Tech Demise Greatly Exaggerated?http://www.cs.rice.edu/~taha/misc/article.html
>
>
  • RAP in the news: http://www.cs.rice.edu/~taha/misc/article.html?
 

Posters

  • Taming Program Generation
 <<O>>  Difference Topic WebHome (39 - 23 Jun 2006 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 41 to 41
 
Added:
>
>
  • RAP in the news: America's Tech Demise Greatly Exaggerated?http://www.cs.rice.edu/~taha/misc/article.html
 

Posters

  • Taming Program Generation
 <<O>>  Difference Topic WebHome (38 - 12 May 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 51 to 51
 

Former Members
Deleted:
<
<
  • 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
 
  • Kedar Swadi (now at Persistent Systems Pvt. Ltd, Pune, India),
  • Stephan Ellner (now at Google),
  • Edward Pizzi (BSc. Brown Undergrad Scholar. Now at Google),
 <<O>>  Difference Topic WebHome (37 - 20 Apr 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 8 to 8
 

Changed:
<
<

>
>

  Our research group develops and applies state-of-the-art programming languages techniques such as multi-stage programming and dependent types to challenging domains such as embedded and real-time systems, device drivers, and hardware design and synthesis.

Line: 34 to 34
  Gregory Malecha (Century Scholar), Dan Vanderkam, Chris Warrington
Deleted:
<
<
  • 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 Tannenbaum (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)
 

Activities

  • Publications
  • Software: MetaOCaml
 <<O>>  Difference Topic WebHome (36 - 20 Apr 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 8 to 8
 

Changed:
<
<

>
>

  Our research group develops and applies state-of-the-art programming languages techniques such as multi-stage programming and dependent types to challenging domains such as embedded and real-time systems, device drivers, and hardware design and synthesis.

 <<O>>  Difference Topic WebHome (35 - 20 Apr 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 8 to 8
 

Changed:
<
<

>
>

  Our research group develops and applies state-of-the-art programming languages techniques such as multi-stage programming and dependent types to challenging domains such as embedded and real-time systems, device drivers, and hardware design and synthesis.

 <<O>>  Difference Topic WebHome (34 - 20 Apr 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on

Resource Aware Programming (RAP)
Deleted:
<
<		 Languages for embedded software
 

Changed:
<
<		 This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming and dependent types on embedded and real-time software development.

>
>		 Our research group develops and applies state-of-the-art programming languages techniques such as multi-stage programming and dependent types to challenging domains such as embedded and real-time systems, device drivers, and hardware design and synthesis.

 

Line: 63 to 60
 
Added:
>
>

Former Members

  • 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
  • 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 Tannenbaum (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

Supported by NSF ITR "A Framework for Rapid Development of Reliable Robotics Software"
 <<O>>  Difference Topic WebHome (33 - 18 Apr 2006 - Main.ChrisWarrington)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 35 to 35
  Emily Fortuna, Jennifer Gillenwater, Gregory Malecha (Century Scholar),
Changed:
<
<		 Dan Vanderkam
>
>		 Dan Vanderkam, Chris Warrington
 
  • 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),
 <<O>>  Difference Topic WebHome (32 - 18 Apr 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 55 to 55
 
Changed:
<
<

Posters from the Rice Industry Affiliates Meeting
>
>

Posters
 
 <<O>>  Difference Topic WebHome (31 - 18 Apr 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 50 to 50
 

Activities

  • Publications
  • Software: MetaOCaml
Changed:
<
<
  • Seminar06S Research Seminar?
>
>
 
 <<O>>  Difference Topic WebHome (30 - 18 Apr 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 26 to 26
  Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
Changed:
<
<

Resources

Publications

  • Functional Programming for Real Applications, Invited Paper (ES’01)

  • Event-driven FRP (PADL’02)

  • Real-Time FRP (ICFP’01)

These papers are also available in dvi and ps formats.

Software products

  • MetaOCaml:A compiled, multi-stage OCaml

Openings

Team Members
>
>

People
 
  • Faculty: Walid Taha
  • Postdoctoral Fellows: Emir Pasalic, Jeremy Siek
Line: 71 to 47
  Adam Wulf, Matt Gen (NSF REU Scholar)
Changed:
<
<

Seminars
>
>

Activities
 

Posters from the Rice Industry Affiliates Meeting

  • Taming Program Generation
 <<O>>  Difference Topic WebHome (29 - 12 Apr 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 72 to 72
  Matt Gen (NSF REU Scholar)

Seminars
Changed:
<
<
>
>
 

Posters from the Rice Industry Affiliates Meeting
 <<O>>  Difference Topic WebHome (28 - 12 Apr 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 72 to 72
  Matt Gen (NSF REU Scholar)

Seminars
Deleted:
<
<
 
Added:
>
>
 

Posters from the Rice Industry Affiliates Meeting

  • Taming Program Generation
 <<O>>  Difference Topic WebHome (27 - 12 Apr 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 73 to 73
 

Seminars
Changed:
<
<
  • Seminar05S? (really 2006)
>
>
 

Posters from the Rice Industry Affiliates Meeting
Added:
>
>
 

Acknowledgments
Line: 90 to 91
 
META FILEATTACHMENT attr="h" autoattached="1" comment="" date="1140562336" name="PreVIEW-Final.pdf" path="PreVIEW-Final.pdf" size="474275" user="JeremySiek" version="1.1"
META FILEATTACHMENT attr="h" autoattached="1" comment="Poster: Programming Language Support for Generic Libraries" date="1140562336" name="affiliates-poster.pdf" path="affiliates-poster.pdf" size="170794" user="JeremySiek" version="1.1"
META FILEATTACHMENT attr="h" autoattached="1" comment="rap" date="1140562336" name="emsp.gif" path="emsp.gif" size="5149" user="guest" version="1.1"
Added:
>
>
META FILEATTACHMENT attr="h" autoattached="1" comment="" date="1142954678" name="poster-2005.pdf" path="poster-2005.pdf" size="134708" user="Main.RoumenKaiabachev" version=""
 <<O>>  Difference Topic WebHome (26 - 28 Feb 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 10 to 10
 

Changed:
<
<		 This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming and dependent types on embedded and real-time software development.
>
>

This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming and dependent types on embedded and real-time software development.
 
emsp.gif
 <<O>>  Difference Topic WebHome (25 - 28 Feb 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 10 to 10
 

Changed:
<
<		 This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming and dependent types on embedded and real-time software development. Multi-stage languages already provide significant safety guarantees. For example, a program generator written in such a language not only is type-safe in the traditional sense, but we are guaranteed that any generated program will also be type safe. This provides a noteworthy degree of assurance about the quality of the generated code. But like most traditional high-level programming techniques, multi-stage programming was designed to satisfy functional requirements rather than operational ones, and existing multi-stage languages do not provide any guarantees about the behavior of programs in the presence of bounded resources. The challenge in this setting is ensuring that the generated programs are suitable for execution on an embedded platform.

Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
>
>		 This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming and dependent types on embedded and real-time software development.
 
emsp.gif
Line: 22 to 19
 
Added:
>
>		 Multi-stage languages already provide significant safety guarantees. For example, a program generator written in such a language not only is type-safe in the traditional sense, but we are guaranteed that any generated program will also be type safe. This provides a noteworthy degree of assurance about the quality of the generated code. But like most traditional high-level programming techniques, multi-stage programming was designed to satisfy functional requirements rather than operational ones, and existing multi-stage languages do not provide any guarantees about the behavior of programs in the presence of bounded resources. The challenge in this setting is ensuring that the generated programs are suitable for execution on an embedded platform.

Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
 

Resources
 <<O>>  Difference Topic WebHome (24 - 28 Feb 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 15 to 15
  Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
Changed:
<
<		 <td
>
>
  emsp.gif
 <<O>>  Difference Topic WebHome (23 - 28 Feb 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 6 to 6
  Languages for embedded software
Changed:
<
<		 emsp.gif
>
>
 
Added:
>
>
This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming and dependent types on embedded and real-time software development. Multi-stage languages already provide significant safety guarantees. For example, a program generator written in such a language not only is type-safe in the traditional sense, but we are guaranteed that any generated program will also be type safe. This provides a noteworthy degree of assurance about the quality of the generated code. But like most traditional high-level programming techniques, multi-stage programming was designed to satisfy functional requirements rather than operational ones, and existing multi-stage languages do not provide any guarantees about the behavior of programs in the presence of bounded resources. The challenge in this setting is ensuring that the generated programs are suitable for execution on an embedded platform.
 
Changed:
<
<

Introduction
>
>		 Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
 
Changed:
<
<		 This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming in embedded systems. Multi-stage languages already provide significant safety guarantees. For example, a program generator written in such a language not only is type-safe in the traditional sense, but we are guaranteed that any generated program will also be type safe. This provides a noteworthy degree of assurance about the quality of the generated code. But like most traditional high-level programming techniques, multi-stage programming was designed to satisfy functional requirements rather than operational ones, and existing multi-stage languages do not provide any guarantees about the behavior of programs in the presence of bounded resources. The challenge in this setting is ensuring that the generated programs are suitable for execution on an embedded platform.
>
>		 <td emsp.gif
 
Changed:
<
<		 Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
>
>
 

Resources
 <<O>>  Difference Topic WebHome (22 - 24 Feb 2006 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 16 to 16
  Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.

Resources
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Line: 37 to 37
 

Openings
Changed:
<
<
>
>
 

Team Members
Line: 76 to 76
 
Changed:
<
<
META FILEATTACHMENT attr="h" comment="rap" date="1129913863" name="emsp.gif" path="emsp.gif" size="5149" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="Poster: Programming Language Support for Generic Libraries" date="1135010416" name="affiliates-poster.pdf" path="affiliates-poster.pdf" size="170794" user="JeremySiek" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1135010553" name="PreVIEW-Final.pdf" path="PreVIEW-Final.pdf" size="474275" user="JeremySiek" version="1.1"
>
>
META FILEATTACHMENT attr="h" autoattached="1" comment="" date="1140562336" name="PreVIEW-Final.pdf" path="PreVIEW-Final.pdf" size="474275" user="JeremySiek" version="1.1"
META FILEATTACHMENT attr="h" autoattached="1" comment="Poster: Programming Language Support for Generic Libraries" date="1140562336" name="affiliates-poster.pdf" path="affiliates-poster.pdf" size="170794" user="JeremySiek" version="1.1"
META FILEATTACHMENT attr="h" autoattached="1" comment="rap" date="1140562336" name="emsp.gif" path="emsp.gif" size="5149" user="guest" version="1.1"
 <<O>>  Difference Topic WebHome (21 - 08 Feb 2006 - Main.JeremySiek)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 62 to 62
 

Seminars
Changed:
<
<
  • Seminar05S?
>
>
  • Seminar05S? (really 2006)
 

Posters from the Rice Industry Affiliates Meeting

  • Taming Program Generation
 <<O>>  Difference Topic WebHome (20 - 03 Feb 2006 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 20 to 20
 
Added:
>
>
 

Publications

  • Functional Programming for Real Applications, Invited Paper (ES’01)
 <<O>>  Difference Topic WebHome (19 - 31 Jan 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 18 to 18
 

Resources
Changed:
<
<
>
>
 

Publications

  • Functional Programming for Real Applications, Invited Paper (ES’01)
 <<O>>  Difference Topic WebHome (18 - 30 Jan 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 18 to 18
 

Resources
Added:
>
>
 

Publications

  • Functional Programming for Real Applications, Invited Paper (ES’01)
Line: 41 to 43
 
  • Postdoctoral Fellows: Emir Pasalic, Jeremy Siek
  • PhD students: Anthony Castanares, Seth Fogarty Roumen Kaiabachev Dave Peixotto
  • Undergraduate students: Eric Cheng,
Added:
>
>		 Emily Fortuna,
  Jennifer Gillenwater, Gregory Malecha (Century Scholar), Dan Vanderkam
 <<O>>  Difference Topic WebHome (17 - 11 Jan 2006 - Main.DavePeixotto)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 55 to 55
  Adam Wulf, Matt Gen (NSF REU Scholar)
Added:
>
>

Seminars
 

Posters from the Rice Industry Affiliates Meeting
Line: 68 to 72
 

META FILEATTACHMENT attr="h" comment="rap" date="1129913863" name="emsp.gif" path="emsp.gif" size="5149" user="guest" version="1.1"
Changed:
<
<
META FILEATTACHMENT attr="" comment="Poster: Programming Language Support for Generic Libraries" date="1135010416" name="affiliates-poster.pdf" path="affiliates-poster.pdf" size="170794" user="JeremySiek" version="1.1"
META FILEATTACHMENT attr="" comment="" date="1135010553" name="PreVIEW-Final.pdf" path="PreVIEW-Final.pdf" size="474275" user="JeremySiek" version="1.1"
>
>
META FILEATTACHMENT attr="h" comment="Poster: Programming Language Support for Generic Libraries" date="1135010416" name="affiliates-poster.pdf" path="affiliates-poster.pdf" size="170794" user="JeremySiek" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1135010553" name="PreVIEW-Final.pdf" path="PreVIEW-Final.pdf" size="474275" user="JeremySiek" version="1.1"
 <<O>>  Difference Topic WebHome (16 - 21 Dec 2005 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 20 to 21
 

Publications

  • Functional Programming for Real Applications, Invited Paper (ES’01)
Deleted:
<
<

Resource Aware Programming
 
  • Event-driven FRP (PADL’02)

  • Real-Time FRP (ICFP’01)

These papers are also available in dvi and ps formats.
Changed:
<
<

Related Systems
>
>

Software products
 
  • MetaOCaml:A compiled, multi-stage OCaml

Openings
Changed:
<
<
>
>
 

Team Members

  • Faculty: Walid Taha
Changed:
<
<
  • Postdoctoral Fellows: Jeremy Siek
  • PhD students: Seth Fogarty Roumen Kaiabachev Dave Peixotto
  • Undergraduate students:
  • Former Member: Stephan Ellner
>
>
  • Postdoctoral Fellows: Emir Pasalic, Jeremy Siek
  • PhD students: Anthony Castanares, Seth Fogarty Roumen Kaiabachev Dave Peixotto
  • Undergraduate students: Eric Cheng, Jennifer Gillenwater, Gregory Malecha (Century Scholar), Dan Vanderkam
  • 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 Tannenbaum (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)
 

Posters from the Rice Industry Affiliates Meeting

  • Taming Program Generation
 <<O>>  Difference Topic WebHome (15 - 19 Dec 2005 - Main.JeremySiek)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 45 to 45
 
  • Former Member: Stephan Ellner

Posters from the Rice Industry Affiliates Meeting
Changed:
<
<
>
>
 
  • Dr. X: A Model for Programming Language
Changed:
<
<
>
>
 

Acknowledgments
 <<O>>  Difference Topic WebHome (14 - 19 Dec 2005 - Main.JeremySiek)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 44 to 44
 
  • Undergraduate students:
  • Former Member: Stephan Ellner
Added:
>
>

Posters from the Rice Industry Affiliates Meeting
 

Acknowledgments

Supported by NSF ITR "A Framework for Rapid Development of Reliable Robotics Software"
Line: 48 to 53
  Supported by NSF ITR "A Framework for Rapid Development of Reliable Robotics Software"
Added:
>
>
 
META FILEATTACHMENT attr="h" comment="rap" date="1129913863" name="emsp.gif" path="emsp.gif" size="5149" user="guest" version="1.1"
Added:
>
>
META FILEATTACHMENT attr="" comment="Poster: Programming Language Support for Generic Libraries" date="1135010416" name="affiliates-poster.pdf" path="affiliates-poster.pdf" size="170794" user="JeremySiek" version="1.1"
META FILEATTACHMENT attr="" comment="" date="1135010553" name="PreVIEW-Final.pdf" path="PreVIEW-Final.pdf" size="474275" user="JeremySiek" version="1.1"
 <<O>>  Difference Topic WebHome (13 - 16 Dec 2005 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 15 to 15
  Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
Added:
>
>

Resources
 

Publications

  • Functional Programming for Real Applications, Invited Paper (ES’01)
 <<O>>  Difference Topic WebHome (12 - 06 Dec 2005 - Main.DavePeixotto)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 38 to 38
 
  • Faculty: Walid Taha
  • Postdoctoral Fellows: Jeremy Siek
Changed:
<
<
>
>
 
  • Undergraduate students:
  • Former Member: Stephan Ellner
 <<O>>  Difference Topic WebHome (11 - 28 Nov 2005 - Main.RoumenKaiabachev)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 38 to 38
 
  • Faculty: Walid Taha
  • Postdoctoral Fellows: Jeremy Siek
Changed:
<
<
>
>
 
  • Undergraduate students:
  • Former Member: Stephan Ellner
 <<O>>  Difference Topic WebHome (10 - 25 Nov 2005 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 38 to 38
 
  • Faculty: Walid Taha
  • Postdoctoral Fellows: Jeremy Siek
Changed:
<
<
  • PhD students:
>
>
 
  • Undergraduate students:
  • Former Member: Stephan Ellner
 <<O>>  Difference Topic WebHome (9 - 25 Nov 2005 - Main.JeremySiek)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 37 to 37
 

Team Members

  • Faculty: Walid Taha
Changed:
<
<
  • Postdoctoral Fellows:
>
>
  • Postdoctoral Fellows: Jeremy Siek
 
  • PhD students:
  • Undergraduate students:
  • Former Member: Stephan Ellner
 <<O>>  Difference Topic WebHome (8 - 25 Nov 2005 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 36 to 36
 

Team Members
Changed:
<
<
  • Walid Taha
  • Stephan Ellner
>
>
  • Faculty: Walid Taha
  • Postdoctoral Fellows:
  • PhD students:
  • Undergraduate students:
  • Former Member: Stephan Ellner
 

Acknowledgments
 <<O>>  Difference Topic WebHome (7 - 24 Nov 2005 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
 <<O>>  Difference Topic WebHome (6 - 24 Nov 2005 - Main.www-data)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 16 to 16
  Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.

Publications
Changed:
<
<
  • Functional Programming for Real Applications, Invited Paper (ES’01)
>
>
  • Functional Programming for Real Applications, Invited Paper (ES’01)
 

Resource Aware Programming
Changed:
<
<
  • Event-driven FRP (PADL’02)
>
>
  • Event-driven FRP (PADL’02)
 
Changed:
<
<
  • Real-Time FRP (ICFP’01)
>
>
  • Real-Time FRP (ICFP’01)
  These papers are also available in dvi and ps formats.
 <<O>>  Difference Topic WebHome (5 - 18 Nov 2005 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 6 to 6
  Languages for embedded software
Changed:
<
<		 emsp.gif
>
>		 emsp.gif
 

Introduction
Changed:
<
<		 This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming in embedded systems. Multi-stage languages already provide significant safety guarantees. For example, a program generator written in such a language not only is type-safe in the traditional sense, but we are guaranteed that any generated program will also be type safe. This provides a noteworthy degree of assurance about the quality of the generated code. But like most traditional high-level programming techniques, multi-stage programming was designed to satisfy functional requirements rather than operational ones, and existing multi-stage languages do not provide any guarantees about the behavior of programs in the presence of bounded resources. The challenge in this setting is ensuring that the generated programs are suitable for execution on an embedded platform.
>
>		 This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming in embedded systems. Multi-stage languages already provide significant safety guarantees. For example, a program generator written in such a language not only is type-safe in the traditional sense, but we are guaranteed that any generated program will also be type safe. This provides a noteworthy degree of assurance about the quality of the generated code. But like most traditional high-level programming techniques, multi-stage programming was designed to satisfy functional requirements rather than operational ones, and existing multi-stage languages do not provide any guarantees about the behavior of programs in the presence of bounded resources. The challenge in this setting is ensuring that the generated programs are suitable for execution on an embedded platform.
 
Changed:
<
<		 Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
>
>		 Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
 

Publications

  • Functional Programming for Real Applications, Invited Paper (ES’01)
Changed:
<
<

Resource Aware Programming
>
>

Resource Aware Programming
 
  • Event-driven FRP (PADL’02)

  • Real-Time FRP (ICFP’01)
Changed:
<
<		 These papers are also available in dvi and ps formats.
>
>		 These papers are also available in dvi and ps formats.
 
Changed:
<
<

Related Systems
>
>

Related Systems
 
Changed:
<
<
  • MetaOCaml:A compiled, multi-stage OCaml
>
>
  • MetaOCaml:A compiled, multi-stage OCaml
 
Changed:
<
<

Openings
>
>

Openings
 
Changed:
<
<

Team Members
>
>

Team Members
 
  • Walid Taha
  • Stephan Ellner
Changed:
<
<

Acknowledgments
>
>

Acknowledgments
  Supported by NSF ITR "A Framework for Rapid Development of Reliable Robotics Software"
Deleted:
<
<
 
META FILEATTACHMENT attr="h" comment="rap" date="1129913863" name="emsp.gif" path="emsp.gif" size="5149" user="guest" version="1.1"
 <<O>>  Difference Topic WebHome (4 - 14 Nov 2005 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
Line: 28 to 28
 

Related Systems
Changed:
<
<
MetaOCaml:A compiled, multi-stage OCaml
>
>
  • MetaOCaml:A compiled, multi-stage OCaml
 

Openings
Changed:
<
<		 Postdoctoral Research Scientist
>
>
 

Team Members
Changed:
<
<

Walid Taha Stephan Ellner
>
>
  • Walid Taha
  • Stephan Ellner
 

Acknowledgments
 <<O>>  Difference Topic WebHome (3 - 14 Nov 2005 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on
 <<O>>  Difference Topic WebHome (2 - 21 Oct 2005 - Main.TWikiGuest)

Acknowledgments

Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Changed:
<
<		 Welcome to the Rice PLT project on
>
>		 Welcome to the Rice PLT project on
 
Changed:
<
<		 Resource Aware Programming (RAP)
>
>

Resource Aware Programming (RAP)
 
Changed:
<
<		 Languages for embedded software [Image:emsp.gif?]
>
>		 Languages for embedded software
 
Changed:
<
<

Introduction
>
>		 emsp.gif

Introduction
  This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming in embedded systems. Multi-stage languages already provide significant safety guarantees. For example, a program generator written in such a language not only is type-safe in the traditional sense, but we are guaranteed that any generated program will also be type safe. This provides a noteworthy degree of assurance about the quality of the generated code. But like most traditional high-level programming techniques, multi-stage programming was designed to satisfy functional requirements rather than operational ones, and existing multi-stage languages do not provide any guarantees about the behavior of programs in the presence of bounded resources. The challenge in this setting is ensuring that the generated programs are suitable for execution on an embedded platform.

Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.
Changed:
<
<

Publications
>
>

Publications
 
  • Functional Programming for Real Applications, Invited Paper (ES’01)

Resource Aware Programming
Line: 34 to 34
 

Openings
Changed:
<
<		 <span style="font-family:"Courier New"; mso-bidi-font-family:"Times New Roman"">o [openings.txt Postdoctoral Research Scientist]
>
>		 Postdoctoral Research Scientist
 

Team Members
Changed:
<
<		 {| style="width:65.32%;mso-cellspacing: 1.5pt;mso-padding-alt:0in 0in 0in 0in" width="65%"
style="padding:.75pt .75pt .75pt .75pt"
[http://www.cs.rice.edu/~taha/ Walid Taha]
style="padding:.75pt .75pt .75pt .75pt"
[http://www.owlnet.rice.edu/~besan/ Stephan Ellner] |}
>
>		 Walid Taha Stephan Ellner
 
Changed:
<
<		 Supported by NSF ITR [https://www.fastlane.nsf.gov/servlet/showaward?award=0205542 "A Framework for Rapid Development of Reliable Robotics Software"]
>
>		 Supported by NSF ITR "A Framework for Rapid Development of Reliable Robotics Software"
 
Added:
>
>
META FILEATTACHMENT attr="h" comment="rap" date="1129913863" name="emsp.gif" path="emsp.gif" size="5149" user="guest" version="1.1"
 <<O>>  Difference Topic WebHome (1 - 19 Oct 2005 - Main.TWikiGuest)
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"
Welcome to the Rice PLT project on

Resource Aware Programming (RAP)

Languages for embedded software [Image:emsp.gif?]

Introduction

This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming in embedded systems. Multi-stage languages already provide significant safety guarantees. For example, a program generator written in such a language not only is type-safe in the traditional sense, but we are guaranteed that any generated program will also be type safe. This provides a noteworthy degree of assurance about the quality of the generated code. But like most traditional high-level programming techniques, multi-stage programming was designed to satisfy functional requirements rather than operational ones, and existing multi-stage languages do not provide any guarantees about the behavior of programs in the presence of bounded resources. The challenge in this setting is ensuring that the generated programs are suitable for execution on an embedded platform.

Our current focus is on ways to address this problem by strengthening ``traditional'' multi-stage type systems using (mainly) foundational techniques from type theory and functional reactive programming (FRP) to create a paradigm of resource-aware multi-stage programming. Linear and alias types (in conjunction with dependent typing) will be used to ensure space-boundedness, new typing techniques are used to ensure time-boundedness, and signals and behaviors from FRP allow for a natural style of reactive programming.

Publications

  • Functional Programming for Real Applications, Invited Paper (ES’01)

Resource Aware Programming

  • Event-driven FRP (PADL’02)

  • Real-Time FRP (ICFP’01)

These papers are also available in dvi and ps formats.

Related Systems

MetaOCaml:A compiled, multi-stage OCaml

Openings

<span style="font-family:"Courier New"; mso-bidi-font-family:"Times New Roman"">o [openings.txt Postdoctoral Research Scientist]

Team Members

{| style="width:65.32%;mso-cellspacing: 1.5pt;mso-padding-alt:0in 0in 0in 0in" width="65%"

style="padding:.75pt .75pt .75pt .75pt"
[http://www.cs.rice.edu/~taha/ Walid Taha]
style="padding:.75pt .75pt .75pt .75pt"
[http://www.owlnet.rice.edu/~besan/ Stephan Ellner] |}

Acknowledgments

Supported by NSF ITR [https://www.fastlane.nsf.gov/servlet/showaward?award=0205542 "A Framework for Rapid Development of Reliable Robotics Software"]
View topic  |  History: r44 < r43 < r42 < r41  |  More topic actions...
Revision 44 - r44 - 04 Oct 2006 - 12:14 - Main.WalidTaha
Revision 43 - r43 - 07 Sep 2006 - 14:20 - Main.SethFogarty
Revision 42 - r42 - 03 Jul 2006 - 15:22 - Main.WalidTaha
Revision 41 - r41 - 23 Jun 2006 - 20:06 - Main.SethFogarty
Revision 40 - r40 - 23 Jun 2006 - 20:05 - Main.SethFogarty
Revision 39 - r39 - 23 Jun 2006 - 20:05 - Main.SethFogarty
Revision 38 - r38 - 12 May 2006 - 00:03 - Main.WalidTaha
Revision 37 - r37 - 20 Apr 2006 - 15:30 - Main.WalidTaha
Revision 36 - r36 - 20 Apr 2006 - 15:29 - Main.WalidTaha
Revision 35 - r35 - 20 Apr 2006 - 15:29 - Main.WalidTaha
Revision 34 - r34 - 20 Apr 2006 - 15:28 - Main.WalidTaha
Revision 33 - r33 - 18 Apr 2006 - 17:28 - Main.ChrisWarrington
Revision 32 - r32 - 18 Apr 2006 - 12:30 - Main.WalidTaha
Revision 31 - r31 - 18 Apr 2006 - 12:28 - Main.WalidTaha
Revision 30 - r30 - 18 Apr 2006 - 12:25 - Main.WalidTaha
Revision 29 - r29 - 12 Apr 2006 - 14:02 - Main.EmirPasalic
Revision 28 - r28 - 12 Apr 2006 - 14:01 - Main.EmirPasalic
Revision 27 - r27 - 12 Apr 2006 - 14:01 - Main.EmirPasalic
Revision 26 - r26 - 28 Feb 2006 - 08:38 - Main.WalidTaha
Revision 25 - r25 - 28 Feb 2006 - 08:37 - Main.WalidTaha
Revision 24 - r24 - 28 Feb 2006 - 08:36 - Main.WalidTaha
Revision 23 - r23 - 28 Feb 2006 - 08:34 - Main.WalidTaha
Revision 22 - r22 - 24 Feb 2006 - 12:55 - Main.SethFogarty
Revision 21 - r21 - 08 Feb 2006 - 10:50 - Main.JeremySiek
Revision 20 - r20 - 03 Feb 2006 - 13:32 - Main.SethFogarty
Revision 19 - r19 - 31 Jan 2006 - 16:14 - Main.EmilyFortuna
Revision 18 - r18 - 30 Jan 2006 - 18:42 - Main.EmilyFortuna
Revision 17 - r17 - 11 Jan 2006 - 11:38 - Main.DavePeixotto
Revision 16 - r16 - 21 Dec 2005 - 17:52 - Main.WalidTaha
Revision 15 - r15 - 19 Dec 2005 - 14:09 - Main.JeremySiek
Revision 14 - r14 - 19 Dec 2005 - 10:43 - Main.JeremySiek
Revision 13 - r13 - 16 Dec 2005 - 12:54 - Main.WalidTaha
Revision 12 - r12 - 06 Dec 2005 - 16:56 - Main.DavePeixotto
Revision 11 - r11 - 28 Nov 2005 - 15:27 - Main.RoumenKaiabachev
Revision 10 - r10 - 25 Nov 2005 - 16:46 - Main.SethFogarty
Revision 9 - r9 - 25 Nov 2005 - 10:28 - Main.JeremySiek
Revision 8 - r8 - 25 Nov 2005 - 08:29 - Main.WalidTaha
Revision 7 - r7 - 24 Nov 2005 - 19:19 - Main.SethFogarty
Revision 6 - r6 - 24 Nov 2005 - 19:18 - Main.www-data
Revision 5 - r5 - 18 Nov 2005 - 14:56 - Main.SethFogarty
Revision 4 - r4 - 14 Nov 2005 - 15:00 - Main.SethFogarty
Revision 3 - r3 - 14 Nov 2005 - 14:53 - Main.WalidTaha
Revision 2 - r2 - 21 Oct 2005 - 11:58 - Main.TWikiGuest
Revision 1 - r1 - 19 Oct 2005 - 11:56 - Main.TWikiGuest
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". This site is powered by the TWiki collaboration platform