2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM)

[Engineering Paper] Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer

Pub Date : 2018-09-01 DOI: 10.1109/SCAM.2018.00027 G. Horváth, Péter Szécsi, Zoltán Gera, Dániel Krupp, Norbert Pataki

[Engineering Paper] An IDE for Easy Programming of Simple Robotics Tasks

Pub Date : 2018-09-01 DOI: 10.1109/SCAM.2018.00032 David C. Shepherd, Patrick Francis, David Weintrop, Diana Franklin, Boyang Li, Afsoon Afzal

[Engineering Paper] RECKA and RPromF: Two Frama-C Plug-ins for Optimizing Registers Usage in CUDA, OpenACC and OpenMP Programs

Pub Date : 2018-09-01 DOI: 10.1109/SCAM.2018.00029 R. Diarra, A. Mérigot, B. Vincke