Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effective form of subtyping. While the theory of type qualifiers is well underst ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Advances in computational capabilities and large volumes of experimental data have established computer simulations of brain tissue models as an important pillar in modern neuroscience. Alongside, a variety of domain specific languages (DSLs) have been dev ...

Blood pressure (BP) is a crucial indicator of cardiovascular health. Hypertension is a common life-threatening condition and a key factor of cardiovascular diseases (CVDs). Identifying abnormal BP fluctuations can allow for early detection and management o ...

Embroidery is a long-standing and high-quality approach to making logos and images on textiles. Nowadays, it can also be performed via automated machines that weave threads with high spatial accuracy. A characteristic feature of the appearance of the threa ...

Leukocyte count is associated with coronary artery disease (CAD) events in the general population. Here we show that leukocytes are independently associated with CAD events in people with HIV in Switzerland, after adjusting for traditional and HIVrelated r ...

Structure determination of amorphous materials remains challenging, owing to the disorder inherent to these materials. Nuclear magnetic resonance (NMR) powder crystallography is a powerful method to determine the structure of molecular solids, but disorder ...

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Chattez avec Graph Search

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

Degrees of Separation: A Flexible Type System for Safe Concurrency

Osmosis-driven stiffening of structured hydrogels

Automated Formal Verification of Software Network Functions

Formal Foundations of Capture Tracking

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

Qualifying System F<: Some Terms and Conditions May Apply

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

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

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

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

Scalable Metaprogramming in Scala 3

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

Reduced order models for coupled systems

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

MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL

Data-driven approaches for non-invasive cuffless blood pressure monitoring

Directionality-Aware Design of Embroidery Patterns

Leukocyte Count and Coronary Artery Disease Events in People With Human Immunodeficiency Virus: A Longitudinal Study

Atomic-level structure determination of amorphous molecular solids by NMR