Concept

Racket (programming language)

Related publications (45)

Type-preserving compilation of (most of) FGJ into DOT

The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is not e ...

2022

Efficient Parsing with Derivatives and Zippers

Romain Edelmann

Parsing is the process that enables a computer system to make sense of raw data. Parsing is common to almost all computer systems: It is involved every time sequential data is read and elaborated into structured data. The theory of parsing usually focuses ...

EPFL2021

Minimum Energy Adaptive Structures – All-In-One Problem Implementation

Gennaro Senatore, Jan Friedrich Georg Brütting, Yafeng Wang

This paper presents new implementations of a design method to obtain minimum energy adaptive structures. The design method was formulated in previous work [1, 2] for reticular structures equipped with sensors (e.g. strain, optical) and linear actuators. Th ...

2019

Computational tools for the fatigue life modeling and prediction of composite materials and structures

Anastasios Vassilopoulos

Structural testing is probably the best and only way to reveal the actual performance of composite laminates, structural components, and complete composite structures under fatigue loading. Nevertheless, the high cost, and the multitude of loading cases a ...

Elsevier2019

Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper)

Christoph Koch, Amir Shaikhha, Vojin Jovanovic

In this paper, we present a framework for generating optimizing compilers for performance-oriented embedded DSLs (EDSLs). This framework provides facilities to automatically generate the boilerplate code required for building DSL compilers on top of the ex ...

ASSOC COMPUTING MACHINERY2019

A Programming Model and Foundation for Lineage-Based Distributed Computation

Philipp Haller

The most successful systems for "big data'' processing have all adopted functional APIs. We present a new programming model we call function passing designed to provide a more principled substrate, or middleware, upon which to build data-centric distribute ...

Cambridge University Press2018

Computational Design of Deployable Auxetic Shells

Mark Pauly, Mina Konakovic Lukovic

We propose an interactive computational design method for deployable auxetic shells. We realize deployable auxetics as triangular linkages that can be actuated with simple expansive mechanisms to assume a desired freeform target shape. The core feature of ...

2018

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they man ...

ACM2017

Hybrid OpenMP/MPI parallelization of the charge deposition step in the global gyrokinetic Particle-In-Cell code ORB5

Laurent Villard, Stephan Brunner, Emmanuel Lanti, Noé Thomas Elie Ohana, Claudio Gheller, Aaron Lewis Scheinberg

Gyrokinetic simulations are computationally extremely demanding due to the high dimensionality of the physical phase space and the interplay between plasma particles and electromagnetic fields. It is thus essential to make full use of the available numeric ...

2017

Cloaking using complementary media in the quasistatic regime

Hoài-Minh Nguyên

Cloaking using complementary media was suggested by Lai et al. in [8]. The study of this problem faces two difficulties. Firstly, this problem is unstable since the equations describing the phenomenon have sign changing coefficients, hence the ellipticity ...

2016

Graph Chatbot

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.