|
|
-
Dynamic CPU Management for Real-Time, Middleware-Based Systems.
Eric Eide,
Tim Stack,
John Regehr, and
Jay Lepreau.
In Proceedings of the Tenth IEEE Real-Time and Embedded Technology
and Applications Symposium
(RTAS 2004),
pages 286-295,
Toronto, ON,
May 2004.
-
Dynamic CPU Management for Real-Time, Middleware-Based Systems.
Eric Eide,
Tim Stack,
John Regehr, and
Jay Lepreau.
Technical Report UUCS-04-004, University of Utah,
January 2004.
A revised version of this
report was published at
RTAS 2004.
-
Evolving real-time systems using hierarchical scheduling and concurrency analysis.
John Regehr, Alastair Reid, Kirk Webb, Michael Parker, and Jay Lepreau.
To appear in Proc. of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), December 3-5 2003.
-
Eliminating stack overflow by abstract interpretation.
John Regehr, Alastair Reid and Kirk Webb,
In Proceedings of the Third International Conference on Embedded Software (EMSOFT'03),
Philadelphia, PA, October 15-17 2003.
-
Lock inference for systems software.
John Regehr and Alastair Reid,
In Proceedings of the Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS),
Boston, MA, March 17 2003.
-
Scheduling Tasks with Mixed Preemption Relations for Robustness
to Timing Faults.
John Regehr,
In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS 2002),
Austin, TX, December 3-5 2002.
-
Inferring Scheduling Behaviour with Hourglass.
John Regehr.
In Proceedings of the USENIX 2002 Annual Technical Conference FREENIX track,
pages 143-156, Monterey, CA, June 10-15 2002.
-
Maya: Multiple-Dispatch Syntax Extension in Java.
Jason Baker and Wilson C. Hsieh.
In The 2002 Conference on Programming Language Design
and Implementation (PLDI'02),
June, 2002.
-
Static and Dynamic Structure in Design Patterns.
Eric Eide,
Alastair Reid,
John Regehr, and
Jay Lepreau.
In Proceedings of the 24th Intl. Conf. on Software Engineering
(ICSE 2002),
pages 208-218,
May 2002.
-
Runtime Aspect Weaving Through Metaprogramming.
Jason Baker and Wilson Hsieh.
In The 1st International Conference on Aspect-Oriented Software Development (AOSD),
April 2002.
-
Jiazzi: New Age Components for Old Fashioned Java.
Sean McDirmid, Matthew Flatt, and Wilson Hsieh.
In Proceedings of OOPSLA 2001.
-
Mixin COP and OOP.
Sean McDirmid, Matthew Flatt, and Wilson Hsieh.
In Proceedings of the first workshop on Component Languages,
OOPSLA 2001.
-
Aspect Weaving as Component Knitting: Separating Concerns with
Knit.
Eric Eide,
Alastair Reid,
Matthew Flatt,
and
Jay Lepreau.
In the Workshop on Advanced Separation of Concerns in Software
Engineering
at ICSE 2001,
May 2001.
Position paper.
-
Knit: Component Composition for Systems Software.
Alastair Reid,
Matthew Flatt,
Leigh Stoller,
Jay Lepreau, and
Eric Eide.
In Proceedings of the Fourth Symposium on Operating Systems Design
and Implementation
(OSDI 2000),
October 2000.
And other documents:
- Slides
from the PCES (DARPA) 2nd PI Meeting (February 2001).
- Slides
from the PCES (DARPA) Kickoff meeting for PIs (July 2000).
- Project Proposal.
Extracts from the PCES (DARPA) project proposal (January 2000).
Matthew Flatt did the foundational work underlying units,
described in papers available from his pubs page.
The Flux paper page has links to all Flux Group papers,
including those on the OSKit.
|