CS590V Programming Languages and Compilers Seminar: Resource-Aware Programming Seminar 2003
This seminar will explore issues relevant to computing systems that operate within strict space, time, or power constraints. In particular, we shall look at language support for programming such systems. The research questions being investigated are how to express low-level system constraints within a high-level programming language. Students will work in pairs to present research papers. These presentations are meant to give an in-depth understanding of a particular research problem. Furthermore, each group will write a research paper on a related topic. Programming is not mandatory, but may be required to validate some of the claims.
The (non-exclusive & subject to change) list of topics considered in this
seminar is:
- garbage collection algorithms for time constrained systems
(real-time), collection techniques for immortal memory
- scoped memory and regions (RTJ, cyclone)
- memory usage reduction techniques (code
compression, data representation optimization)
- scheduling algorithms for RT languages
- reactive programming
- resource-aware compilation techniques
- verification and validation of space/time properties
Classes are held in CS101, MW 1:15.
February 3, 5
Scoped memory areas
Real-Time Specification for Java
Presented by Jan Vitek
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
Sha, Rajkumar and Lehoczky
Presented by Jan Vitek
|
February 10, 12
Principles of Real-Time Programming
Christoph M. Krisch
Presented by Christian Grothoff
System architecture directions for networked sensors [file]
David Culler ea
Presented by Adam Welc
|
February 18, 20
Maté: a tiny virtual machine for sensor networks [file]
David Culler ea
Presented by Adam Welc
Worst-Case Execution-Time Analysis for Embedded Real-Time Systems [file]
Engblom et al
Presented by Dennis Brylow
|
February 24, 26
Programming implantable devices
Presented by Andrey Madan
The Giotto language
Kirsch ea
Presented by Ma Di
|
March 4, 6
Code Compression Techniques for Embedded Systems
Sven-Olof Nystrom, Johan Runes, Jan Sj"odin
Compiler Techniques for Code Compression
Saumya Debray, William Evans, Robert Muth
Presented by Gergana Markova
Jikes RVM
Grove ea
Presented by Vivek Sarkar
|
March 10, 12
An Implementation of scoped memory for RealTime Java
Beebee and Rinard
Presented by Dennis Brylow
A type system for safe region-based memory mangement in real-time Java
Rinard ea
Presented by Jason Baker
|
March 24, 26
Region-based memory management in Cyclone
Presented by Jason Baker
Regions in ML
Presented by Suresh Jagganathan
|
March 31, April 2
A Profile for High-Integrity Real-Time Java Programs [file]
Peter Puschner, Andy Wellings
Ravenscar-Java: A High Integrity Profile for Real-Time Java [file]
Jagun Kwon, Andy Wellings, and Steve King
Portable Worst-Case Execution Time Analysis Using Java Byte Code
Guillem Bernat, Alan Burns and Andy Wellings
Presented by Hiroshi Yamauchi
|
Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis
I. Bate, G. Bernat, P. Puschner
Low-Level Analysis of a Portable Java Byte Code WCET Analysis Framework
I. Bate, G. Bernat, G. Murphy, P. Puschner
Addressing Dynamic Dispatching Issues in WCET Analysis for OO Hard Real-Time Systems
Erik Yu-Shing Hu, Guillem Bernat, Andy Wellings
Presented by Jason Fox
April 7, 9
The Embedded Machne: Predictable, Portable Real-Time Code
Henzinger and Krisch
Presented by Christian Grothoff
Uniprocessor Garbage Collection Techniques
Wilson
Presented by Adam Welc
|
April 14, 16
Recursion and Dynamic Data-structures in Bounded Space
Presented by Dennis Brylow
On Bounding Time and Space for Multiprocessor Garbage Collection
Belloch and Cheng
Presented by Christian Grothoff
|
April 21, 23
Profile-Guided Code Compression
Saumya Debray, William Evans
Presented by Gergana Markova
TBA
Presented by Mayur Naik
|