Manos Kapritsos earns CAREER Award to apply formal reasoning to software performance
This project is part of Kapritsos’ larger goal of bringing formal verification to developers and other practitioners.
Building a testing-free future
How automated guarantees that our most complex programs are secure and trustworthy can save us time, money, and anxiety.
CSE researchers report over $11M in research grants last quarter
The awards were distributed to 18 different primary investigators.
$1.8M DARPA project aims to protect cars, trucks and spacecraft from hackers
Ironpatch could head off growing danger of security vulnerabilities in vehicle systems.
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.