麻豆国产AV

F229BD06-FD1C-2908-B10829FCD3F82234
1F1D40D9-C2F4-C736-4CC6316A3D327599
Areas of Study
Contact
Phone
Email Address
Location
Taylor Science Center 3004
On Leave/Away
2024-25

Mark Bailey's introductory computer security course, Secrets, Lies, and Digital Threats, pairs teams of 麻豆国产AV students with local high school classes to teach teens about the dangers of life in the digital world. He has received fellowships from the National Research Council and the Air Force Research Laboratory and grants from the National Science Foundation and Microsoft Research. He's been a consultant with the Air Force Research Laboratory and Assured Information Security, and his work is widely published in journals and conferences. He received his doctorate in computer science from the University of Virginia.

Recent Courses Taught

Introduction to Computer Science
Data Structures
Computer Organization and Assembly Language
Computer Architecture

 

Distinctions

  • Three National Science Foundation grants
  • Two Microsoft Research grants
  • Faculty Research Fellowship, National Research Council/United States Air Force Office of Scientific Research
  • Richardson Award for Faculty Innovation, 麻豆国产AV College

Selected Publications

  • 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, VISTA: VPO interactive system for tuning applications, ACM Transactions on Embedded Computing Systems 5 (2006), no. 4, 819–863.
  • William C. Kreahling, David Whalley, Mark W. Bailey, Xin Yuan, Gang-Ryung Uh, and Robert van Engelen, Branch elimination by condition merging, Software–Practice and Experience 35 (2005), no. 1, 51–74.
  • Mark W. Bailey and Jack W. Davidson, Automatic detection and diagnosis of faults in generated code for procedure calls, IEEE Transactions on Software Engineering 29 (2003), no. 11, 1031–1042.
  • Mark W. Bailey, Kim Bruce, Kathleen Fisher, Robert Harper, and Stuart Reges, Report of the 2008 SIGPLAN programming languages curriculum workshop, SIGCSE ’09: Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education (New York, NY, USA), ACM, March 2009, pp. 132–133.
  • Mark W. Bailey, Clark L. Coleman, and Jack W. Davidson, Defense against the dark arts, SIGCSE ’08: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education (New York, NY, USA), ACM, March 2008, pp. 315–319.
