VISTA: VPO interactive system for tuning applications
Prasad Kulkarni, Wankang Zhao, Stephen Hines, David Whalley, Xin Yuan, Robert van Engelen, Kyle Gallivan, Jason Hiser, Jack Davidson, Baosheng Cai, Mark Bailey, Hwashin Moon, Kyunghwan Cho, Yunheung Paek, and Douglas Jones
ACM Transactions on Embedded Computing Systems Special Issue on Embedded Software.Performance Benefits of Tail Recursion Removal in Procedural Languages
Mark W. Bailey and Nathan C. Weston
Submitted to Software—Practice & Experience.
Branch Elimination by Condition Merging
Willaim C. Kreahling, David Whalley, Mark W. Bailey, Xin Yuan, Gang-Ryung Uh, and Robert van Engelen
Software—Practice & Experience, pages 51-74, January 2005.Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls
Mark W. Bailey and Jack W. Davidson
IEEE Transactions on Software Engineering, pages 1031-1042, November 2003.
IRONCODE: think-twice, code-once programming.
Mark W. Bailey
In Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, pages 181-185. St. Louis, MO. February 2005.
ACM DOI.A docked-aware storage architecture for mobile computing.
Christopher R. LaRosa and Mark W. Bailey
In Proceedings of the 1st International Conference on Computing Frontiers, pages 255-262. Ischia, Italy. April 2004.
ACM DOI.Branch elimination via multi-variable condition merging
William Kreahling, David Whalley, Mark Bailey, Xin Yuan, Gang-Ryung Uh, Robert van Engelen
In Proceedings of 9th International Conference on Parallel and Distributed Computing, pages 261-270. Klagenfurt, Austria. August, 2003.
Springer Link.
Finding effective optimization phase sequences
Prasad Kulkarni, Wankang Zhao, Hwashin Moon, Kyunghwan Cho, David Whalley, Jack Davidson, Mark Bailey, Yunheung Paek, and Kyle Gallivan
In Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems, pages 12-23. San Diego, CA. June 2003.
ACM DOI.
VISTA: A System for Interactive Code Improvement.
Wankang Zhao, Baosheng Cai, David Whalley, Mark W. Bailey, Robert van Engelen, Xin Yuan, Jason D. Hiser, Jack W. Davidson, Kyle Gallivan, and Douglas L. Jones
In Proceedings of the Joint Conference on Languages, Compilers and Tools for Embedded Systems: Software and Compilers for Embedded Systems, pages 155-164. Berlin, Germany. June 2002.
ACM DOI.
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators.
Mark W. Bailey and Jack W. Davidson
In Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, pages 249-257. Philadelphia, PA. May 1996.
ACM DOI.
A formal model and specification language for procedure calling conventions
Mark W. Bailey and Jack W. Davidson
In Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 298-310. San Francisco, CA. January 1995.
ACM DOI.
Memory bandwidth optimizations for wide-bus machines
Michael J. Alexander, Mark W. Bailey, Bruce R. Childers, Jack W. Davidson, and Sanjay Jinturkar
In Proceedings of the Hawaii International Conference on System Sciences, pages 466-475, January 1993.
A Task Distribution Model for Protection of Servers and Tasks in a Fault-tolerant Distributed System
Mark W. Bailey and Kevin Kwiat
United States Patent Application. Filed September 2004 (Patent pending).
Securing Knowledge Queries Using Code Striping
Mark W. Bailey and Kevin Kwiat
In Workshop on Secure Knowledge Management. Buffalo, NY. September 2004.Reusable Application-Dependent Machine Descriptions
Mark W. Bailey and Jack W. Davidson
In WCSSS'96: Workshop on Compiler Support for System Software, pages 77-85. Tucson, AZ. February 1996.
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls
Mark W. Bailey and Jack W. Davidson
May 2001.
Performance Benefits of Tail Recursion Removal in Procedural Languages
Mark W. Bailey and Nathan C. Weston
June 2001.
FLECS: A Tool for Rapid prototyping of Mechanisms in Success/Failure Based Languages
Mark W. Bailey and Janalee O'Bagy
July 1990.
Processor Cycle Usage Profiling on the SPARC
In 2005 Consortium of Computing Sciences in Colleges Northeastern Conference, pages 150-151.
Erik Goulding (Mark W. Bailey advisor)
May 2005.
CSDL: Reusable Computing System Descriptions for Retargetable Systems Software
Mark W. Bailey
Ph.D. Thesis May 2000.