Keyword:compiler

Papers
A Formal Model of Checked C Liyi Li, Yiyun Liu, Deena Postol, Leonidas Lampropoulos, David Van Horn and Michael Hicks EasyChair Preprint no. 8764
A Compiler-assisted locality aware CTA Mapping Scheme Lifeng Liu, Meilin Liu and Chongjun Wang In:Proceedings of 34th International Conference on Computers and Their Applications
Schism: A Self-Hosting Scheme to WebAssembly Compiler Eric Holk EasyChair Preprint no. 500