Concept
Clang
Related publications (14)
MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL
Felix Schürmann, Pramod Shivaji Kumbhar, Omar Awile, Ioannis Magkanaris
Advances in computational capabilities and large volumes of experimental data have established computer simulations of brain tissue models as an important pillar in modern neuroscience. Alongside, a variety of domain specific languages (DSLs) have been dev ...
ACM2023A Dynamically Scheduled HLS Flow in MLIR
In High-Level Synthesis (HLS), we consider abstractions that span from software to hardware and target heterogeneous architectures. Therefore, managing the complexity introduced by this is key to implementing good, maintainable, and extendible HLS compiler ...
2022Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
Approximation errors must be taken into account when compiling quantum programs into a low-level gate set. We present a methodology that tracks such errors automatically and then optimizes accuracy parameters to guarantee a specified overall accuracy while ...
ASSOC COMPUTING MACHINERY2020Object-Oriented Recovery for Non-volatile Memory
James Richard Larus, David Teksen Aksun, Nachshon Cohen
New non-volatile memory (NVM) technologies enable direct, durable storage of data in an application's heap. Durable, randomly accessible memory facilitates the construction of applications that do not lose data at system shutdown or power failure. Existing ...
ACM2018Automated Synthesis of Adversarial Workloads for Network Functions
Arseniy Zaostrovnykh, Rishabh Ramesh Iyer, Jonas Fietz, Luis David Figueiredo Mascarenhas Moreira Pedrosa
Software network functions promise to simplify the deployment of network services and reduce network operation cost. However, they face the challenge of unpredictable performance. Given this performance variability, it is imperative that during deployment, ...
ACM2018Design and implementation of an optimizing type-centric compiler for a high-level language
Production compilers for programming languages face multiple requirements. They should be correct, as we rely on them to produce code. They should be fast, in order to provide a good developer experience. They should also be easy to maintain and evolve. Th ...
EPFL2017Two approaches to portable macros
For any programming language that supports macros and has multiple implementations (each with different AST definitions), there is a common problem: how to make macros that operate on ASTs portable among different compiler implementations? Implementing por ...
2017A TASTY Alternative
Martin Odersky, Eugene Burmako, Dmytro Petrashko
This document proposes a new serialization format for typed syntax trees of Scala programs. It aims to be ● compact: All numbers and references are length encoded, trees are inlined by default but may be shared. ● lazy: Trees can be explored from the top, ...
2016Cyme: A Library Maximizing SIMD Computation on User-Defined Containers
Felix Schürmann, Timothée Ewart
This paper presents Cyme, a C++ library aiming at abstracting the usage of SIMD instructions while maximizing the usage of the underlying hardware. Unlike similar efforts such as Boost.simd or VC, Cyme provides generic high level containers to the users wh ...
Springer International Publishing2014Enabling Sophisticated Analysis of x86 Binaries with RevGen
George Candea, Vitaly Chipounov
Current state-of-the-art static analysis tools for binary software operate on ad-hoc intermediate representations (IR) of the machine code. Therefore, even though IRs facilitate program analysis by abstracting away the source language, it is hard to reuse ...
2011