zell08v

Personal information


Ph.D candidate


Abstract Interpretation
Formal Semantics or Programming Languages
Memory Management in Object-oriented Languages
Static Relational Analysis

History


7 years 28 weeks