Publications associées à Fuzzing JavaScript Engines with a Graph-based IR

Publications associées (16)

Gramatron: Effective Grammar-Aware Fuzzing

Fuzzers aware of the input grammar can explore deeper program states using grammar-aware mutations. Existing grammar-aware fuzzers are ineffective at synthesizing complex bug triggers due to: (i) grammars introducing a sampling bias during input generation ...

ASSOC COMPUTING MACHINERY2021

Shape optimization of segmental porous baffles for enhanced thermo-hydraulic performance of shell-and-tube heat exchanger

Hossein Pourrahmani

This study presents the development and evaluation of a novel shell-and-tube heat exchanger (STHX) design with segmental porous baffles. Computational fluid dynamics (CFD) in combination with machine learning tools are utilized to investigate the thermo-hy ...

PERGAMON-ELSEVIER SCIENCE LTD2020

Optimized Memory Access For Dynamically Scheduled High Level Synthesis

Paolo Ienne, Atri Bhattacharyya

Dynamically-scheduled elastic circuits generated by High-Level Synthesis (HLS) tools are inherently out-of-order, following the flow of data rather than the evolution of an instruction pointer. Components of the circuit which access memory need to be conne ...

2018

CFIXX: Object Type Integrity for C++

Mathias Josef Payer

C++ relies on object type information for dynamic dispatch and casting. The association of type information to an object is implemented via the virtual table pointer, which is stored in the object itself. As C++ has neither memory nor type safety, adversar ...

The Internet Society2018

Multiobjective Optimization of Medium-Frequency Transformers for Isolated Soft-Switching Converters Using a Genetic Algorithm

Alfred Rufer, Asier Garcia Bediaga

The main challenge of medium-frequency transformers is the number of design parameters, constraints and objectives, and the difficulty of handling them on a particular design. This paper presents a novel computer-aided optimal design for MF transformers us ...

Ieee-Inst Electrical Electronics Engineers Inc2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

Automated Calibration of a Biomimetic Space-Dependent Model for Zebrafish and Robot Collective Behaviour in a Structured Environment

Francesco Mondada, Alexey Gribovskiy, Frank Bonnet

Bio-hybrid systems made of robots and animals can be useful tools both for biology and robotics. To socially integrate robots into animal groups the robots should behave in a biomimetic manner with close loop interactions between robots and animals. Behavi ...

Springer2017

Memetic Viability Evolution for Constrained Optimization

Dario Floreano, Andrea Maesani, Giovanni Iacca

The performance of evolutionary algorithms can be heavily undermined when constraints limit the feasible areas of the search space. For instance, while Covariance Matrix Adapta- tion Evolution Strategy is one of the most efficient algorithms for unconstrai ...

Institute of Electrical and Electronics Engineers2016

A missense mutation in the PISA domain of HsSAS-6 causes autosomal recessive primary microcephaly in a large consanguineous Pakistani family

Pierre Gönczy

Asymmetric cell division is essential for normal human brain development. Mutations in several genes encoding centrosomal proteins that participate in accurate cell division have been reported to cause autosomal recessive primary microcephaly (MCPH). By ho ...

Oxford University Press2014

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Martin Odersky, Vlad Ureche

The ScalaDyno compiler plugin allows fast prototyping with the Scala programming language, in a way that combines the benefits of both statically and dynamically typed languages. Static name resolution and type checking prevent partially-correct code from ...

ACM2014

The H50Q Mutation Enhances alpha-Synuclein Aggregation, Secretion, and Toxicity

Hilal Lashuel, Giovanni Dietler, Bruno Claude Daniel Fauvet, Francesco Simone Ruggeri, Anne-Laure Mahul Mellier, Abid Oueslati, Martial Mbefo Kamdem, Ossama Mohamed Salah El-Dien El-Sayed Ibrahim Khalaf, Filip Vercruysse

Over the last two decades, the identification of missense mutations in the alpha-synuclein (alpha-Syn) gene SNCA in families with inherited Parkinson disease (PD) has reinforced the central role of alpha-Syn in PD pathogenesis. Recently, a new missense mut ...

American Society for Biochemistry and Molecular Biology2014

Decomposition optimization strategy for the design and operation of district energy systems

Samira Fazlollahi

EPFL2014

Thermo-Economic Optimization of Integrated First and Second Generation Sugarcane Ethanol Plant

François Maréchal, Adriano Viana Ensinas, Victor Codina Gironès, Juliana Queiroz Albarelli

The sugarcane industry has been responsible in some countries for the production of most of the sugar and ethanol available in the world for internal and external markets. In this sector, ethanol can be produced by fermentation of sugars obtained directly ...

2013

Multi-objective investment and operating optimization of energy systems with integer cut constraints and evolutionary algorithm

François Maréchal, Samira Fazlollahi

The design and operating of energy systems are key issues for matching the energy supply and consumption. Several optimization methods based on the Mixed Integer Linear Programming (MILP) have been developed for this purpose. However, due to the uncertaint ...

2011

Genetic Representation of Adaptive Neural Controllers

Peter Dürr

The manual design of adaptive controllers for robotic systems that face unpredictable environmental changes is often challenging. There is thus a growing interest in the development of automatic design tools to assist control engineers. One of the most com ...

EPFL2011

Analog Genetic Encoding for the Evolution of Circuits and Networks

Dario Floreano, Claudio Mattiussi

This paper describes a new kind of genetic representation called analog genetic encoding (AGE). The representation is aimed at the evolutionary synthesis and reverse engineering of circuits and networks such as analog electronic circuits, neural networks, ...

2007