The International Conference on Generative Programming and Component Engineering

 <<O>>  Difference Topic TutorialGP2 (7 - 23 Oct 2004 - Main.JeffGray)
Line: 1 to 1
 
META TOPICPARENT name="GpceTutorials"
Line: 58 to 58
 

Location

Changed:
<
<		Conf. Ctr. Meeting Room 10
>
>		Conf. Ctr. Meeting Room 17
 

Date and Time

 <<O>>  Difference Topic TutorialGP2 (6 - 24 Aug 2004 - Main.JeffGray)
Line: 1 to 1
 
META TOPICPARENT name="GpceTutorials"
Line: 27 to 27
 Slides and other updated information regarding this tutorial can be found at the official MetaOCaml tutorial web page.
Added:
>
>

Student Stipend

The National Science Foundation (NSF) has kindly provided a number of stipends to support student travel and participation to attend the MetaOCaml Tutorial and/or the MetaOCaml Workshop:

http://metaocaml.org/tutorial4/

http://metaocaml.org/workshop04/

Awards will be made on the basis of relevance to the students education and research activities. To apply, please send an email to taha@rice.edu by September 5th. The email should include:

      1. ) Primary interest (Tutorial or Workshop)
      2. ) Explanation of relevance to your current educational and/or research goals (200-500 words)
      3. ) Secondary interest
      4. ) Explanation of relevance
      5. ) Estimated travel expense

Reimbursements will be made based on submitted expense receipts. Students submitting papers to the MetaOCaml Workshop are eligible for stipends. Amount of stipend will be indicated when you are notified of the result of your application.

Applications should be sent to taha@rice.edu by September 5th, 2004.

 

Location

Conf. Ctr. Meeting Room 10

 <<O>>  Difference Topic TutorialGP2 (5 - 04 Jun 2004 - Main.JeffGray)
Line: 1 to 1
 
META TOPICPARENT name="GpceTutorials"
Deleted:
<
<

Multi-stage Programming in MetaOCaml

 
Added:
>
>

Multi-stage Programming in MetaOCaml

 

Description

Changed:
<
<		Multi-stage programming is a new paradigm for developing generic programs that do not pay a runtime overhead. The key underlying technology is program generation. In addition, languages designed to support this paradigm (such as MetaOCaml) help the programmer avoid many of the difficulties that are traditionally encountered in developing program generators. This tutorial will introduce you to the basics of this paradigm as well as of programming in MetaOCaml. Numerous examples will be used to illustrate the practice of multi-stage programming.
>
>		Despite their potential for improving reuse, abstraction mechanisms such as objects, abstract types, polymorphism, and higher-order types are all too often considered to have a prohibitive runtime cost. As a result, many real-world programs are littered with lost opportunities where these abstraction mechanisms could have been used to improve the quality of the code, but where they are considered prohibitively expensive. An important approach to dealing with this problem is program generation, which can be used to reduce or eliminate the runtime overhead of abstraction mechanisms. But writing program generators itself can be hard. Multi-stage programming (MSP) is a light-weight, semantically-motivated approach to making program generators easier to write. MetaOCaml is a programming language that provides special support for MSP by providing:

  • Heigenic quasi-quotation notation for distinguishing different computational stages (that is, the generating vs the generated code) in a program, and
  • An evaluation construct that allows generated code to be generated and executed at runtime, and
  • A type system that statically ensures that this is done safely.

The half-day tutorial will cover

  • Small examples illustrating MSP
  • Cross-stage persistence,
  • What the type system guarantees,
  • MetaOCaml's libraries for collecting performance measurements,
  • An application to language implementation (staged interpreters),
  • An introduction to binding-time improvements,
  • An applicaiton to dynamic programming,
  • An introduction to the MSP research literature.

Slides and other updated information regarding this tutorial can be found at the official MetaOCaml tutorial web page.

 

Location

 <<O>>  Difference Topic TutorialGP2 (4 - 03 Jun 2004 - Main.JeffGray)
Line: 1 to 1
 
META TOPICPARENT name="GpceTutorials"
Changed:
<
<

Multi-stage Programming in MetaOCaml

>
>

Multi-stage Programming in MetaOCaml

 
Added:
>
>
 

Description

Multi-stage programming is a new paradigm for developing generic

 <<O>>  Difference Topic TutorialGP2 (3 - 01 Jun 2004 - Main.EelcoVisser)
Line: 1 to 1
 
META TOPICPARENT name="GpceTutorials"

Multi-stage Programming in MetaOCaml

Changed:
<
<		DESCRIPTION:
>
>

Description

 Multi-stage programming is a new paradigm for developing generic programs that do not pay a runtime overhead. The key underlying technology is program generation. In addition, languages designed
Line: 15 to 15
 Numerous examples will be used to illustrate the practice of multi-stage programming.
Changed:
<
<		LOCATION:
>
>

Location

 Conf. Ctr. Meeting Room 10
Changed:
<
<		DATE/TIME:
>
>

Date and Time

 Sunday 1:30 - 5:00 (half-day)
Changed:
<
<		PRESENTERS:
>
>

Presenters

 Walid Taha, Rice University, taha (at) rice.edu
 <<O>>  Difference Topic TutorialGP2 (2 - 01 Jun 2004 - Main.JeffGray)
Line: 1 to 1
 
META TOPICPARENT name="GpceTutorials"
Changed:
<
<		(GP2) Multi-stage Programming in MetaOCaml
>
>

Multi-stage Programming in MetaOCaml

 
Changed:
<
<		Walid Taha and Cristiano Calcagno
>
>		DESCRIPTION:
Multi-stage programming is a new paradigm for developing generic programs that do not pay a runtime overhead. The key underlying technology is program generation. In addition, languages designed to support this paradigm (such as MetaOCaml) help the programmer avoid many of the difficulties that are traditionally encountered in developing program generators. This tutorial will introduce you to the basics of this paradigm as well as of programming in MetaOCaml. Numerous examples will be used to illustrate the practice of multi-stage programming.
 
Changed:
<
<		taha@cs.rice.edu
>
>		LOCATION:
 Conf. Ctr. Meeting Room 10
Changed:
<
<		Sunday 1:30 - 5:00
>
>		DATE/TIME:

Sunday 1:30 - 5:00 (half-day)

PRESENTERS:

Walid Taha, Rice University, taha (at) rice.edu

Cristiano Calcagno, Imperial College, ccris (at) dcs.qmul.ac.uk

Walid Taha and Cristiano Calcagno have been involved in the development of MetaOCaml since 1999. Walid and Cristiano have also been involved in the study of type systems for multi-stage languages since 1997. Walid has a record of organizing a number of successful workshops and conferences, including SAIG'00 (organizer and PC Chair), SAIG'01 (organizer and PC Chair), and GPCE'02 (General Chair).

 
 <<O>>  Difference Topic TutorialGP2 (1 - 01 Jun 2004 - Main.EelcoVisser)
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="GpceTutorials"
(GP2) Multi-stage Programming in MetaOCaml

Walid Taha and Cristiano Calcagno

taha@cs.rice.edu

Conf. Ctr. Meeting Room 10

Sunday 1:30 - 5:00

View topic | Diffs r7 < r6 < r5 < r4 | More
Revision %REVTITLE2% - %REVINFO2%
Revision %REVTITLE1% - %REVINFO1%