Peephole optimization

Applied sciences
Computer engineering
Computer programming
Compilers

About
Privacy
Disclaimer

Graph Chatbot

Related publications (31)

New Strategies for the Functionalization of Alkenes Exploiting Tethering Chemistry and Ring Strain

Bastian Antoine Rodolphe Claude Muriel

Amino alcohols, cyclopropanes and nitriles are privileged structural motifs found in the scaffold of natural products and bioactive compounds. In addition, they are versatile building blocks in organic chemistry. The development of new and increasingly eff ...

EPFL2021

Equinox: Training (for Free) on a Custom Inference Accelerator

Babak Falsafi, Martin Jaggi, Ahmet Caner Yüzügüler, Louis Coulon, Mario Paulo Drumond Lages De Oliveira, Arash Pourhabibi Zarandi

DNN inference accelerators executing online services exhibit low average loads because of service demand variability, leading to poor resource utilization. Unfortunately, reclaiming idle inference cycles is difficult as other workloads can not execute on a ...

ACM2021

Artificial Intelligence for 5G and Beyond 5G: Implementations, Algorithms, and Optimizations

Andreas Peter Burg, Christoph Studer, Chuan Zhang

This Special Issue of the IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS) is dedicated to demonstrating the latest research progress on artificial intelligence for 5G and beyond 5G (B5G) with respect to implementations, algori ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

An Optimizing Multi-platform Source-to-source Compiler Framework for the NEURON MODeling Language

Felix Schürmann, James Gonzalo King, Michael Lee Hines, Pramod Shivaji Kumbhar, Omar Awile, Jorge Blanco Alonso, Liam Roger George Keegan

Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit domain knowledge for the generation of more efficient code on target architectures. Here, we describe a new c ...

Springer2020

Analytic performance modeling and analysis of detailed neuron simulations

Felix Schürmann, Francesco Cremonesi, Gerhard Wellein

Big science initiatives are trying to reconstruct and model the brain by attempting to simulate brain tissue at larger scales and with increasingly more biological detail than previously thought possible. The exponential growth of parallel computer perform ...

2020

Monolithic Silicon-Based Nanobeam Cavities for Integrated Nonlinear and Quantum Photonics

Vincenzo Savona, Juan Pablo Vasco Cano, Kilian Robert Seibold

Photonic resonators that allow an electromagnetic field to be confined in an ultrasmall volume with a long decay time are crucial to a number of applications requiring enhanced nonlinear effects. For applications to integrated photonic devices on chip, com ...

American Physical Society (APS)2020

Loading optimization for Swiss used nuclear fuel assemblies into final disposal canisters

Andreas Pautz, Hakim Ferroukhi, Dimitri Rochman, Alexander Vasiliev

In this study, an optimization of the canister loading for used nuclear fuels is performed, solely based on their decay heat values. By taking into account the individual irradiation history for each fuel assembly, as well as with a number of assumptions o ...

ELSEVIER SCIENCE SA2020

Using the new VPMADD instructions for the new post quantum key encapsulation mechanism SIKE

Dusan Kostic

This paper demonstrates the use of new processor instructions VPMADD, intended to appear in the coming generation of Intel processors (codename "Cannon Lake"), in order to accelerate the newly proposed key encapsulation mechanism (KEM) named SIKE. SIKE is ...

IEEE COMPUTER SOC2019

Scaling Functional Synthesis and Repair

Emmanouil Koukoutos

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019

Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper)

Christoph Koch, Amir Shaikhha, Vojin Jovanovic

In this paper, we present a framework for generating optimizing compilers for performance-oriented embedded DSLs (EDSLs). This framework provides facilities to automatically generate the boilerplate code required for building DSL compilers on top of the ex ...

ASSOC COMPUTING MACHINERY2019

The Importance of Systematic Spatial Variability in the Surface Heat Flux of a Large Lake: A Multiannual Analysis for Lake Geneva

David Andrew Barry, Ulrich Lemmin, Andrea Cimatoribus, Abolfazl Irani Rahaghi

The spatiotemporal surface heat flux (SurHF) distribution over Lake Geneva, the largest lake in Western Europe, was estimated for a 7‐year period (2008–2014). Data sources included hourly maps of over‐the‐lake assimilated meteorological data from a validat ...

American Geophysical Union2019

Page 2 of 2