Secure Software Systems
The S3 group brings together researchers exploring diverse aspects of programming language design and implementation.
We investigate static approaches (such as program analysis and compiler optimization) to problems of performance, correctness, and usability in object-oriented, functional, and real-time programs, dynamic techniques to improve run-time execution and performance on modern multi-core systems, and software engineering mechanisms for program slicing and specification mining.
Our work has contributed several open-source software prototypes in the areas of mobile and untrusted computation, embedded systems, concurrency, compilers for functional and object-oriented languages, and persistent programming.
The S3 group gratefully acknowledges the generous support of our sponsors:
