New method ensures complex programs are bug-free without testing
The system targets software that runs using concurrent execution, a widespread method for boosting performance, and proves whether a program will output what it’s supposed to.
CSE faculty bring significant showing to major systems conference
Researchers designed three new systems to speed up code at several key bottlenecks.
Three CSE faculty selected for Google Faculty Research Awards
Profs. Jia Deng, Roya Ensafi, and Manos Kapritsos have been selected to receive Google Faculty Research Awards.
Manos Kapritsos and collaborators win USENIX security paper award
Their paper introduces a new programming language and tool called Vale that supports flexible, automated verification of high-performance assembly code.