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. ,
2016. C memory object and value semantics: the space of de facto and ISO standards ,
Using the GNU Compiler Collection (GCC) / 4.7 Arrays and pointers, 2004. ,
, The C standard formalized in Coq. Ph.D. Dissertation. Radboud University, 2012.
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. ,
, n2263: Clarifying Pointer Provenance v4. ISO WG14, 2018.
Exploring C Semantics and Pointer Provenance, POPL 2019: Proc. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, 2019. ,
Into the depths of C: elaborating the de facto standards, PLDI 2016: 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation, 2016. ,
N2090: Clarifying Pointer Provenance (Draft Defect Report or Proposal for C2x, 2016. ,
What is C in practice?, Cerberus survey v2): Analysis of Responses -with Comments. ISO SC22 WG14 N2015, 2016. ,