Not registered as user yet

Name: Dmitri Garbuzov

Affiliation: University of Pennsylvania

Contributions

PLDI 2015Author of A Formal C Memory Model Supporting Integer-Pointer Casts within the Research Papers-track