Publication

GLeeFuzz: FuzzingWebGL Through Error Message Guided Mutation

Related publications (32)

Graph Chatbot

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.

JPEG XS-A New Standard for Visually Lossless Low-Latency Lightweight Image Coding

Touradj Ebrahimi

Joint Photographic Experts Group (JPEG) XS is a new International Standard from the JPEG Committee (formally known as ISO/International Electrotechnical Commission (IEC) JTC1/SC29/WG1). It defines an interoperable, visually lossless low-latency lightweight ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

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

USENIX ASSOC2020

An automated calibration framework and open source tools for 3D lake hydrodynamic models

Alfred Johny Wüest, Damien Bouffard, Andrea Cimatoribus, Theo Baracchini

Understanding lake dynamics is crucial to provide scientifically credible information for ecosystem management. In this context, three-dimensional hydrodynamic models are a key information source to assess critical but often subtle changes in lake dynamics ...

2020

Nanometric axial resolution of fibronectin assembly units achieved with an efficient reconstruction approach for multi-angle-TIRF microscopy

Emmanuel Emilien Louis Soubies, Sébastien Schaub

High resolution imaging of molecules at the cell-substrate interface is required for understanding key biological processes. Here we propose a complete pipeline for multi-angle total internal reflection fluorescence microscopy (MA-TIRF) going from instrume ...

2019

, ,

Visiting the Bio Imaging Search Engine (BISE) (Bio, BISE, Engine, http://biii.eu/, Imaging, Search) website at the time of writing this article, almost 1200 open source assets (components, workflows, collections) were found. This overwhelming range of offe ...

Humana Press2019

Hardware-conscious Hash-Joins on GPUs

Anastasia Ailamaki, Periklis Chrysogelos, Panagiotis Sioulas, Manolis Karpathiotakis, Raja Appuswamy

Traditionally, analytical database engines have used task parallelism provided by modern multisocket multicore CPUs for scaling query execution. Over the past few years, GPUs have started gaining traction as accelerators for processing analytical queries d ...

IEEE2019

Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks

Mathias Josef Payer

GPU-accelerated graphics is commonly used in mobile applications. Unfortunately, the graphics interface exposes a large amount of potentially vulnerable kernel code (i.e., the GPU device driver) to untrusted applications. This broad attack surface has resu ...

ASSOC COMPUTING MACHINERY2018

A GPU-Friendly Skiplist Algorithm

Nachshon Cohen

We propose a design for a fine-grained lock-based skiplist optimized for Graphics Processing Units (GPUs). While GPUs are often used to accelerate streaming parallel computations, it remains a significant challenge to efficiently offload concurrent computa ...

Ieee2017

Fast Segmentation from Blurred Data in 3D Fluorescence Microscopy

Michaël Unser, Martin Kurt Storath

We develop a fast algorithm for segmenting 3D images from linear measurements based on the Potts model (or piecewise constant Mumford-Shah model). To that end, we first derive suitable space discretizations of the 3D Potts model, which are capable of deali ...

2017

Elastic Program Transformations

Jonas Benedict Wagner

Performance and reliability are important yet conflicting properties of systems software. Software today often crashes, has security vulnerabilities and data loss, while many techniques that could address such issues remain unused due to performance concer ...

EPFL2017