Publications associées à Safe initialization of objects

Degrees of Separation: A Flexible Type System for Safe Concurrency

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Yichen Xu

Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...

2024

Wave-momentum shaping for moving objects in heterogeneous and dynamic media

Stefan Rotter, Romain Christophe Rémy Fleury, Bakhtiyar Orazbayev, Matthieu Francis Malléjac

Light and sound waves can move objects through the transfer of linear or angular momentum, which has led to the development of optical and acoustic tweezers, with applications ranging from biomedical engineering to quantum optics. Although impressive manip ...

2024

Match Normalization: Learning-Based Point Cloud Registration for 6D Object Pose Estimation in the Real World

Mathieu Salzmann, Zheng Dang

In this work, we tackle the task of estimating the 6D pose of an object from point cloud data. While recent learning-based approaches have shown remarkable success on synthetic datasets, we have observed them to fail in the presence of real-world data. We ...

Ieee Computer Soc2024

Formal Foundations of Capture Tracking

Aleksander Slawomir Boruch-Gruszecki

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

EPFL2024

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Type inference in the presence of first-class or "impredicative" second-order polymorphism a la System F has been an active research area for several decades, with original works dating back to the end of the 80s. Yet, until now many basic problems remain ...

Assoc Computing Machinery2024

Verification of the Fourier-enhanced 3D finite element Poisson solver of the gyrokinetic full-f code PICLS

Stephan Brunner, Laurent Villard, Alberto Bottino, Moahan Murugappan

We introduce and derive the Fourier -enhanced 3D electrostatic field solver of the gyrokinetic full -f PIC code PICLS. The solver makes use of a Fourier representation in one periodic direction of the domain to make the solving of the system easily paralle ...

Elsevier2024

Exploring High-Performance and Energy-Efficient Architectures for Edge AI-Enabled Applications

Joshua Alexander Harrison Klein

The desire and ability to place AI-enabled applications on the edge has grown significantly in recent years. However, the compute-, area-, and power-constrained nature of edge devices are stressed by the needs of the AI-enabled applications, due to a gener ...

EPFL2024

Osmosis-driven stiffening of structured hydrogels

Esther Amstad, Ran Zhao, Alexandra Thoma

Plant cells harness osmotic pressures to stiffen their leaves through strong turgor pressures. Key to this osmosisdriven stiffening is the confinement of liquids within semipermeable membranes that can regulate the transport of water molecules and ions. In ...

Elsevier2024

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

Monitoring an Emergent Pathogen at Low Incidence in Wastewater Using qPCR: Mpox in Switzerland

Tamar Kohn, Timothy R. Julian

Wastewater-based epidemiology offers a complementary approach to clinical case-based surveillance of emergent diseases and can help identify regions with infected people to prioritize clinical surveillance strategies. However, tracking emergent diseases in ...

2024

Near-Room-Temperature Detection of Aromatic Compounds with Inkjet-Printed Plasticized Polymer Composites

Thomas Maeder, Jürgen Brugger, Mohammadmahdi Kiaee

Chemiresistive gas sensors composed of a thermoplastic polymer matrix and conductive fillers offer various advantages for detecting volatile organic compounds (VOCs), including low power consumption due to near-room-temperature operation, high sensitivity, ...

Amer Chemical Soc2024

Electroadhesive gripping system and method for gripping an object

Herbert Shea, Krishna Manaswi Digumarti, Vito Cacucciolo

An electroadhesive gripping system and a method for gripping and manipulating an object are disclosed. The invention provides a novel approach particularly useful to pick fabrics or otherwise flat and flexible objects including a method relying on electroa ...

2023

Circularity by stock in Sri Lanka: Economic necessity meets urban fabric renovation

Paolo Tombesi, Milinda Pathiraja

Persistent fiscal and political mismanagement, together with the financial pressures of the COVID-19 pandemic, have driven Sri Lanka into a social and economic crisis triggering a decrease in national foreign exchange reserves, an inability to purchase vit ...

FRONTIERS MEDIA SA2023

Type-Preserving Compilation of Class-Based Languages

Guillaume André Fradji Martres

The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is ...

EPFL2023

Near-wall hemodynamic parameters quantification in in vitro intracranial aneurysms with 7 T PC-MRI

Mohamed Farhat, Philippe Reymond

ObjectiveWall shear stress (WSS) and its derived spatiotemporal parameters have proven to play a major role on intracranial aneurysms (IAs) growth and rupture. This study aims to demonstrate how ultra-high field (UHF) 7 T phase contrast magnetic resonance ...

SPRINGER2023

Non-contact robotic manipulation of floating objects: exploiting emergent limit cycles

Nana Obayashi, Josephine Anna Eleanor Hughes

The study of non-contact manipulation in water, and the ability to robotically control floating objects has gained recent attention due to wide-ranging potential applications, including the analysis of plastic pollution in the oceans and the optimization o ...

Frontiers Media Sa2023

Patents, War and Peace. The resilience of the international patent order through the First World War

Nicolas Christophe Chachereau

By the end of the 19th century, an international order had emerged for patents, allowing business actors to use patents in many countries concurrently, and thus supporting a new phase in the development of industrial capitalism. Centered on Europe in spite ...

2023

Combination of dielectrophoretic and hydrodynamic traps for the controlled contact between cells or beads and application to adhesion assays

Clémentine Sophie Sarah Lipp

Multicellular organisms require very well organized and finely balanced cell-cell communication, adhesion and coordination to ensure the organisms homeostasis. These functions rely on specialized receptors placed at the cells membrane whose binding to thei ...

EPFL2023

Reduced order models for coupled systems

Niccolo' Discacciati

Efficient numerical simulations of coupled multi-component systems can be particularly challenging. This is mostly due to the complexity of their solutions, as mutual interactions may cause emergent behaviors, including synchronization and instabilities. V ...

EPFL2023

A semi-supervised algorithm for improving the consistency of crowdsourced datasets: The COVID-19 case study on respiratory disorder classification

David Atienza Alonso, Lara Orlandic, Tomas Teijeiro Campo

Background and Objective: Cough audio signal classification is a potentially useful tool in screening for respiratory disorders, such as COVID-19. Since it is dangerous to collect data from patients with contagious diseases, many research teams have turned ...

2023