|
Corneliu Popeea
|
The goal of my research is to provide techniques for buiding
reliable software. My research interests are program analysis and
verification, software synthesis and type-systems for
object-oriented programs.
Current projects
Former projects
Software
- Threader - a verifier for multi-threaded C programs, gold medal at
SV-COMP 2013
(details)
- HSF - a verifier based on Horn clauses, bronze medal at
SV-COMP 2012
(details)
- Dualyzer - a modular static analyzer for imperative programs
(details)
- FixCalc - a fixed-point calculator for recursive constraints
(details)
Teaching
Program committee member
Personal links
|
Last update: 10-October-2014 |