Mary Shaw

Mary Shaw

A. J. Perlis University Professor, Affiliated Faculty

Office Room 348 TCS Hall

Email mary.shaw@cs.cmu.edu

Phone (412) 268-2589

Department
Software And Societal Systems Department
Computer Science Department

Website
http://www.cs.cmu.edu/~shaw/

Research Interests
Systems
Software Engineering

Research Statement

Software now accounts for the lion's share of the cost of developing and using computer systems. My long-term goal is to establish a genuine engineering discipline to support the design and development of software systems, in particular systems used by real people. Currently I'm working on design methods and analytic techniques for building complete software systems out of subsystems and their constituent modules. This is the software architecture level of design.  

My current interests are in 

sufficient correctness, specifically how we decide whether real-world systems are good enough for the way they are used

design spaces, specifically how making design decisions explicit enables considered tradeoffs between design alternatives

self-adaptive systems, specifically how concepts from control theory can be applied to the design of these systems

translation of research results to actionable guidance, specifically how ideas from evidence-based medicine can support fusion of results with different levels of evidence

Recent Publications

Mary Shaw ( 2022 ) Proceedings of the ACM on Programming Languages, Myths and mythconceptions: What does it mean to be a programming language, anyhow? , Vol.: 4 Issue: ( HOPL )

Litoiu M, Shaw M, Tamura G, Villegas NM, Müller HA, Giese H, Rouvoy R, Rutten E ( 2017 ) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), What can control theory teach us about assurances in self-adaptive software systems? Vol: 9640 LNCS , Page(s): 90 - 134

Fraser S, Mancl D, Mead NR, Shaw M, Wild W ( 2015 ) SPLASH Companion 2015 - Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, Software professionalism - Is it "Good enough?" (Panel) , Page(s): 60 - 62

Brun Y, Desmarais R, Geihs K, Litoiu M, Lopes A, Shaw M, Smit M ( 2013 ) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), A design space for self-adaptive systems Vol: 7475 LNCS , Page(s): 33 - 50