Mark's Documents

Current curriculum vitae.

Journals

2008 SIGPLAN Programming Language Curriculum Workshop: Discussion Summaries and
Recommendations

Eric Allen, MarkW. Bailey, Ras Bodik, Kim Bruce, Kathleen Fisher, Stephen Freund, Robert
Harper, Chandra Krintz, Shriram Krishnamurthi, Jim Larus, Doug Lea, Gary Leavens,
Lori Pollock, Stuart Reges, Martin Rinard, Mark Sheldon, Franklyn Turbak, and Mitchell
Wand

SIGPLAN Notices, vol. 43, no. 29, pages 6–29, November, 2008.
ACM DOI.

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, and Yunheung Paek
ACM Transactions on Embedded Computing Systems, vol. 5, no. 4, pages 819 –863, November, 2006.
ACM DOI.

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, vol. 29, no. 1, pages 51–74, January, 2005.
Wiley Link.

Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls
Mark W. Bailey and Jack W. Davidson
IEEE Transactions on Software Engineering, vol. 29, no. 11, pages 1031–1042, November 2003.
IEEE Link.

Refereed Conferences

Report of the 2008 SIGPLAN Programming Languages Curriculum Workshop: Preliminary Report
MarkW. Bailey, Kim Bruce, Kathleen Fisher, Robert Harper, and Stuart Reges
In Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, pages 132–133. Chattanooga, TN. March, 2009
ACM DOI.

Defense Against the Dark Arts
MarkW. Bailey, Clark L. Coleman, and JackW. Davidson
In Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, pages 315–319. Portland, OR. March, 2008.
ACM DOI.

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.

Patent Applications

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).

Refereed Workshops

Injecting Programming Language Concepts Throughout the Curriculum: An Inclusive Strategy
Mark W. Bailey
In Workshop Record of the 2008 SIGPLAN Workshop on Undergraduate Programming Language Curricula, pages 36–38.Cambridge, MA. May, 2008
ACM DOI.

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.

Technical Reports

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.

Student Posters

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.

Miscellaneous

CSDL: Reusable Computing System Descriptions for Retargetable Systems Software
Mark W. Bailey
Ph.D. Thesis May 2000.