Publications related to High-level programming language

Formal Autograding in a Classroom (Experience Report)

Viktor Kuncak, Mario Bucev, Dragana Milovancevic, Samuel Chassot

We report our experience in enhancing automated grading in a functional programming course using formal verification. In our approach, we deploy a verifier for Scala programs to check equivalences between student submissions and reference solutions. Conseq ...

2024

Formal Foundations of Capture Tracking

Aleksander Slawomir Boruch-Gruszecki

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

EPFL2024

RE:SLAB — a load bearing system for open-ended component reuse in building structures

Corentin Jean Dominique Fivet, Jan Friedrich Georg Brütting, Dario Redaelli, Alex-Manuel Muresan, Edisson Xavier Estrella Arcos

The construction industry plays a major role in the high levels of greenhouse gas emissions, resource consumption, and waste generation observed nowadays. Key to the circular economy, structural component reuse arises as a promising solution to divert cons ...

2024

Architecture and Abstraction

Pier Vittorio Aureli

In this theoretical study of abstraction in architecture—the first of its kind—Pier Vittorio Aureli argues for a reconsideration of abstraction, its meanings, and its sources. Although architects have typically interpreted abstraction in formal terms—the p ...

The MIT Press2023

Dynamic Linkers Are the Narrow Waist of Operating Systems

Adrien Ghosn, Charly Nicolas Lucien Castes

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Association for Computing Machinery2023

Object-oriented modelling of advanced computer cooling solutions

David Atienza Alonso, Federico Terraneo

Modern computing systems are so energy- intensive to make efficient cooling vital for their operation. This is giving rise to a variety of innovative cooling solutions based on a mix of traditional and new techniques. The design and engineering of these so ...

Elsevier2023

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

SPRINGER2023

The splay-list: a distribution-adaptive concurrent skip-list

Amirkeivan Mohtashami, Dan Alistarh

The design and implementation of efficient concurrent data structures has seen significant attention. However, most of this work has focused on concurrent data structures providing good worst-case guarantees, although, in real workloads, objects are often ...

SPRINGER2023

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.

High-level programming language

Formal Autograding in a Classroom (Experience Report)

Formal Foundations of Capture Tracking

RE:SLAB — a load bearing system for open-ended component reuse in building structures

Architecture and Abstraction

Dynamic Linkers Are the Narrow Waist of Operating Systems

Object-oriented modelling of advanced computer cooling solutions

SiliFish: A desktop application to model swimming behavior in developing zebrafish (Danio rerio)

Design Space Exploration for Partitioning Dataflow Program on CPU-GPU Heterogeneous System

The splay-list: a distribution-adaptive concurrent skip-list

Power Transformer Fault Diagnosis Using Neural Network Optimization Techniques

Graph Chatbot

Chat with Graph Search

Power Transformer Fault Diagnosis Using Neural Network Optimization Techniques

Formal Foundations of Capture Tracking

Architecture and Abstraction

Object-oriented modelling of advanced computer cooling solutions

Dynamic Linkers Are the Narrow Waist of Operating Systems

Formal Autograding in a Classroom (Experience Report)

RE:SLAB — a load bearing system for open-ended component reuse in building structures

SiliFish: A desktop application to model swimming behavior in developing zebrafish (Danio rerio)

Design Space Exploration for Partitioning Dataflow Program on CPU-GPU Heterogeneous System

The splay-list: a distribution-adaptive concurrent skip-list