More
  • Mark W. Bailey, IRONCODE: Think-twice, code-once programming, SIGCSE ’05: Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education (New York, NY, USA), ACM, February 2005, pp. 181–185.
  • Christopher R. LaRosa and Mark W. Bailey, A docked-aware storage architecture for mobile computing, CF ’04: Proceedings of the 1st Conference on Computing Frontiers (New York, NY, USA), ACM, April 2004, pp. 255–262.
  • William Kreahling, David Whalley, Mark Bailey, Xin Yuan, Gang-Ryung Uh, and Robert van Engelen, Branch elimination via multi-variable condition merging, Proceedings of the 9th International Conference on Parallel and Distributed Computing, August 2003, pp. 261–270.
  • Prasad Kulkarni, Wankang Zhao, Hwashin Moon, Kyunghwan Cho, David Whalley, Jack Davidson, Mark Bailey, Yunheung Paek, and Kyle Gallivan, Finding effective optimization phase sequences, LCTES ’03: Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compilers, and Tools for Embedded Systems (New York, NY, USA), ACM, June 2003, pp. 12– 23.
  • 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, VISTA: A system for interactive code improvement, LCTES/SCOPES ’02: Proceedings of the Joint Conference on Languages, Compilers and Tools for Embedded Systems (New York, NY, USA), AC M, June 2002, pp. 155–164.
  • Mark W. Bailey and Jack W. Davidson, Target-sensitive construction of diagnostic programs for procedure calling sequence generators, PLDI ’96: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation (New York, NY, USA), ACM, May 1996, pp. 249–257.
  • Mark W. Bailey and Jack W. Davidson, A formal model and specification language for procedure calling conventions, POPL ’95: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (New York, NY, USA), ACM, January 1995, pp. 298–310.
  • Michael J. Alexander, Mark W. Bailey, Bruce R. Childers, Jack W. Davidson, and Sanjay Jinturkar, Memory bandwidth optimizations for wide-bus machines, Proceedings of the Hawaii International Conference on System Sciences, January 1993, pp. 466–475.
  • Christopher R. LaRosa and Mark W. Bailey, A docked-aware storage architecture for mobile computing, CF ’04: Proceedings of the 1st Conference on Computing Frontiers (New York, NY, USA), ACM, April 2004, pp. 255–262.
  • Mark W. Bailey, Clark L. Coleman, and Jack W. Davidson, Defense against the dark arts, SIGCSE ’08: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education (New York, NY, USA), ACM, March 2008, pp. 315–319.
  • 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, VISTA: VPO interactive system for tuning applications, ACM Transactions on Embedded Computing Systems 5 (2006), no. 4, 819–863.
  • Michael Gruen and Mark Bailey, A secure low-power approach for providing mobile encryption, Proceedings of the Eleventh Annual Computing Science in College Northeastern Conference, April 2006, pp. 288–289.
  • Erik Goulding, Michael Gruen, Aram Kudurshian, and Mark Bailey, Bluetooth automatic data acquisition and synchronization software, Proceedings of the Eleventh Annual Computing Sciences in Colleges Northeastern Conference, April 2006, pp. 289–290. 
  • Erik Goulding and Mark Bailey, Processor cycle usage profiling on the SPARC, Proceedings of the Tenth Annual Computing Sciences in Colleges Northeastern Conference, April 2005, pp. 150–151.
  • Mark W. Bailey, IRONCODE: Think-twice, code-once programming, SIGCSE ’05: Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education (New York, N.Y.), ACM, February 2005, pp. 181–185.
  • William C. Kreahling, David Whalley, Mark W. Bailey, Xin Yuan, Gang-Ryung Uh, and Robert van Engelen, Branch elimination by condition merging, Software–Practice and Experience 35 (2005), no. 1, 51–74.
  • Mark W. Bailey and Kevin Kwiat, Securing knowledge queries using code striping, Workshop Record of the 2004 Workshop on Secure Knowledge Management, September 2004.
  • Mark W. Bailey and Kevin Kwiat, A task distribution model for protection of servers and tasks in a fault-tolerant distributed system, United States Patent Application (patent pending), September 2004.
  • Christopher R. LaRosa and Mark W. Bailey, A docked-aware storage architecture for mobile computing, CF ’04: Proceedings of the 1st Conference on Computing Frontiers (New York, NY, USA), ACM, April 2004, pp. 255–262.

College Service

  • Chair, science, 2012-13
  • Chair, Department of Computer Science, 2011-present
  • Information Security Review Board, 2012-present
  • High Performance Computing Advisory Committee, 2008-present
  • Parliamentarian, 2008-11
  • Committee on Student Activities, 2005-09
  • Committee on Information Technology, 2003-06, chair 2003–05
  • Alumni Council, 2002-05
  • Appeals Board, 2002-05, chair 2004-05
  • Sigma Xi Executive Committee, 2003-05
  • Honor Court, 1999-2002
  • Summer Research in the Sciences Committee, 1997-2004
  • Science Facilities Faculty Committee, 1998–1999

Professional Experience

  • Editor-in-Chief, ACM Inroads (August 2015–present)
  • Editor, ACM SIGPLAN Notices and member of the ACM SIGPLAN Executive Committee (September 2005–April 2011)
  • Conference Chair, 2016 Consortium of Computing Sciences in Colleges Northeastern Conference.
  • Review Committee for the Barry Goldwater Scholarship (2014–present)
  • Conference Organizing Committees (NYCWiC 2015, FCRC 2007, LCTES 2004, PLDI 2001)
  • External program reviewer (various colleges)
  • Reviewer, National Science Foundation (various CISE, and DUE programs)

Appointed to the Faculty

1997

Educational Background

Ph.D., University of Virginia
M.C.S., University of Virginia
B.S., University of Massachusetts

Help us provide an accessible education, offer innovative resources and programs, and foster intellectual exploration.

Site Search