Christoph M. Kirsch

• Embedded Software
• Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management