Motivation

Low-level systems programming is a difficult and error-prone activity. Not only is the C language still widely used for writing this sort of software, but it is also still used to write new application software. The projects listed here seek to add extensions to C, and analyses of C, that will help to transition low-level systems programming to a safer, less error-prone language.

Projects

1. Analysis and/or extension for safe handling of error return codes
2. Read-Copy Update language extension
3. Elimination of unsafe library calls from legacy code
4. Add language features to make tricky API use correct-by-construction
5. Language features supporting process shared memory
6. Debugging via detailed, targeted state snapshots
7. Large scale studies of C code
8. Transform heap allocation into stack allocation
9. Parallel analysis framework

• HomePage
• Research
• Teaching
• Publications
• Professional Activities
• Code
• Contact
• Personal