phd student
“Sine scientia ars nihil est.“
Thesis Advisor:
Research Areas:
static analysis
non-blocking synchronization
d
a
m d
i e
a c
n h
e
v
c++ programmer
“Memento audere semper.”
Publications
Tools
The Pivot:
representing C++ for full semantic analysis
contact me: dechev at tamu dot edu
