Publications related to BASIC | EPFL Graph Search

AIFORE: Smart Fuzzing Based on Automatic Input Format Reverse Engineering

Mathias Josef Payer, Zhiyao Feng, Chunmin Zhang, Ji Shi

Knowledge of a program's input format is essential for effective input generation in fuzzing. Automated input format reverse engineering represents an attractive but challenging approach to learning the format. In this paper, we address several challenges ...

Usenix Assoc2023

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

The DCU-EPFL Enhanced Dependency Parser at the IWPT 2021 Shared Task

James Henderson, Alireza Mohammadshahi

We describe the DCU-EPFL submission to the IWPT 2021 Parsing Shared Task: From Raw Text to Enhanced Universal Dependencies. The task involves parsing Enhanced UD graphs, which are an extension of the basic dependency trees designed to be more facilitative ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2021

Natural Product Synthesis Enabled by Domino Processes Incorporating a 1,2-Rearrangement Step

Qian Wang, Jieping Zhu, Bastien Delayre

The art of natural product total synthesis is closely associated with two major determinants: the development/application of novel chemical reactions and the innovation in strategic use of classic organic reactions. While purposely seeking/applying a new s ...

2021

Progress in modelling solidification microstructures in metals and alloys: dendrites and cells from 1700 to 2000

Wilfried Kurz

This is the first account of the history of our understanding of, and ability to model, solidification microstructures. Its objective is to retrace the scientific steps made, from the earliest observations of the eighteenth century to our present-day under ...

TAYLOR & FRANCIS LTD2019

Delineation of the Critical Parameters of Salt Catalysts in the N-Formylation of Amines with CO2

Paul Joseph Dyson, Daniel Ortiz Trujillo, Martin Hulla, Dmitry Vasilyev

N-formylation of amines with CO2 is base-catalyzed and studies of salt catalysts reveal that the reaction is efficiently catalyzed by "free" floating anions of high basicity, as represented in the cover image. More information can be found in the Full Pape ...

WILEY-V C H VERLAG GMBH2019

Organocatalysts in C-N Bond Forming Reactions of Amines with CO2

Martin Hulla

The thesis describes a simple approach for N-formylation of amines with CO2 and hydrosilane reducing agents, the use of organic salts as N-formylation catalysts, their physical properties required for high catalytic activity and their role in the catalytic ...

EPFL2019

An Improved Analysis of Local Search for Max-Sum Diversification

Friedrich Eisenbrand, Rico Zenklusen, Alfonso Bolívar Cevallos Manzano

We present new techniques to analyze natural local search algorithms for several variants of the max-sum diversification problem which, in its most basic form, is as follows: given an n-point set X subset of R-d and an integer k, select k points in X so th ...

INFORMS2019

Basic gestalt laws cannot explain uncrowding

Michael Herzog, Oh-Hyeon Choung, Einat Rashal

Visual crowding is the inability to perceive elements within clutter. Traditional crowding models, such as pooling, predict that performance deteriorates when flankers are added. However, this prediction has been disproved. For example, performance was fou ...

SAGE PUBLICATIONS LTD2019

Bio-inspired standing balance controller for a full-mobilization exoskeleton

Auke Ijspeert, Mohamed Bouri, Jemina Fasola, Tristan Hubert Vouga, Romain Pierre François Baud

This paper presents a novel method to perform automatic standing balance in a full mobilization exoskeleton. It exploits the locked ankle and the curved foot sole of the exoskeleton TWIICE. The idea is to use the knees to roll the sole and change the posit ...

IEEE2019

Bridging the gap between dataplanes and commodity operating systems

Georgios Prekas

The conventional wisdom is that aggressive networking requirements, such as high packet rates for small messages and microsecond-scale tail latency, are best addressed outside the kernel, in a user-level networking stack. In particular, dataplanes borrow d ...

EPFL2018

A Fault Tolerant Ripple-Carry Adder with Controllable-Polarity Transistors

Giovanni De Micheli, Jian Zhang, Pierre-Emmanuel Julien Marc Gaillardon, Hassan Ghasemzadeh Mohammadi

This paper deals with the effects of faults on circuits implemented with controllable-polarity transistors. We propose a new fault model that suits the characteristics of these devices, and report the results of a SPICE-based analysis of the effects of fau ...

2016

On the Design of a Fault Tolerant Ripple-Carry Adder with Controllable-Polarity Transistors

Giovanni De Micheli, Eduardo Sanchez, Jian Zhang, Pierre-Emmanuel Julien Marc Gaillardon, Hassan Ghasemzadeh Mohammadi

This paper first explores the effects of faults on circuits implemented with controllable-polarity transistors. We propose a new fault model that suits the characteristics of these devices, and report the results of a SPICE-based analysis of the effects of ...

IEEE2015

Single trial analysis of slow cortical potentials: A study on anticipation related potentials

José del Rocio Millán Ruiz, Ricardo Andres Chavarriaga Lozano, Gangadhar Garipelli

Objective. Abundant literature suggests the use of Slow Cortical Potentials (SCPs) in a wide spectrum of basic and applied neuroscience areas. Due to low signal to noise ratio, often these potentials are studied using grand-average analysis, which conceal ...

Institute of Physics2013

A Situated Approach to Systems Based Modeling of Services

Anshuman Bahadur Saxena

Situatedness refers to the imagery that conceptualization invokes. The image, as a whole, provides the context for interpreting the relevance of the categories revealed in the image. At a basic level of conceptualization, the causal relevance of an observe ...

2013

A Situated Approach to Systems Based Modeling of Services

Alain Wegmann, Anshuman Bahadur Saxena

Situatedness refers to the imagery that a conceptualization invokes. The image, as a whole, provides the context for interpreting the relevance of the categories revealed in the image. At a basic level of conceptualization, the conceptual relevance of an o ...

Ieee2013

Querypoint Debugging (Semi-Automated Inspection of Buggy Execution)

Salman Mirghasemi

Debugging is a hard and time-consuming programming task that appears in the most stages of software development and maintenance. Therefore, any improvement in the debugging practice can significantly reduce the time and costs of software production. In thi ...

EPFL2012

The neurochemical profile quantified by in vivo(1)H NMR spectroscopy

Rolf Gruetter, João Miguel das Neves Duarte, Hongxia Lei

Proton NMR spectroscopy is emerging from translational and preclinical neuroscience research as an important tool for evidence based diagnosis and therapy monitoring. It provides biomarkers that offer fingerprints of neurological disorders even in cases wh ...

2012

Infinite integrals with the weighted averages algorithm

Juan Ramon Mosig, Athanasios Polymeridis

A new version of the weighted averages (WA) algorithm, called generalized WA, is introduced. Generalized WA exhibit a more compact formulation, devoid of iterative and recursive steps, and a wider range of applications. It is more robust, as it provides a ...

2011

An old tool and a new challenge for depicting antenna array radiation patterns

Juan Ramon Mosig

This paper is intended for teachers and students dealing with antenna engineering. Graphical tools have historically been used for illustrating many basic features of radiation patterns, such as the position and number of secondary lobes, null angles, and ...

Institute of Electrical and Electronics Engineers2011