Home > News > All News > Manos Kapritsos

Manos Kapritsos

Four papers by CSE researchers at OSDI 2024

New papers by CSE researchers cover topics related to the design and implementation of systems software.

Five papers by CSE researchers to be presented at POPL 2024

New research by CSE authors covers a range of cutting-edge topics related to programming languages.

CSE announces 2023 faculty promotions

The Division commends these individuals for their contributions to research, education, and the CSE community.

Explore CS Research year-long effort concludes with poster session

Designed to engage students in research, this year’s program has included workshops, panel sessions, and – of course – research!

Manos Kapritsos earns CoE teaching excellence award

Students widely praise Kapritsos' approach to teaching, and commitment to keeping classes engaging.

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.

Six new faculty Join CSE

Meet the new arrivals.