RAP and PLT Seminars Course #:  COMP 617 (Mondays), 610 (Wednesday), and Reading Group (Wednesdays) Instructor:  Walid Taha (DH 3103) Class time:  MWF 11:00AM – 11:50AM and Reading group W 1:00PM – 2:50PM Class room: DH 3076

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	4/28	W			GeHB
2	4/30	F			GeHB
3	5/3	M			GeHB
4	5/5	W			GeHB
5	5/7	F
6	5/10	M	NDL	Roumen
7	5/12	W	Staging packet filters (ref: Fabius, the BSD packet filter, the packet filter)	Stephan
8	5/14	F	SLAM	Roumen
9	5/17	M
10	5/19	W	An intro to PE
11	5/21	F	Tutorial notes on PE	Samah
12	5/24	M
13	5/26	W
14	5/28	F			A Methodology for Verifiable Generation of Combinatorial Circuits
15	6/2	W			A Methodology for Verifiable Generation of Combinatorial Circuits
16	6/4	F			Staging Purely Functional Dynamic Programming Algorithms
17	6/7	M			Metaphor: A multi-staged, object-oriented programming language
18	6/9	W			Metaphor: A multi-staged, object-oriented programming language
19	6/11	F			Staging Purely Functional Dynamic Programming Algorithms
20	6/14	M			Staging Purely Functional Dynamic Programming Algorithms
21	6/16	W			Staging Purely Functional Dynamic Programming Algorithms
22	6/18	F			PreVIEW
23	6/21	M			PreVIEW
24	6/23	W			PreVIEW
25	6/25	F
26	6/28	M	Tempo: A general approach to runtime specialisation and its application to C	Kedar
27	6/30	W	Fast partial evaluation of pattern matching in strings	Edward
28	7/2	F
29	7/7	W	A linearly typed assembly language	Walid
30	7/9	F
31	7/12	M	A uniform approach for runtime and compile time specialisation	Kedar
32	7/14	W	LLVA: A low-level virtual instruction set architecture
33	7/16	F
34	7/19	M	SPIRAL: A generator for platform-adapted libraries of signal processing algorithms
35	7/21	W
36	7/23	F

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

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.