Publications
Many of these publications are available online. You can either download the
postscript, or you can download the PDF format. The PDF files require Adobe's
Acrobat Reader which is free. To get the latest version, which
has a really nice Netscape plug-in, click on this button:
Journal Submissions:
- TOPLAS
- Mark W. Bailey and Jack W. Davidson. Construction of Systems
Software Using Specifications of Procedure Calling Conventions.
Submitted to ACM Transactions on Programming Languages and
Systems. September 28, 1996.
(376 Kbytes).
Abstract.
Refereed Conferences:
- SIGPLAN'96
- Mark W. Bailey and Jack W. Davidson. Target-Sensitive Construction
of Diagnostic Programs for Procedure Calling Sequence Generators.
To appear in
SIGPLAN'96: Conference on Programming Language Design and Implementation (PLDI). Philadelphia, PA. May 1996.
Also available as a
technical report
(184 Kbytes).
Abstract.
- POPL'95
- Mark W. Bailey and Jack W. Davidson. A formal model and
specification language for procedure calling conventions.
In POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, pages 298-310. January
1995.
Also available as a
technical report
(338 Kbytes).
Abstract.
- HICSS'93
- Michael J. Alexander, Mark W. Bailey, Bruce R. Childers,
Jack W. Davidson, and Sanjay Jinturkar. Memory bandwidth
optimizations for wide-bus machines. In Hawaii International
Conference on System Sciences, pages 466-475, January 1993.
Also available as a
technical report
(69 Kbytes).
Abstract.
Refereed Workshops:
- WCSSS'96
- Mark W. Bailey and Jack W. Davidson. Reusable application-dependent
machine descriptions. To appear in WCSSS'96: Workshop on Compiler
Support for System Software. Tucson, AZ. February 1996.
Abstract.
Technical Reports:
- CS-95-44 (184 Kbytes)
- Mark W. Bailey and Jack W. Davidson. Target-Sensitive Construction
of Diagnostic Programs for Procedure Calling Sequence Generators,
October 20, 1995.
- CS-95-10 (61 Kbytes)
- Mark W. Bailey and Jack W. Davidson. Computing System
Descriptions for Systems Software,
February 24, 1995 (Revised September 19, 1995).
- CS-94-39 (338 Kbytes)
- Mark W. Bailey and Jack W. Davidson. A Formal Model and
Specification Language for Procedure Calling Conventions,
October 21, 1994.
- CS-94-27 (167 Kbytes)
- Mark W. Bailey and Jack W. Davidson. A Formal Model for
Procedure Calling Conventions, July 22, 1994.
- CS-93-59 (45 Kbytes)
- Mark W. Bailey and Jack W. Davidson. A Formal
Specification for Procedure Calling Conventions, November 5, 1993.
- CS-92-24 (69 Kbytes)
- Michael J. Alexander, Mark W. Bailey, Bruce R. Childers,
Jack W. Davidson and Sanjay Jinturkar. Memory Bandwidth
Optimizations for Wide-Bus Machines, August 4, 1992.
- CS-90-35 (66 Kbytes)
- Mark W. Bailey and Janalee O'Bagy. FLECS: A Tool for Rapid
prototyping of Mechanisms in Success/Failure Based
Languages, July 1990.
Maintained by Mark Bailey
(bailey@virginia.edu)
Last modified: Wed Jan 22 09:14:53 1997