Concept
Ruby
Publications associées (72)
Towards General-Purpose Decentralized Computing with Permissionless Extensibility
Smart contracts have emerged as the most promising foundations for applications of the blockchain technology. Even though smart contracts are expected to serve as the backbone of the next-generation web, they have several limitations that hinder their wide ...
EPFL2024Capturing Types
Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták
Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC
New York2023Scalable 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 ...
EPFL2023Fast in vivo assay of creatine kinase activity in the human brain by P-31 magnetic resonance fingerprinting
Lijing Xin, Daniel Wenz, Mark Stephan Widmaier, Songi Lim
A new and efficient magnetisation transfer P-31 magnetic resonance fingerprinting (MT-P-31-MRF) approach is introduced to measure the creatine kinase metabolic rate kCK between phosphocreatine (PCr) and adenosine triphosphate (ATP) i ...
WILEY2023Implementation of the INTERNODES method for contact
This semester project deals with the implementation of the unpreconditioned linear direct solve in C++ as a part of the FEM library Akantu [4] of the Computational Solid Mechanics Laboratory (LSMS) at EPFL. Based on the reference code, a Python re-implemen ...
2022Matchertext: Towards Verbatim Interlanguage Embedding
Embedding text in one language within text of another is commonplace for numerous purposes, but usually requires tedious and error-prone “escaping” transformations on the embedded string. We propose a simple cross-language syntactic discipline, matchertext ...
2022Virtual ADTs for Portable Metaprogramming
Martin Odersky, Nicolas Alexander Stucki
Scala 3 provides a metaprogramming interface that represents the abstract syntax tree definitions using algebraic data types. To allow the compiler to freely evolve without breaking the metaprogramming interface, we present virtual algebraic data types (or ...
ASSOC COMPUTING MACHINERY2021Trust as a Programming Primitive
Programming has changed; programming languages have not.Modern software embraced reusable software components, i.e., public libraries, and runs in the cloud, on machines that co-locate applications from various origins.This new programming paradigm leads t ...
EPFL2021Semantics-preserving inlining for metaprogramming
Martin Odersky, Sébastien Jean R Doeraene, Nicolas Alexander Stucki
Inlining is used in many different ways in programming languages: some languages use it as a compiler-directive solely for optimization, some use it as a metaprogramming feature, and others lay their design in-between. This paper presents inlining through ...
2020Numerical simulation of a layered elastic system using the boundaty element method
The aim of this project is to implement a boundary element method program in order to solve the soil mechanics problem of a two-layered soil subject to a contact on his top surface. For this, I use Python programming language and follow the fictitious elem ...
2020