RAP Seminar

• Can I take this course? Requirments/options are spelled out here.
• Course #: COMP 617
• Instructor: Walid Taha (DH 3110)
• Class time: MWF 11:00AM
• Class room: DH 3110
• Mailing list: Rap-Seminar
• Presentation Feedback Form

Here is a link to last semester's seminar.

Introduction

While high-level programming languages can be very helpful for general-purpose programming, they can be unsuitable for programming systems that interact directly with the physical world. Such systems include real-time and embedded systems. This seminar explores the design space for high-level languages that can support the more specialized task of resource-aware programming (RAP) in the context of a physical environment, and embedded system, or in a hostile environment.

Lectures

	#		Date		Day		Paper		Presentor		Reading group Paper
	1		1/11		W						Organizational Meeting
	2		1/13		F				Reading group		Monad Transformers and Modular Interpreters
	3		1/16		M				Reading group		Monad Transformers and Modular Interpreters
	4		1/18		W				Reading group		Monad Transformers and Modular Interpreters
	5		1/20		F				Reading group		Monad Transformers and Modular Interpreters
	6		1/23		M				Reading group		Monad Transformers and Modular Interpreters
	7		1/25		W				Reading group		Monad Transformers and Modular Interpreters
	8		1/27		F				Reading group		Monad Transformers and Modular Interpreters
	9		1/30		M				Reading group		Monad Transformers and Modular Interpreters
	10		2/1		W				Reading group		Monad Transformers and Modular Interpreters
	11		2/3		F				Reading group		Monad Transformers and Modular Interpreters
	12		2/6		M		Common context elimination		Seth Fogarty
	13		2/8		W		Job talk practice		Jeremy Siek
	14		2/10		F				Reading Group		Monad Transformers and Modular Interpreters
	15		2/13		M
	16		2/15		W		Monads for Code Duplication		Walid Taha
	17		2/17		F
	18		2/20		M		Monads Against Code Duplication		Emir Pasalic
	19		2/22		W		Quasi-static typing revisited		Jeremy Siek
	20		2/24		F		Monads Against Code Duplication		Emir Pascalic
	21		2/27		M		Progress on Interruptable E-FRP		Roumen Kaiabachev
	22		3/1		W				Emir Pasalic
	23		3/3		F
	24		3/6		M		Tagless interpreters in Coq, MetaD, Haskell and Omega		Emir Pasalic
	25		3/8		W		Progress on Common Context Elimination		Seth Fogarty
	26		3/10		F		Generalized Algebraic Datatypes and Object Oriented Programming		Dave Peixotto
	27		3/13		M						Spring break
	28		3/15		W						Spring Break
	29		3/17		F						Spring break
	30		3/20		M		Reading Group
	31		3/22		W		Esterel, Argos and E-FRP		Roumen Kaiabachev
	32		3/24		F		Proving theorems with Isabelle.		Jeremy Siek
	33		3/27		M		Reading Group
	34		3/29		W		Graphs and Trees in Compiler Construction (practice for classroom lecture)		Dave Peixotto
	35		3/31		F		?		?
	36		4/3		M		Reading group				Dependent types for practical programming xi-popl99.pdf
	37		4/5		W		Trash.ConcoqtionMoved Status Report		Emir Pasalic
	38		4/7		F		The Alternation Calculus and Its Formalization (Abstract)		Guest: Aaron Stump		Spring Recess
	39		4/10		M		Precision in Practice: A Type-Preserving Java Compiler [tentative]		Dave Peixotto
	40		4/12		W		Update on Quasi-Static Typing		Jeremy Siek
	41		4/14		F		Reading group
	42		4/17		M		Staging String Matching		Seth Fogarty
	43		4/19		W		TBA		Emir Pasalic
	44		4/21		F		TBA
	45		4/24		M		TBA
	46		4/26		W		TBA
	47		4/28		F		Organizational Meeting

Resources

Real-Time Systems and Programming Languages

Paper Wishlist

SeminarWishList

Related Seminars

Software Performance Optimization Reading Group - Imperial College

Programming Languages Reading Group - Macquarie University

Programming Languages Seminar - Johns Hopkins University

Literature on Programming Languages - Aaron Keen, CS Dept, California Polytechnic State University

Programming Languages Reading Group - University of Colorado at Boulder

PROLANGS Reading Group - Rutgers - State U. of New Jersey

The Programming Languages Reading Group - University of Wisconsin, Madison

http://www.comp.nus.edu.sg/~sulzmann/reading/schedule.html Programming Languages Reading Group - National University of Singapore

Program Analisys Reading Group - MIT

SPL Reading Group - University of British Columbia

Accomodations for Students with Special Needs

Students with disabilities are encouraged to contact me during the first two weeks of class regarding any special needs. Students with disabilities should also contact Disabled Student Services in the Ley Student Center and the Rice Disability Support Services.

-- Main.DavePeixotto - 11 Jan 2006

* : Hongwei Xi, Dependent types in practical programming