Publications related to Generation of object-oriented programs from CO-OPN specifications

Related publications (29)

Dissipative Kerr soliton generation at 2μm in a silicon nitride microresonator

Camille Sophie Brès, Marco Clementi, Ozan Yakar, Anton Stroganov, Christian André Clément Lafforgue

Chip -scale optical frequency combs enable the generation of highly -coherent pulsed light at gigahertz-level repetition rates, with potential technological impact ranging from telecommunications to sensing and spectroscopy. In combination with techniques ...

Optica Publishing Group2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

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

Lithium tantalate photonic integrated circuits for volume manufacturing

Tobias Kippenberg, Johann Emmeram Riemensberger, Mikhail Churaev, Xinru Ji, Zihan Li, Terence Albert Emile Blésin, Chengli Wang, Junyin Zhang, Xi Wang, Chen Yang, Wil Kao, Alisa Davydova

Electro-optical photonic integrated circuits (PICs) based on lithium niobate (LiNbO3) have demonstrated the vast capabilities of materials with a high Pockels coefficient1,2. They enable linear and high-speed modulators operating at complementary metal–oxi ...

2024

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

Graph generative deep learning models with an application to circuit topologies

Igor Krawczuk

Modern integrated circuits are tiny yet incredibly complex technological artifacts, composed of millions and billions of individual structures working in unison. Managing their complexity and facilitating their design drove part of the co-evolution of mode ...

EPFL2024

Generation of entangled photon pairs from a silicon bichromatic photonic crystal cavity

Matteo Galli, Marco Clementi

Integrated quantum photonics leverages the on-chip generation of nonclassical states of light to realize key functionalities of quantum devices. Typically, the generation of such nonclassical states relies on whispering gallery mode resonators, such as int ...

Aip Publishing2024

HaloTag-Based Tools for Live-Cell Imaging and Elucidation of Organellar Redox Biology

Sarah Emmert

Redox homeostasis is a key factor in maintaining cellular function and health. The main determinant of the intracellular redox potential is ubiquitous glutathione (GSH) together with its oxidized dimer (GSSG). Importantly, both redox equilibrium and GSH ho ...

EPFL2024

Computational conceptual design — typological exploration of spatial truss systems through optimization

Corentin Jean Dominique Fivet, Jonas Warmuth

Exploring a wide range of design options is crucial for every sound conceptual design process. In the conventional structural design workflow, optimization techniques are generally employed to generate well-performing design options. However, focusing only ...

International Association for Shell and Spatial Structures (IASS)2023

Compilation and Design Space Exploration of Dataflow Programs for Heterogeneous CPU-GPU Platforms

Aurélien François Gilbert Bloch

Today's continued increase in demand for processing power, despite the slowdown of Moore's law, has led to an increase in processor count, which has resulted in energy consumption and distribution problems. To address this, there is a growing trend toward ...

EPFL2023

OASIS: Optimisation-based Activity Scheduling with Integrated Simultaneous choice dimensions

Michel Bierlaire, Timothy Michael Hillel, Janody Pougala

Activity-based models offer the potential of a far deeper understanding of daily mobility behaviour than trip-based models. However, activity-based models used both in research and practice have often relied on applying sequential choice models between sub ...

2023

In situ monitoring of femtosecond laser-induced modifications in dielectrics

Olivier Bernard

Over the last decades, the progress made in the generation of laser pulses shorter than a picosecond (10^-12 s) has allowed us to reach extreme optical power intensities exceeding 10^15 W cm^-2. This tremendous power has triggered an abundance of original ...

EPFL2023

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

Privacy-Preserving Machine Learning on Graphs

Sina Sajadmanesh

Graph Neural Networks (GNNs) have emerged as a powerful tool for learning on graphs, demonstrating exceptional performance in various domains. However, as GNNs become increasingly popular, new challenges arise. One of the most pressing is the need to ensur ...

EPFL2023

Resilient drones with morphing wings

Charalampos Vourtsis

Winged aerial robots and Unmanned Aerial Vehicles (UAVs) commonly referred to as winged drones and drones, are increasingly used in a wide range of professional and non-professional applications today, spanning from civilian to military. As a result, they ...

EPFL2023

lifex-ep: a robust and efficient software for cardiac electrophysiology simulations

Alfio Quarteroni, Francesco Regazzoni, Stefano Pagani

Background: Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors ...

BMC2023

CellCharter reveals spatial cell niches associated with tissue remodeling and cell plasticity

Albert Santamaria Martinez, Daniele Tavernari

Tissues are organized in cellular niches, the composition and interactions of which can be investigated using spatial omics technologies. However, systematic analyses of tissue composition are challenged by the scale and diversity of the data. Here we pres ...

Nature Portfolio2023

An Open-Hardware Coarse-Grained Reconfigurable Array for Edge Computing

David Atienza Alonso, Giovanni Ansaloni, José Angel Miranda Calero, Benoît Walter Denkinger, Juan Pablo Sapriza Araujo, Ruben Rodriguez, Rubén Rodríguez Álvarez

In this work, we propose an open-hardware low-power coarse-grained reconfigurable array connected to a lightweight microcontroller and enclosed in an application mapping framework. The latter provides complete support to configure kernels in the reconfigur ...

2023

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

Optimal sizing and siting of energy storage systems considering curtailable photovoltaic generation in power distribution networks

Fabrizio Sossan, Rahul Kumar Gupta

This work proposes a method for optimal planning (sizing and siting) energy storage systems (ESSs) in power distribution grids while considering the option of curtailing photo-voltaic (PV) generation. More specifically, for a given PV generation capacity t ...

2023

Modelling and design of CMOS SPAD sensors for quantum random number generation

Pouyan Keshavarzian

Modern digital connectivity has necessitated the creation of robust methods for securely storing and transferring data. At the heart of all security infrastructure is the random number generator (RNG). While random numbers find use in a variety of applicat ...

EPFL2023