Publications associées à Code automodifiable

Automated Formal Verification of Software Network Functions

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Secure Interface Design Leveraging Hardware/Software Support

Atri Bhattacharyya

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

ACTOR: Action-Guided Kernel Fuzzing

Mathias Josef Payer

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Usenix Assoc2023

Scalable Metaprogramming in Scala 3

Nicolas Alexander Stucki

A metaprogrammer should be able to reason about the semantics of the generated code. Multi-stage programming introduced an elegant and powerful solution to this problem. It follows a semantically driven approach to code generation, where semantics are full ...

EPFL2023

TeSLA: Test-Time Self-Learning With Automatic Adversarial Augmentation

Jean-Philippe Thiran, Guillaume Marc Georges Vray, Devavrat Tomar, Seyedbehzad Bozorgtabar

Most recent test-time adaptation methods focus on only classification tasks, use specialized network architectures, destroy model calibration or rely on lightweight information from the source domain. To tackle these issues, this paper proposes a novel Tes ...

Los Alamitos2023

Self-assembly of protein-polymer conjugates for drug delivery

Harm-Anton Klok, Kuljeet Kaur, Corey Alfred Stevens

Protein-polymer conjugates are a class of molecules that combine the stability of polymers with the diversity, specificity, and functionality of biomolecules. These bioconjugates can result in hybrid materials that display properties not found in their ind ...

2021

Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code

Mathias Josef Payer

Android apps include third-party native libraries to increase performance and to reuse functionality. Native code is directly executed from apps through the Java Native Interface or the Android Native Development Kit. Android developers add precompiled nat ...

IEEE COMPUTER SOC2021

An Optimizing Multi-platform Source-to-source Compiler Framework for the NEURON MODeling Language

Felix Schürmann, James Gonzalo King, Michael Lee Hines, Pramod Shivaji Kumbhar, Omar Awile, Jorge Blanco Alonso, Liam Roger George Keegan

Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit domain knowledge for the generation of more efficient code on target architectures. Here, we describe a new c ...

Springer2020

JIT works: decide when all data is known (VLDB Women in Database Research Award talk)

Anastasia Ailamaki

When the time comes to make a critical decision, it is of paramount importance to prepare enough so that all the information necessary is available at decision time. Under-preparation leads to uninformed decisions; over-preparation, however, may lead to co ...

ASSOC COMPUTING MACHINERY2020

A Rule Synthesis Algorithm for Programmable Stochastic Self-Assembly of Robotic Modules

Alcherio Martinoli, Bahar Haghighat

Programmable self-assembly of modular robots offers promising means for structure formation at different scales. Rule-based approaches have been previously employed for distributed control of stochastic self-assembly processes. The assembly rate in the pro ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

Refutation-based synthesis in SMT

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

SPRINGER2019

Molecular nanostructures based on polyfunctional clathrochelate complexes

Suzanne Maria Jansze

This thesis describes the design and synthesis of clathrochelate metalloligands for the construction of molecular nanostructures. The low synthetic effort, versatility and stability of the clathrochelate metalloligands makes them particularly suited to the ...

EPFL2019

Large‐Range HS‐AFM Imaging of DNA Self‐Assembly through In Situ Data‐Driven Control

Alireza Karimi, Georg Fantner, Maartje Martina Cornelia Bastings, Adrian Pascal Nievergelt, Christoph Manuel Kammer, Eva Eugene Kurisinkal, Charlène Cécile Geneviève Brillard

Understanding hierarchical self-assembly of biological structures requires real time measurement of the self-assembly process over a broad range of length- and timescales. The success of high-speed atomic force microscopy (HS-AFM) in imaging small scale mo ...

2019

Code Generation in Computational Neuroscience: A Review of Tools and Techniques

Michael Lee Hines, Pramod Shivaji Kumbhar, Romain Brette

Advances in experimental techniques and computational power allowing researchers to gather anatomical and electrophysiological data at unprecedented levels of detail have fostered the development of increasingly complex models in computational neuroscience ...

2018

A Practical Unification of Multi-stage Programming and Macros

Martin Odersky, Nicolas Alexander Stucki

Program generation is indispensable. We propose a novel unification of two existing metaprogramming techniques: multi-stage programming and hygienic generative macros. The former supports runtime code generation and execution in a type-safe manner while th ...

2018

Low-Overhead Dynamic Instruction Mix Generation using Hybrid Basic Block Profiling

Willy Zwaenepoel, Andrzej Pawel Nowak

Dynamic instruction mixes form an important part of the toolkits of performance tuners, compiler writers, and CPU architects. Instruction mixes are traditionally generated using software instrumentation, an accurate yet slow method, that is normally limite ...

2018

Design, Modeling, and Control Methods for Fluid-Mediated Programmable Self-Assembly of Resource-Constrained Robotic Modules

Bahar Haghighat

The newly emerged and quickly growing science of nanotechnology has been recognized as one of ``the twenty-first century's great leaps forward in scientific knowledge''. Self-assembly provides a powerful enabling technique for nanotechnology by providing a ...

EPFL2018

Lake Imaging and Monitoring Aerial Drone

David Andrew Barry, Ludovic Zulliger, Jean-Luc Liardon, Karl Johannes Kangur, Nawaaz Sidharth Gujja Shaik, Lukas Oliver Hostettler

We describe the development of a BVLOS (Beyond Visual Line-Of-Sight) model aircraft (UAV). The broad design requirements included (i) fuselage capable of accommodating an imaging package or other instrumentation, (ii) suitability for over-lake BVLOS author ...

2018

Scanning tunneling microscopy on large bio-molecular systems on surfaces

Sebastian Koslowski

The ever growing demand for the development of new technologies and materials has led to extensive studies inspired by biological functional complexes. Peptides with their outstanding ability to efficiently self-assemble can express a broad spectrum of int ...

EPFL2017

Characterization and Validation of a Novel Robotic System for Fluid-Mediated Programmable Stochastic Self-Assembly

Alcherio Martinoli, Bahar Haghighat

Several self-assembly systems have been developed in recent years, where depending on the capabilities of the building blocks and the controlability of the environment, the assembly process is guided typically through either a fully centralized or a fully ...

Ieee2016