GLeeFuzz: FuzzingWebGL Through Error Message Guided Mutation

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.

Volume electron microscopy is the method of choice for the in situ interrogation of cellular ultrastructure at the nanometer scale, and with the increase in large raw image datasets generated, improving computational strategies for image segmentation and s ...

A non-trivial interplay rules the relationship between the structure and the chemophysical properties of a nanoparticle. In this context, characterization experiments, molecular dynamics simulations and electronic structure calculations may allow the varia ...

The conjugate heat transfer in mixtures of a fluid and single granular clusters is studied in this paper using a novel lattice Boltzmann method (LBM) programmed for parallel computation on the graphics processing unit (GPU). The LBM is validated for heat c ...

We introduce turboMagnon, an implementation of the Liouville-Lanczos approach to linearized time-dependent density-functional theory, designed to simulate spin-wave spectra in solid-state materials. The code is based on the noncollinear spin-polarized fram ...

Algorithms are everywhere. The recipe for the frangipane cake is an algorithm. If all the listed ingredients are available and the cook is sufficiently deft, after a finite number of small, well-defined steps a delicious dessert will exit the oven. Now, wh ...

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

Evaluating earthquake-induced losses, such as structural repair costs, downtime and casualties, is becoming a standard practice within the performance-based earthquake engineering framework. Nonetheless, this evaluation is a demanding task that requires de ...

We propose and evaluate a secure-multiparty-computation (MPC) solution in the semi-honest model with dishonest majority that is based on multiparty homomorphic encryption (MHE). To support our solution, we introduce a multiparty version of the Brakerski-Fa ...

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

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

Strong gravitational lensing is a powerful probe of cosmology and the dark matter distribution. Efficient lensing software is already a necessity to fully use its potential and the performance demands will only increase with the upcoming generation of tele ...

Tamaas: a library for elastic-plastic contact of periodic rough surfaces", published in the Journal of Open Source Softwares describes the free and open-source library Tamaas. More than five years in the making, Tamaas is a high performance C++/Python libr ...

The behavioral revisions to the design are frequent in the late stage of the semiconductor chip development. Quite often, their realization emphasizes incrementality that seeks minimum perturbation of the existing implementation. This tutorial paper poses ...

The study of strong gravitational lenses is a relatively new scientific field in astronomy with many applications in cosmology. Its unique observables allow astronomers to trace dark matter, determine the expansion of the universe and study galaxy evolutio ...

An open accelerator (OpenACC)-aided graphics processing unit (GPU)-based finite difference time domain (FDTD) method is presented for the first time for the 3D evaluation of lightning radiated electromagnetic fields along a complex terrain with arbitrary t ...

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

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

Numerical simulation of Pelton turbine hydrodynamics is helpful to identify the energy loss mechanisms in the runner and minimize their effect. However, it is a challenging task that involves handling the unsteady free surface flow and moving boundaries re ...

It has often been found that students appreciate hands-on work, and find that they learn more with courses that include a project than those relying solely on conventional lectures and tests. This type of project driven learning is a key component of “Inqu ...

A novel method is introduced in this study to consider flexibility taking into account both system design and operation strategy by using fuzzy logic. A stochastic optimization algorithm is introduced to optimize the system design and operation strategy of ...

GLeeFuzz: FuzzingWebGL Through Error Message Guided Mutation

Chat with Graph Search

Modular segmentation, spatial analysis and visualization of volume electron microscopy datasets

Structural characterisation of nanoalloys for (photo)catalytic applications with the Sapphire library

Conjugate heat transfer in isolated granular clusters with interstitial fluid using lattice Boltzmann method

turboMagnon - A code for the simulation of spin-wave spectra using the Liouville-Lanczos approach to time-dependent density-functional perturbation theory

Practical Byzantine-resilient Stochastic Gradient Descent

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

EaRL: An Open-Source Software for Earthquake Risk, Loss and Lifecycle Assessment

Multiparty Homomorphic Encryption from Ring-Learning-with-Errors

FuzzGen: Automatic Fuzzer Generation

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

High Performance Computing for gravitational lens modeling: Single vs double precision on GPUs and CPUs

Tamaas: a library for elastic-plastic contact of periodic rough surfaces

Learning to Automate the Design Updates From Observed Engineering Changes in the Chip Development Cycle

Methods for strong gravitational lens detection and analysis using machine learning and high performance computing

On the Efficiency of OpenACC-aided GPU-Based FDTD Approach: Application to Lightning Electromagnetic Fields

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

Hardware-conscious Hash-Joins on GPUs

GPU-Accelerated Finite Volume Particle Simulation of Free Jet Deviation by Multi-jet Rotating Pelton Runner

Inquiry-Based Learning with RoboGen: An Open-Source Software and Hardware Platform for Robotics and Artificial Intelligence

Redefining energy system flexibility for distributed energy system design