Publication

Lightweight Modular Staging and Embedded Compilers : Abstraction without Regret for High-Level High-Performance Programming

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Lightweight Modular Staging and Embedded Compilers : Abstraction without Regret for High-Level High-Performance Programming

Chat with Graph Search

Mspo: a Machine Learning Hyperparameter Optimization Method for Enhanced Breast Cancer Image Classification

Automated Formal Verification of Software Network Functions

Eflop: a Sparsity-aware Metric for Evaluating Computational Cost in Spiking and Non-spiking Neural Networks

The autism susceptibility kinase, TAOK2, phosphorylates eEF2 and modulates translation

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

Interact with Earth Observation Images using AI: Transparent Methods and Evaluation for Visual Question Answering

A phase transition between positional and semantic learning in a solvable model of dot-product attention

Formal Foundations of Capture Tracking

Fair real-time control of energy storage systems in active distribution networks in the presence of uncertainties

Domain shift, domain adaptation, and generalization: A focus on MRI

Machine-learning-empowered FDTD/FEM simulations for predictive solar energy absorption in plasmonic metamaterial nanocavity arrays

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

Scalable Metaprogramming in Scala 3

Posterior-Based Analysis of Spatio-Temporal Features for Sign Language Assessment

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

OpenMM–MiMiC Interface for Efficient and Flexible Multiscale Simulations

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

Self-supervised and few-shot learning for robust bioaerosol monitoring

Dense Image-based Predictions for Comics Analysis

Foundations of a New Learning Paradigm in AI Grounded in the Principles of Evolutionary Developmental Biology