CoRD: A Collaborative Framework for Distributed Data Race Detection

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.

Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...

We present a self-consistent and versatile forward modelling software package that can produce time series and pixel-level simulations of time-varying strongly lensed systems. The time dimension, which needs to take into account different physical mechanis ...

The booming popularity of online services has led to a major evolution in the way these services are built and deployed. To cope with such online data-intensive services, service providers deploy several massive-scale datacenters, also referred to as wareh ...

The analysis of nuclear reactors for performance and safety assessment benefits from the use of computational tools. In this context, this work aims at the development and application of a thermal-hydraulics methodology and related software that respond to ...

Chirok is software for a post-refinement test of the absolute structure. The software allows a user to calculate a distribution of the measure of chirality based on intensity quotients and linked to the Flack parameter. The distribution is fitted by a set ...

Gamification aims to enhance the educational experience by enabling students to have fun with technology. Although research in the field has previously looked into the effectiveness of gamification, reviews of existing studies show that in the context of e ...

With the upcoming generation of telescopes, cluster scale strong gravitational lenses will act as an increasingly relevant probe of cosmology and dark matter. The better resolved data produced by current and future facilities requires faster and more effic ...

In this paper a hybrid framework is illustrated, with a software and hardware integration strategy, for an industrial platform that exploits features from a Relational Database (RDB) and Triplestore using the blackboard architectural pattern, ensuring effi ...

In this paper we introduce SD-WISE, a Software-Defined Wireless SEnsor networking solution for Wireless Sensor (and actuator) Networks (WSNs). SD-WISE has several unique features making it a flexible and expandable solution that can be applied in heterogen ...

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

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

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

With the widespread uptake of two-dimensional (2D) and three-dimensional (3D) single-molecule localization microscopy (SMLM), a large set of different data analysis packages have been developed to generate super-resolution images. In a large community effo ...

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

The geometries of axons, dendrites and their synaptic connections provide important information about their functional properties. These can be collected directly from measurements made on serial electron microscopy images. However, manual and automated se ...

Civil engineering (CE) is one of the broadest engineering fields, if not the most, and requires undergraduate students to be exposed to a variety of topics; each can be easily recognized as a major in its own. Establishing a successful curriculum is a majo ...

CoRD: A Collaborative Framework for Distributed Data Race Detection

Chat with Graph Search

Degrees of Separation: A Flexible Type System for Safe Concurrency

Creating Trust by Abolishing Hierarchies

Robust Collaborative Learning with Linear Gradient Overhead

Automated Verification of Network Function Binaries

Hardware and Software Support for RPC-Centric Server Architecture

Simulating time-varying strong lenses

Hardware-Software Co-Design of an RPC Processor

A Coarse-mesh Methodology for the Analysis of One and Two-phase Nuclear Reactor Thermal-hydraulics in a Multi-physics Context

Chirok: a post-refinement tool to analyse absolute structure

Evaluating the Effects of Introducing Three Gamification Elements in STEM Educational Software for Secondary Schools

Lenstool-HPC: A High Performance Computing based mass modelling tool for cluster-scale gravitational lenses

A hybrid framework for industrial data storage and exploitation

SD-WISE: A Software-Defined WIreless SEnsor network

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

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

Scaling Functional Synthesis and Repair

Super-resolution fight club: assessment of 2D and 3D single-molecule localization microscopy software

SUBDIVIDE AND CONQUER Active Contours and Surfaces for Biomedical Image Segmentation

NeuroMorph: A Software Toolset for 3D Analysis of Neurite Morphology and Connectivity

Reinforcing Civil Engineering Curricula With Courses Including Project-Based Software Applications