Publications related to Software bug

Developments and applications of the OPTIMADE API for materials discovery, design, and data exchange

Nicola Marzari, Giovanni Pizzi, Sara Bonella, Kristjan Eimre, Andrius Merkys, Casper Welzel Andersen, Gian-Marco Rignanese, Ji Qi

The Open Databases Integration for Materials Design (OPTIMADE) application programming interface (API) empowers users with holistic access to a growing federation of databases, enhancing the accessibility and discoverability of materials and chemical data. ...

Royal Soc Chemistry2024

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Mathias Josef Payer, Jianhao Xu

Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...

Berkeley2023

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Mathias Josef Payer, Sirus Shahini

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

ASSOC COMPUTING MACHINERY2023

Performance Interfaces for Network Functions

George Candea, Rishabh Ramesh Iyer

Modern programmers routinely use third-party code, and infrastructure operators deploy software they did not write. This would not be possible without semantic interfaces---documentation, header files, specifications---that succinctly describe what that th ...

USENIX Association2022

One Fuzz Doesn’t Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction

Mathias Josef Payer

Fuzzing is the de-facto default technique to discover software flaws, randomly testing programs to discover crashing test cases. Yet, a particular scenario may only care about specific code regions (for, e.g., bug reproduction, patch or regression testing) ...

ASSOC COMPUTING MACHINERY2022

Towards reproducible software studies with MAO and Renku

Pamela Isabel Delgado Borda, Christine Choirat

In software engineering, the developers' joy of decomposing and recomposing microservice-based applications has led to an enormous wave of microservice artefact technologies. To understand them better, researchers perform hundreds of experiments and empiri ...

ELSEVIER2022

New Capabilities of the FLUKA Multi-Purpose Code

André Donadon Servelle, Nikolaos Charitonidis, Philippe Jean Schoofs, Francesco Cerutti

FLUKA is a general purpose Monte Carlo code able to describe the transport and interaction of any particle and nucleus type in complex geometries over an energy range extending from thermal neutrons to ultrarelativistic hadron collisions. It has many diffe ...

FRONTIERS MEDIA SA2022

Seed Selection for Successful Fuzzing

Mathias Josef Payer

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

ASSOC COMPUTING MACHINERY2021

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.

Software bug

Developments and applications of the OPTIMADE API for materials discovery, design, and data exchange

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Latency Interfaces for Systems Code

Performance Interfaces for Network Functions

One Fuzz Doesn’t Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction

Towards reproducible software studies with MAO and Renku

New Capabilities of the FLUKA Multi-Purpose Code

On Verified Scala for STIX File System Embedded Code using Stainless

Seed Selection for Successful Fuzzing

Graph Chatbot

Chat with Graph Search

On Verified Scala for STIX File System Embedded Code using Stainless

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Latency Interfaces for Systems Code

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Performance Interfaces for Network Functions

New Capabilities of the FLUKA Multi-Purpose Code

One Fuzz Doesn’t Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction

Towards reproducible software studies with MAO and Renku

Developments and applications of the OPTIMADE API for materials discovery, design, and data exchange

Seed Selection for Successful Fuzzing