Publications related to Control flow

Flexible High Power Electronics Solutions for Hydro-Power Applications

The current global energy landscape is characterized by an increasing demand for affordable and sustainable energy sources, leading to an ever increasing integration of intermittent renewable energy resources into the grid. The intermittent nature of these ...

EPFL2023

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Mathias Josef Payer

Coverage-guided greybox fuzzers rely on control-flow coverage feedback to explore a target program and uncover bugs. Compared to control-flow coverage, data-flow coverage offers a more fine-grained approximation of program behavior. Data-flow coverage capt ...

2023

Locomotion of Sensor‐Integrated Soft Robotic Devices Inside Sub‐Millimeter Arteries with Impaired Flow Conditions

Diego Ghezzi, Mahmut Selman Sakar, Lorenzo Francesco John Noseda, Amit Yedidia Dolev, Adele Fanelli

One of the grand challenges in interventional cardiology and neuroradiology is to minimize the operation time and risk of damage during catheterization. These two factors drastically increase if the target location resides in small and tortuous vessels. Fl ...

Wiley2022

Unleashing Parallelism in Elastic Circuits with Faster Token Delivery

Paolo Ienne, Andrea Guerrieri, Lana Josipovic, Ayatallah Ahmed Gamal Kamal Elakhras

High-level synthesis (HLS) is the process of automatically generating circuits out of high-level language descriptions. Previous research has shown that dynamically scheduled HLS through elastic circuit generation is successful at exploiting parallelism in ...

IEEE COMPUTER SOC2022

Active origami platforms for human-robot interactions

Frédéric Henri Vaskin Giraud

Robots are employed to assist humans in lengthy, challenging, and repetitive tasks. However, the fields of rehabilitation, haptics, and assistive robotics have shown a significant need to support and interact with people in their everyday life. To facilita ...

EPFL2022

A Dynamically Scheduled HLS Flow in MLIR

Morten Borup Petersen

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 ...

2022

Semi-global controllability of a geometric wave equation

Joachim Krieger, Shengquan Xiang

We prove the semi-global controllability and stabilization of the

(1+1)-

dimensional wave maps equation with spatial domain 𝕊1 and target

𝕊k

. First we show that damping stabilizes the system when the energy is strictly below the threshold

2π

, where ha ...

2022

JET ILA full array and polychromatic operation

The JET ILA is an Ion Cyclotron Resonance Heating (ICRH) antenna composed of four resonant double loops (RDLs) arranged in a 2 toroidal by 2 poloidal compact array. It has been operated in a range of frequencies from 29 to 51 MHz, but mostly on half array. ...

ELSEVIER SCIENCE SA2021

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

Experimental assessment of traffic density estimation at link and network level with sparse data

Nikolaos Geroliminis, Anna Takayasu

This paper investigates the accuracy of mean density estimation from direct sensing at link and network levels. Different calculation methods are compared depending on sensor type, probe vehicles or loop detectors, and availability to quantify the magnitud ...

TAYLOR & FRANCIS LTD2021

Control flow

Graph Chatbot

Chat with Graph Search

Flexible High Power Electronics Solutions for Hydro-Power Applications

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Locomotion of Sensor‐Integrated Soft Robotic Devices Inside Sub‐Millimeter Arteries with Impaired Flow Conditions

Unleashing Parallelism in Elastic Circuits with Faster Token Delivery

Active origami platforms for human-robot interactions

A Dynamically Scheduled HLS Flow in MLIR

Semi-global controllability of a geometric wave equation

JET ILA full array and polychromatic operation

Representing Monads with Capabilities

Experimental assessment of traffic density estimation at link and network level with sparse data

Flexible High Power Electronics Solutions for Hydro-Power Applications

Unleashing Parallelism in Elastic Circuits with Faster Token Delivery

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Semi-global controllability of a geometric wave equation

A Dynamically Scheduled HLS Flow in MLIR

Active origami platforms for human-robot interactions

Locomotion of Sensor‐Integrated Soft Robotic Devices Inside Sub‐Millimeter Arteries with Impaired Flow Conditions

Experimental assessment of traffic density estimation at link and network level with sparse data

JET ILA full array and polychromatic operation

Representing Monads with Capabilities