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 |
1/12 |
M |
organizational meeting |
|
|
| 2 |
1/14 |
W |
organizational meeting |
|
Stack analysis |
| 3 |
1/16 |
F |
|
|
|
| 4 |
1/21 |
W |
Type-Safe Multithreading in Cyclone |
Roumen |
Stack analysis |
| 5 |
1/23 |
F |
NesC |
Walid |
|
| 6 |
1/26 |
M |
Improving Driver Robustness: an Evaluation of the Devil Approach L. Réveillère and G. Muller.
Devil: An IDL for Hardware programming F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller In OSDI 2000
[ Slides ]
A DSL Approach to Improve Productivity and Safety in Device Drivers Development L. Réveillère, F. Mérillon, C. Consel, R. Marlet, and G. Muller In ASE 2000 [ Slides ]
Towards Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages. G. Muller, C. Consel, R. Marlet, L.P. Barreto, F. Mérillon, and L. Réveillère
In EW2000. [ Slides ] |
Roumen |
|
| 7 |
1/28 |
W |
Ownership Types for Safe Region-Based Memory Management in Real-Time Java |
Roumen |
Monads & Arrows |
| 8 |
1/30 |
F |
Mate |
Walid |
|
| 9 |
2/2 |
M |
Flash: An efficient and portable web-server |
Stephan |
|
| 10 |
2/4 |
W |
Efficient and precise datarace detection for multithreaded object-oriented programs |
Corky |
Monads & Arrows |
| 11 |
2/6 |
F |
|
|
|
| 12 |
2/9 |
M |
Functional Programming for Real Applications |
Samah |
|
| 13 |
2/11 |
W |
A type and effect system for atomicity |
Stephan |
Monads & Arrows |
| 14 |
2/13 |
F |
Functional Programming for Real Applications (continued) |
Samah |
|
| 15 |
2/16 |
M |
|
|
|
| 16 |
2/18 |
W |
|
|
|
| 17 |
2/20 |
F |
|
|
|
| 18 |
2/23 |
M |
|
|
|
| 19 |
2/25 |
W |
A typed interrupt calculus |
Roumen |
|
| 20 |
2/27 |
F |
|
Walid? |
|
| |
3/1 |
M |
Recess week |
|
|
| |
3/3 |
W |
|
|
|
| |
3/5 |
F |
|
|
|
| 21 |
3/8 |
M |
|
Walid |
|
| 22 |
3/10 |
W |
An uncaught exception analysis for Java |
Corky |
|
| 23 |
3/12 |
F |
|
|
Monads & Arrows |
| 24 |
3/15 |
M |
Type-based analysis of uncaught exceptions |
Walid |
|
| 25 |
3/17 |
W |
Type-based analysis of uncaught exceptions |
Walid |
|
| 26 |
3/19 |
F |
|
|
The Essence of Functional Programming |
| 27 |
3/22 |
M |
Event driven programming for robust software |
Stephan |
|
| 28 |
3/24 |
W |
|
|
The Essence of Functional Programming |
| 29 |
3/26 |
F |
|
|
|
| 30 |
3/29 |
M |
|
|
The Essence of Functional Programming |
| 31 |
3/31 |
W |
Hardware/Software co-design using a functional language |
Samah |
|
| 32 |
4/2 |
F |
|
|
|
| 33 |
4/5 |
M |
|
|
The Essence of Functional Programming |
| 34 |
4/7 |
W |
Soft Typing with Conditional Types |
Kedar |
|
| 35 |
4/9 |
F |
|
|
The Essence of Functional Programming |
| 36 |
4/12 |
M |
NI-VISA, National Instruments implementation of the VISA I/O standard |
Roumen |
|
| 37 |
4/14 |
W |
|
|
The Essence of Functional Programming |
| 38 |
4/16 |
F |
|
Stephan |
|
| 39 |
4/19 |
M |
|
|
The Essence of Functional Programming |
| 40 |
4/21 |
W |
NI-VISA, National Instruments implementation of the VISA I/O standard |
Roumen |
|
| 41 |
4/23 |
F |
Soft Typing with Conditional Types |
Kedar |
|
| 42 |
4/25 |
M |
|
Kedar |
|
| 43 |
4/27 |
W |
|
|
|
| |
|
|
|
|
|
| |
|
|
Typed memory management via static capabilities |
Stephan |
|
| |
|
|
Tridirectional Typechecking |
Walid |
|
| |
|
|
An Effective Theory of Type Refinements |
Walid |
From system F to typed assembly langauge |
| |
|
|
Type Assignment for Intersections and Unions in Call-by-Value Languages |
Walid |
Type structure for low-level languages |
| |
|
|
A statically callocated parallel functional language |
Samah |
Resource-bound certification |
| |
|
|
|
|
Ital |
| |
|
|
Understanding aspects (Wand's talk) |
James |
Zinc |
| |
|
|
A Theory of Aspects |
Roumen |
Types for safe locking |
| |
|
|
Real-time garbage collection (Appel) |
|
Scala |
| |
|
|
Componential set-based analysis |
Walid |
|
| |
|
|
synchronous languages |
Walid |
|
| |
|
|
Extended Static Checking for Java |
|
|
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.