Publications related to Imperative programming

From C/C plus plus Code to High-Performance Dataflow Circuits

Paolo Ienne, Andrea Guerrieri, Lana Josipovic

High-level synthesis (HLS) tools typically generate statically scheduled datapaths. Static scheduling implies that the resulting circuits have a hard time exploiting parallelism in code with potential memory dependences, with control dependences, or where ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms

Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch

The performance of programs written in languages following the dataflow model of computation (MoC) largely depends on the configuration (partitioning, mapping, scheduling, buffer dimensioning) chosen during the synthesis stages. Furthermore, this programmi ...

2022

Representing Monads with Capabilities

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Jonathan Immanuel Brachthäuser

Programming with monads can be advantageous even in imperative languages with builtin support for side effects. However, in these languages composing monadic programs is different from composing side effecting imperative programs. This does not need to be ...

2021

Application of data reconciliation methods for performance monitoring of power-to-gas plants

François Maréchal, Jonas Schnidrig, Tuong-Van Nguyen, Alessio Santecchia

Power-to-gas plants have recently gained more attraction as these storage systems can be deployed in the European energy grid to ease the integration of renewable energy sources. Most studies in this field address several aspects, from their technical perf ...

ECOS 2020 Local Organizing Committee2020

SpecROP: Speculative Exploitation of ROP Chains

Mathias Josef Payer, Andrés Sánchez Marín, Atri Bhattacharyya

Speculative execution attacks, such as Spectre, reuse code from the victim’s binary to access and leak secret information during speculative execution. Every variant of the attack requires very particular code sequences, necessitating elaborate gadget-sear ...

2020

Influence of Load Duration on Shear Strength of Reinforced Concrete Members

Aurelio Muttoni, Miguel Fernández Ruiz, Darko Tasevski

The significance of sustained loading on the compressive and tensile strength of concrete has been experimentally verified since the 1950s and is currently acknowledged in most design codes implicitly or explicitly. However; its influence on other potentia ...

AMER CONCRETE INST2020

Buffer Placement and Sizing for High-Performance Dataflow Circuits

Paolo Ienne, Andrea Guerrieri, Lana Josipovic, Shabnam Sheikhha

Commercial high-level synthesis tools typically produce statically scheduled circuits. Yet, effective C-to-circuit conversion of arbitrary software applications calls for dataflow circuits, as they can handle efficiently variable latencies (e.g., caches) a ...

ASSOC COMPUTING MACHINERY2020

Switching event detection and self-termination programming circuit for energy efficient ReRAM memory arrays

Alexandre Sébastien Julien Levisse, Etienne Nowak

Energy efficiency remains a challenge for the design of non-volatile resistive memories (ReRAMs) arrays. This memory technology suffers from intrinsic variability in switching speed, programming voltages and resistance levels. The programming conditions of ...

2019

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Imperative programming

Scaling Language Features for Program Verification

From C/C plus plus Code to High-Performance Dataflow Circuits

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms

Representing Monads with Capabilities

Application of data reconciliation methods for performance monitoring of power-to-gas plants

SpecROP: Speculative Exploitation of ROP Chains

Influence of Load Duration on Shear Strength of Reinforced Concrete Members

Buffer Placement and Sizing for High-Performance Dataflow Circuits

Switching event detection and self-termination programming circuit for energy efficient ReRAM memory arrays

Verification by Reduction to Functional Programs

Graph Chatbot

Chat with Graph Search

From C/C plus plus Code to High-Performance Dataflow Circuits

Scaling Language Features for Program Verification

Application of data reconciliation methods for performance monitoring of power-to-gas plants

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms

Switching event detection and self-termination programming circuit for energy efficient ReRAM memory arrays

SpecROP: Speculative Exploitation of ROP Chains

Influence of Load Duration on Shear Strength of Reinforced Concrete Members

Representing Monads with Capabilities

Buffer Placement and Sizing for High-Performance Dataflow Circuits

Verification by Reduction to Functional Programs