Publications associées à Basic (langage)

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