Concept
One-pass compiler
Related publications (19)
Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs
Mathias Josef Payer, Jianhao Xu
Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...
Berkeley2023MOD2IR: 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 ...
ACM2023Scaffolding protein functional sites using deep learning
Bruno Emanuel Ferreira De Sousa Correia, Karla Montserrat Castro Gilabert, Basile Isidore Martin Wicky, Jue Wang
The binding and catalytic functions of proteins are generally mediated by a small number of functional residues held in place by the overall protein structure. Here, we describe deep learning approaches for scaffolding such functional sites without needing ...
AMER ASSOC ADVANCEMENT SCIENCE2022On Verified Scala for STIX File System Embedded Code using Stainless
We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...
2022Optimal Convergence for Distributed Learning with Stochastic Gradient Methods and Spectral Algorithms
We study generalization properties of distributed algorithms in the setting of nonparametric regression over a reproducing kernel Hilbert space (RKHS). We first investigate distributed stochastic gradient methods (SGM), with mini-batches and multi-passes o ...
2020Program compilation for large-scale quantum computers
Practical realizations of quantum computers are poised to deliver outstanding computational capabilities far beyond the reach of any classical supercomputer.
While classical systems are reliably implemented using CMOS technology, the fabrication of quantu ...
EPFL2020Convergences of Regularized Algorithms and Stochastic Gradient Methods with Random Projections
We study the least-squares regression problem over a Hilbert space, covering nonparametric regression over a reproducing kernel Hilbert space as a special case. We rst investigate regularized algorithms adapted to a projection operator on a closed subspace ...
2020Coherent rendering of virtual smile previews with fast neural style transfer
Coherent rendering in augmented reality deals with synthesizing virtual content that seamlessly blends in with the real content. Unfortunately, capturing or modeling every real aspect in the virtual rendering process is often unfeasible or too expensive. W ...
IEEE2019Spatial: A Language and Compiler for Application Accelerators
Christos Kozyrakis, Yunqi Zhang
Industry is increasingly turning to reconfigurable architectures like FPGAs and CGRAs for improved performance and energy efficiency. Unfortunately, adoption of these architectures has been limited by their programming models. HDLs lack abstractions for pr ...
ASSOC COMPUTING MACHINERY2018