S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

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.

Due to increased embedded processing requirements, modern SoCs are becoming heterogeneous computing platforms by combining traditional processing units with custom reconfigurable hardware accelerators (HAs) on an FPGA fabric. However, efficiently managing ...

We introduce the analog of Kramers-Kronig dispersion relations for correlators of four scalar operators in an arbitrary conformal field theory. The correlator is expressed as an integral over its "absorptive part", defined as a double discontinuity, times ...

In a non-uniform memory access machine, the placement of software threads to hardware cores can have a significant effect on the performance of concurrent applications. Detecting the best possible placement for each application is a necessity for thread sc ...

Ongoing advances in imaging techniques create new demands regarding the analysis of images in medicine and biology. Image segmentation is a key step of many image analysis pipelines and its proper execution is a particularly challenging task. This thesis i ...

A computer-implemented method, computer program product and computer system (100) for editing a configuration of a physical entity (30) to configure a future operating mode of a physical entity. A GUI component (200) provides a visual representation of a t ...

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

setuid system calls enable critical functions such as user authentications and modular privileged components. Such operations must only be executed after careful validation. However, current systems do not perform rigorous checks, allowing exploitation of ...

The main goals of this thesis pertain to the development of a device capable of detecting microorganism viability through monitoring the oscillations of a microscopic cantilever transducer, to improve the presently used device and to attempt to explain in ...

For the first time, the JET operation in deuterium-tritium (D-T) plasma, which is scheduled to take place on JET in 2020, will be performed in the ITER mix of plasma-facing component materials. In view of the preparation of the DT campaign (DTE2), several ...

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

Chat with Graph Search

Snap-On User-Space Manager for Dynamically Reconfigurable System-on-Chips

A conformal dispersion relation: correlations from absorption

Thread-Placement Learning

SUBDIVIDE AND CONQUER Active Contours and Surfaces for Biomedical Image Segmentation

System and method for user data input to modify operating mode configurations

Scaling Functional Synthesis and Repair

PoLPer: Process-Aware Restriction of Over-Privileged Setuid Calls in Legacy Applications

Development of an AFM-based nanomotion detection device for microbiological samples

The software and hardware architecture of the real-time protection of in-vessel components in JET-ILW