Compilers and Programming Languages
| Research Areas -> Software Systems -> Compilers and Programming Languages |
| Overview |
|
Professor Boyapati’s research interests include software reliability, which spans the spectrum from programming languages, through program analysis, to software engineering. He is interested in all approaches for helping programmers write and maintain reliable software. He is particularly interested in type systems and software model checking techniques to improve software reliability. Professor Mahlke’s group focuses on the design of application-specific, low-power, and resilient computer systems, as well as the compiler technology for these systems.
|
|
Faculty Dick, Robert Related Labs, Centers, and Groups Software Systems Laboratory |
|