|
RAP and PLT Seminars Course #: COMP 617 (Monday and Wednesday) and 610 (Friday) |
|
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, an embedded system, or in a hostile environment.
|
# |
Date |
Day |
Paper |
Presentor |
|
| 1 | 1/12 | W | Organizational meeting | --- | |
| 2 | 1/14 | F | Organizational meeting - Bring a list of papers | --- | |
| -- | 1/17 | M | MLK Day - no classes | --- | |
| 4 | 1/19 | W | How to give a research presentation | Walid | |
| 5 | 1/21 | F | How to give a research presentation | Group | |
| 6 | 1/24 | M | FRP | Walid | |
| 7 | 1/26 | W | Kedar | ||
| 8 | 1/28 | F | FRP | Walid | |
| 9 | 1/31 | M | CCured: Type-Safe Retrofitting of Legacy Code | Roumen | |
| 10 | 2/2 | W | Real time garbage collection | Mike | |
| 11 | 2/4 | F | The Essence of Functional Programming | Group | |
| 12 | 2/7 | M | The Essence of Functional Programming | Group | |
| 13 | 2/9 | W | Types for safe locking (overview) | Anthony | |
| 14 | 2/11 | F | Layaway Amortization | Seth | |
| 15 | 2/14 | M | Canceled | ------ | |
| 16 | 2/16 | W | The Essence of Functional Programming | Group | |
| 17 | 2/18 | F | A theory of aspects | James | |
| 18 | 2/21 | M | Ital | Moez | |
| 19 | 2/23 | W | CCured: Type-Safe Retrofitting of Legacy Code | Roumen | |
| 20 | 2/25 | F | Types for safe locking (overview) | Anthony | |
| 21 | 2/28 | M | Finding and preventing Run-time error handling mistakes | Kedar | |
| 22 | 3/2 | W | The Essence of Functional Programming | Group | |
| 23 | 3/4 | F | Tarantula: Killing Driver Bugs Before They Hatch | Julia Lawall, DIKU, University of Copenhagen | |
| -- | 3/7 | M | Spring Break - no classes | --- | |
| -- | 3/9 | W | Spring Break - no classes | --- | |
| -- | 3/11 | F | Spring Break - no classes | --- | |
| 24 | 3/14 | M | A Tutorial on [Co-]Inductive Types in Coq | Emir | |
| 25 | 3/16 | W | A Tutorial on [Co-]Inductive Types in Coq | Emir | |
| 26 | 3/18 | F | Flexible Type Analysis | Seth | |
| 27 | 3/21 | M | Metaphor: A multi-stage object oriented programming language | Anthony | |
| 27.5 | Guest talk at 1:00: XML | Burak Emir | |||
| 28 | 3/23 | W | A theory of aspects | James | |
| 29 | 3/25 | F | Guest talk: Regular pattern matching | Burak Emir | |
| 30 | 3/28 | M | FJ | Moez | |
| 31 | 3/30 | W | Extended Static Checking for Java | Roumen | |
| 32 | 4/1 | F | Group | ||
| 33 | 4/4 | M | Kedar | ||
| 34 | 4/6 | W | Cheney and Hinze: First-Class Phantom Types | Emir | |
| -- | 4/8 | F | Spring Recess - no classes | --- | |
| 35 | 4/11 | M | Extended Static Checking | Anthony | |
| 36 | 4/13 | W | Survey of type-safe explicit memory management | Seth | |
| 37 | 4/15 | F | Group | ||
| 38 | 4/18 | M | Group | ||
| 39 | 4/20 | W | MixGen | Moez | |
| 40 | 4/22 | F | Group | ||
| 41 | 4/25 | M | Region-based Memory Management in Cyclone | Roumen | |
| 42 | 4/27 | W | A semantics for advice and dynamic join points in AOP | James |
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