Techniques for Identifying Elusive Corner-Case Bugs in Systems Software

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.

With the growth in the performance of general-purpose computing no longer following Moore's law and Dennard scaling, the use of hardware-specialized systems is common practice. Field-programmable gate arrays (FPGAs) are adopted in cloud and cyber-physical ...

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Fuzzing has emerged as the most broadly used testing technique to discover bugs. Effective fuzzers rely on coverage to prioritize inputs that exercise new program areas. Edge-based code coverage of the Program Under Test (PUT) is the most commonly used cov ...

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

Byzantine Reliable Broadcast (BRB) is a fundamental distributed computing primitive, with applications ranging from notifications to asynchronous payment systems. Motivated by practical consideration, we study Client-Server Byzantine Reliable Broadcast (CS ...

Today, automatic control is integrated into a wide spectrum of real-world systems such as electrical grids and transportation networks. Many of these systems comprise numerous interconnected agents, perform safety-critical operations, or generate large amo ...

Objective: To investigate (i) typical protocols used in research on biomechanical response to running-induced fatigue, (ii) the effect of sport-induced acute fatigue on the biomechanics of running and functional tests, and (iii) the consistency of analyzed ...

The ADITYA-U tokamak (R-0 = 0.75 m, a = 0.25 m) is designed to shape plasma column in both single and double null diverter configurations. It is quite well known that sustaining a shaped plasma in tokamak requires very good plasma column position control, ...

Mutation-based greybox fuzzing-unquestionably the most widely-used fuzzing technique-relies on a set of non-crashing seed inputs (a corpus) to bootstrap the bug-finding process. When evaluating a fuzzer, common approaches for constructing this corpus inclu ...

Grading student SQL queries manually is a tedious and error-prone process. Earlier work on testing correctness of student SQL queries, such as the XData system, can be used to test the correctness of a student query. However, in case a student query is fou ...

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

Triaxial testing of argillaceous rocks and shales is significantly more challenging than conventional rock mechanical testing. The challenges are mainly related to the very low permeability of these geomaterials, and their sensitivity to exposure of atmosp ...

Wannier90 is an open-source computer program for calculating maximally-localised Wannier functions (MLWFs) from a set of Bloch states. It is interfaced to many widely used electronic-structure codes thanks to its independence from the basis sets representi ...

Fuzzing is a testing technique to discover unknown vulnerabilities in software. When applying fuzzing to libraries, the core idea of supplying random input remains unchanged, yet it is non-trivial to achieve good code coverage. Libraries cannot run as stan ...

Fuzzing is one of the most popular and effective techniques for finding software bugs. To detect triggered bugs, fuzzers leverage a variety of sanitizers in practice. Unfortunately, sanitizers target long running experiments-e.g., developer test suites-not ...

In 2017 a new pixel detector was installed in the CMS detector. This so-called Phase-1 pixel detector features four barrel layers in the central region and three disks per end in the forward regions. The upgraded pixel detector requires an upgraded data ac ...

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

Laser based flow survey methods such as Laser Doppler Velocimetry (LDV) or Particle Image Velocimetry (PIV) have long been used for studying the flow in hydraulic machines. Even if the results have crucially improved our understanding of potentially destab ...

Coverage-based fuzz testing and dynamic symbolic execution are both popular program testing techniques. However, on their own, both techniques suffer from scalability problems when considering the complexity of modern software. Hybrid testing methods attem ...

Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automaticall ...

Techniques for Identifying Elusive Corner-Case Bugs in Systems Software

Chat with Graph Search

Electrical-Level Fault-Injection Attacks on FPGA-Based Systems

ACTOR: Action-Guided Kernel Fuzzing

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Hardware and Software Support for RPC-Centric Server Architecture

Oracular Byzantine Reliable Broadcast

Data-driven and Safe Networked Control with Applications to Microgrids

Biomechanical Response of the Lower Extremity to Running-Induced Acute Fatigue: A Systematic Review

Real-time feedback control system for ADITYA-U horizontal plasma position stabilisation

Seed Selection for Successful Fuzzing

Edit Based Grading of SQL Queries

Hardware-Software Co-Design of an RPC Processor

Benchmark study of undrained triaxial testing of Opalinus Clay shale: Results and implications for robust testing

Wannier90 as a community code: new features and applications

FuzzGen: Automatic Fuzzer Generation

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

The DAQ and control system for the CMS Phase-1 pixel detector upgrade

A hybrid framework for industrial data storage and exploitation

Use of compact Laser Doppler Velocimetry in reduced scale model testing of hydraulic machines

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

On verifying causal consistency