RAP and PLT Seminars

• Course #: COMP 617
• Instructor: Walid Taha (DH 3110)
• Class time: MWF 11:00AM
• Class room: DH 3110
• Mailing list: Rap-Seminar
• Presentation Feedback Form

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		8/22		M		organizational meeting
	2		8/24		W				Reading Group		The Essence of Functional Programming
	3		8/26		F				Reading Group
	4		8/29		M				Reading Group
	5		8/31		W				Reading Group
	6		9/2		F				Reading Group
			9/5		M				labor day - no classes
	7		9/7		W				Reading Group
	8		9/9		F				Reading Group
	9		9/12		M				Reading Group
	10		9/14		W				Poster Session
	11		9/16		F		Practice GPCE Talk: G and the STL		Jeremy
	12		9/19		M		Practice GPCE Talk: Implicitly Heteregeneous Multi-Stage Programming		Roumen
	13		9/21		W		MEETING IN DH 2014		Reading Group
	14		9/23		F				Reading Group
	15		9/26		M				Reading Group
	16		9/28		W				Reading Group
	17		9/30		F				Reading Group
	18		10/3		M				Reading Group
	19		10/5		W				Reading Group
	20		10/7		F				Reading Group
	21		10/10		M		Midterm Recess - no classes
	22		10/12		W				Reading Group
	23		10/14		F				Reading Group
	24		10/17		M				Reading Group
	25		10/19		W				Web Presence
	26		10/21		F				Web Presence
	27		10/24		M				Web Presence
	28		10/26		W				Reading Group
	29		10/28		F				Reading Group
	30		10/31		M				Reading Group
	31		11/2		W		A Semantic Analysis of C++ Templates		Jeremy
	32		11/4		F		RIDL: A Domain-Specific Language (DSL) For Data Acquisition (Thesis Proposal)		Roumen
	33		11/7		M		(Memoization, monads, staging)		Emir
	34		11/9		W		Common Context Elimination		Seth
	35		11/11		F		Reflection in statically typed languages		Dave
	36		11/14		M		(Interrupt calculus for realtime languages)		Dan
	37		11/16		W		Objective ML: a simple object-oriented extension of ML		Jeremy
	38		11/18		F		RIDL: A Domain-Specific Language (DSL) For Data Acquisition (Thesis Proposal)		Roumen
	39		11/21		M		Resumption Monad		Emir
	40		11/23		W		postponed Staging KMP		Seth
	41		11/25		F		Thanksgiving recess - no classes
	42		11/28		M		DSL Implementation in MetaOCaml, Template Haskell, and C++. DSPG 04		Dave
	43		11/30		W		postponed Objects and dependent types (tagless staged interpreters)		Dan
	44		12/2		F
	45		12/5		M		Resumption Monad (again)		Emir
	46		12/7		W		Objects and dependent types (tagless staged interpreters)		Dan
	47		12/9		F		postponed Staging KMP		Seth

For next semester: Walid will give SPJ presentation. Abstract interpretation. Dave: A paper and a presentation on staging the interpreters in Wadler's paper that we read last semester. Gentle intro to MSP. Paper by Zhong Shao's group on a Java compiler based on FLINT. Seth: Fixed up, new and improved CCE talk. Fixed up, new and improved new and improved KMP talk. Emir: DSL for dynamic programming. Parsers. Intensional analysis (?) Roumen: ??? Jeremy: ???

Reading group paper: Jones/Liang/Hudak monad transformers.

Resources

Real-Time Systems and Programming Languages

Paper Wishlist

Ital

Resource-bound certification

The Logical Approach to Stack Typing

Functional In-place Update with Layered Datatype Sharing

Monads & Arrows

Type structure for low-level languages

Zinc

From system F to typed assembly langauge

Real-time garbage collection (Appel)

Scala

Tridirectional Typechecking

An Effective Theory of Type Refinements

Type Assignment for Intersections and Unions in Call-by-Value Language

Functional Programming for Real Applications (Invited Paper). ES'01.

A Gentle Introduction to Multi-stage Programming. DSPG'04.

DSL Implementation in MetaOCaml, Template Haskell, and C++. DSPG'04.

A Methodology for Generating Verified Combinatorial Circuits. EMSOFT'04.

Generating Heap-Bounded Programs in a Functional Setting. EMSOFT'03.

Implementing Multi-stage Languages using ASTs, gensym, and reflection. GPCE'03.

Environment Classifiers. POPL'03.

http://www.cs.rice.edu/~taha/publications/conference/esop04.pdf ML-like Inference for Classifiers. ESOP'04.

http://www.cs.rice.edu/~taha/publications/conference/icfp02.pdf Tagless Staged Interpreters for Typed Languages. ICFP'02.

Event-driven FRP. PADL'02.

http://www.cs.rice.edu/~taha/publications/conference/icfp01b.pdf Real-Time FRP. ICFP'01.

http://www.cs.rice.edu/~taha/publications/preprints/icfp01-pre.pdf Macros as Multi-Stage Computations. ICFP'01.

http://www.cs.rice.edu/~taha/publications/conference/gpce03a.pdf Staged Notational Definitions. GPCE'2003.

http://www.cs.rice.edu/~taha/publications/conference/padoII.pdf

Sound Reductions for Untyped CBN MetaML. PEPM'00

http://www.cs.rice.edu/~taha/teaching/05F/RAP/cache/adve-LowLevelVirtual.pdf LLVA: A low-level virtual instruction set architecture

http://www.cs.rice.edu/~taha/teaching/04F/RAP/cache/mycroft00statically.pdf A Statically allocated parallel functional language

Eliminating stack overflow by abstract interpretation

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.