Software Systems
Bjarne Stroustrup discusses how C++ was meant to bridge high-level abstractions with low-level system control, the criticisms some have of memory safety and null pointers (and how to address these problems in your code), and why “move to Rust” thinking is too simplistic for modern codebases.
Professor Steven Bellovin remembers his mentor Frederick P. Brooks, Jr., in a blog post about the computer scientist and author of The Mythical Man-Month.
The award bestowed by the ACM Special Interest Group in Operating Systems chooses the recipient based on “contributions that are highly creative, innovative, and possibly high-risk, in keeping with the visionary spirit of Mark Weiser.”
About
The Software Systems group pursues fundamental research in all aspects of the design, implementation, analysis, verification, and evaluation of software systems.
The group conducts research with systems at all scales, from handheld devices to cloud computing data centers. They take an experimental systems approach in building real systems to investigate new research ideas, create tools to enable developers to quickly and correctly build complex systems, and teach students how to do it.
Wan Lab
Software Systems Laboratory
Programming Systems Laboratory
Languages and Compilers Group
Database Research Group