|
RAP and PLT Seminars Course #: COMP 617 |
|
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.
|
# |
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 | Reading Group | ||
| 11 | 9/16 | F | Practice GPCE Talk: G and the STL | Jeremey | |
| 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 | |||
| 16 | 9/28 | W | |||
| 17 | 9/30 | F | |||
| 18 | 10/3 | M | |||
| 19 | 10/5 | W | |||
| 20 | 10/7 | F | |||
| 21 | 10/10 | M | Midterm Recess - no classes | ||
| 22 | 10/12 | W | |||
| 23 | 10/14 | F | |||
| 24 | 10/17 | M | |||
| 25 | 10/19 | W | |||
| 26 | 10/21 | F | |||
| 27 | 10/24 | M | |||
| 28 | 10/26 | W | |||
| 29 | 10/28 | F | |||
| 30 | 10/31 | M | |||
| 31 | 11/2 | W | |||
| 32 | 11/4 | F | |||
| 33 | 11/7 | M | |||
| 34 | 11/9 | W | |||
| 35 | 11/11 | F | |||
| 36 | 11/14 | M | |||
| 37 | 11/16 | W | |||
| 38 | 11/18 | F | |||
| 39 | 11/21 | M | |||
| 40 | 11/23 | W | |||
| 41 | 11/25 | F | Thanksgiving recess - no classes | ||
| 42 | 11/28 | M | |||
| 43 | 11/30 | W | |||
| 44 | 12/2 | F | |||
Real-Time Systems and Programming Languages
The Logical Approach to Stack Typing
Functional In-place Update with Layered Datatype Sharing
Type structure for low-level languages
From system F to typed assembly langauge
Real-time garbage collection (Appel)
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.
ML-like Inference for Classifiers. ESOP'04.
Tagless Staged Interpreters for Typed Languages. ICFP'02.
Macros as Multi-Stage Computations. ICFP'01.
Staged Notational Definitions. GPCE'2003.
Sound Reductions for Untyped CBN MetaML. PEPM'00
LLVA: A low-level virtual instruction set architecture
A Statically allocated parallel functional language
Eliminating stack overflow by abstract interpretation 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 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.
Related Seminars
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