Vafeiadis, Viktor Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;
Kang, J., Hur, C.-K., Mansky, W., Garbuzov, D., Zdancewic, S., & Vafeiadis, V. (2015). A Formal C Memory Model Supporting Integer-Pointer Casts. In D. Grove, & S. Blackburn (Eds.), PLDI'15 (pp. 326-335). New York, NY: ACM. doi:10.1145/2813885.2738005.