Large Scale and Special Purpose Computing Systems, Languages and Tools

LaSPeCS focuses on methods, algorithms, techniques, software tools, and compilers to map computations to new and emerging computing systems. We also focus on researching algorithms, data structures, and programming languages to cope with those systems' heterogeneous, parallel, and distributed hardware support. The research findings can enable computations in devices with strict restrictions (such as mobile and handheld devices) but also can contribute to more efficient embedded, cloud, and high-performance computing (e.g., in terms of energy consumption, scalability, and other performance requirements), empowering the competitiveness of companies and the innovation and research findings in many areas. This research track explores the opportunities to develop code analysis and transformation libraries and tools, targeting several languages including C/C++, Java, Fortran and Android bytecode, which are used, among other things, to map data-flow and streaming-oriented computations to multiple targets (e.g., custom RISC-V extensions, CGRA), and improve the safety of existing C code by applying analyses inspired by known and proved languages and standards (e.g., Rust, MISRA-C).