M. Batty, K. Memarian, K. Nienhuis, J. Pichon-pharabod, and P. Sewell, The Problem of Programming Language Concurrency Semantics, Programming Languages and Systems -24th European Symposium on Programming, Held as Part of the European Joint Conferences on Theory and Practice of Software, pp.283-307, 2015.

D. Chisnall, J. Matthiesen, K. Memarian, K. Nienhuis, P. Sewell et al., 2016. C memory object and value semantics: the space of de facto and ISO standards

D. W. Clive and . Feather, Using the GNU Compiler Collection (GCC) / 4.7 Arrays and pointers, 2004.

W. Krebbers, The C standard formalized in Coq. Ph.D. Dissertation. Radboud University, 2012.

J. Lee, C. Hur, R. Jung, Z. Liu, J. Regehr et al., Reconciling High-level Optimizations and Low-level Code with Twin Memory Allocation, Proceedings of the 2018 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2018, 2018.

K. Memarian, V. Gomes, and P. Sewell, n2263: Clarifying Pointer Provenance v4. ISO WG14, 2018.

K. Memarian, B. F. Victor, B. Gomes, S. Davis, A. Kell et al., Exploring C Semantics and Pointer Provenance, POPL 2019: Proc. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, 2019.

K. Memarian, J. Matthiesen, J. Lingard, K. Nienhuis, D. Chisnall et al., Into the depths of C: elaborating the de facto standards, PLDI 2016: 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation, 2016.

K. Memarian and P. Sewell, N2090: Clarifying Pointer Provenance (Draft Defect Report or Proposal for C2x, 2016.

K. Memarian and P. Sewell, What is C in practice?, Cerberus survey v2): Analysis of Responses -with Comments. ISO SC22 WG14 N2015, 2016.