Concept
Langage de programmation de quatrième génération
Publications associées (32)
Scalable Metaprogramming in Scala 3
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 fully ...
EPFL2023Data and code associated with the paper 'Mode-Specific Coupling of Nanoparticle-on-Mirror Cavities with Cylindrical Vector Beams'
Christophe Marcel Georges Galland, Valeria Vento, Sachin Suresh Verlekar, Philippe Andreas Rölli
Data and code associated with the following paper: V. Vento et al, Nano Lett. 2023 A thorough explanation of the experiment performed is available there. The name of each sub-folder and file in Maps_data_code.zip indicates the correspondin ...
EPFL Infoscience2023Design Space Exploration for Partitioning Dataflow Program on CPU-GPU Heterogeneous System
Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch
Dataflow programming is a methodology that enables the development of high-level, parametric programs that are independent of the underlying platform. This approach is particularly useful for heterogeneous platforms, as it eliminates the need to rewrite ap ...
SPRINGER2023Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms by Dynamic Network Execution
Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch
The performance of programs executed on heterogeneous parallel platforms largely depends on the design choices regarding how to partition the processing on the various different processing units. In other words, it depends on the assumptions and parameters ...
MDPI2022Proof of Multi-Stage Programming with Generative and Analytical Macros
Martin Odersky, Nicolas Alexander Stucki, Jonathan Immanuel Brachthäuser
In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming extensions for programming languages, like MetaML and BER MetaOCaml, offer strong foundations for code generation but lack equivalent support ...
EPFL2021An 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, Jorge Blanco Alonso, Omar Awile, 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 ...
Springer2020EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Blagovesta Hristova Kostova, Wei Dai
Fully-Homomorphic Encryption (FHE) offers powerful capabilities by enabling secure offloading of both storage and computation, and recent innovations in schemes and implementations have made it all the more attractive. At the same time, FHE is notoriously ...
ASSOC COMPUTING MACHINERY2020A 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 ...
2018Compilation and Code Optimization for Data Analytics
The trade-offs between the use of modern high-level and low-level programming languages in constructing complex software artifacts are well known. High-level languages allow for greater programmer productivity: abstraction and genericity allow for the same ...
EPFL2018Python module for finite rate of innovation (FRI) sampling
Level: BS/MS semester project Description: Sampling signals with finite rate of innovation plays a key in the sucess of continuous domain sparse reconstructions [1], including the direction of arrival estimation (DOA) with a microphone array [2], ...
2017