Publications related to Superoptimization

MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL

Felix Schürmann, Pramod Shivaji Kumbhar, Omar Awile, Snehal Pramod Kumbhar, 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 ...

ACM2023

MOCCA: Modeling and Optimizing Cone-joints for Complex Assemblies

Mark Pauly, Peng Song

We present a computational framework for modeling and optimizing complex assemblies using cone joints. Cone joints are integral joints that generalize traditional single-direction joints such as mortise and tenon joints to support a general cone of directi ...

2021

EEG Correlates of Difficulty Levels in Dynamical Transitions of Simulated Flying and Mapping Tasks

David Atienza Alonso, José del Rocio Millán Ruiz, Ricardo Andres Chavarriaga Lozano, Adriana Arza Valdes, Fabio Isidoro Tiberio Dell'Agnola, Ping-Keng Jao

Decoding the subjective perception of task difficulty may help improve operator performance, i.e., automatically optimize the task difficulty level. Here, we aim to decode a compound of cognitive states that covaries with the task difficulty level. We desi ...

2020

Embedding Mobile Health Technology into the Nurses' Health Study 3 to Study Behavioral Risk Factors for Cancer

Christine Choirat

Background: Physical activity and sleep are behavioral risk factors for cancer that may be influenced by environmental exposures, including built and natural environments. However, many studies in this area are limited by residence-based exposure assessmen ...

2020

DynaBurst: Dynamically Assemblying DRAM Bursts over a Multitude of Random Accesses

Paolo Ienne, Mikhail Asiatici

The effective bandwidth of the FPGA external memory, usually DRAM, is extremely sensitive to the access pattern. Nonblocking caches that handle thousands of outstanding misses (miss-optimized memory systems) can dynamically improve bandwidth utilization wh ...

IEEE2019

Improvements to Boolean resynthesis

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù

In electronic design automation Boolean resynthesis techniques are increasingly used to improve the quality of results where algebraic methods hit local minima Boolean methods rely on complete functional properties of a logic circuit, preferably including ...

IEEE2018

Optimized Memory Access For Dynamically Scheduled High Level Synthesis

Paolo Ienne, Atri Bhattacharyya

Dynamically-scheduled elastic circuits generated by High-Level Synthesis (HLS) tools are inherently out-of-order, following the flow of data rather than the evolution of an instruction pointer. Components of the circuit which access memory need to be conne ...

2018

Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains

Giovanni De Micheli, Paolo Ienne, Mathias Soeken, Grace Zgheib, Xifan Tang, Pierre-Emmanuel Julien Marc Gaillardon, Ana Petkovska, Luca Gaetano Amarù, Zhufei Chu

Hard-wired carry chains in FPGAs are designed to improve efficiency of important arithmetic primitives. Although they are proven to be effective for arithmetic-rich functions, there are very few studies on the optimization opportunities of carry chains for ...

ACM2017

Tokamak equilibrium reconstruction code LIUQE and its real time implementation

Basil Duval, Stefano Coda, Jean-Marc Moret, Holger Reimerdes, Federico Alberto Alfredo Felici, Hoang Bao Le

Equilibrium reconstruction consists in identifying, from experimental measurements, a distribution of the plasma current density that satisfies the pressure balance constraint. The LIUQE code adopts a computationally efficient method to solve this problem, ...

Elsevier2015

Surgical Precision JIT Compilers

Tiark Rompf, Hassan Chafi

Just-in-time (JIT) compilation of running programs provides more optimization opportunities than offline compilation. Modern JIT compilers, such as those in virtual machines like Oracle's HotSpot for Java or Google's V8 for JavaScript, rely on dynamic prof ...

Assoc Computing Machinery2014

On the computation of directional scale-discretized wavelet transforms on the sphere

Pierre Vandergheynst, Yves Wiaux, Jason Douglas McEwen

We review scale-discretized wavelets on the sphere, which are directional and allow one to probe oriented struc- ture in data defined on the sphere. Furthermore, scale-discretized wavelets allow in practice the exact synthesis of a signal from its wavelet ...

SPIE2013