Concept

Trait (programmation)

Publications associées (21)

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

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

Mathias Josef Payer, Duo Xu

Analyzing the security of closed source binaries is currently impractical for end-users, or even developers who rely on third-party libraries. Such analysis relies on automatic vulnerability discovery techniques, most notably fuzzing with sanitizers enable ...

IEEE COMPUTER SOC2020

Contrasting processes drive alpha and beta taxonomic, functional and phylogenetic diversity of orthopteran communities in grasslands

François Gillet, Bertrand Fournier

Taxonomic, functional and phylogenetic diversities can respond differently to biotic and abiotic filters. However, biodiversity management tends to focus on a single index, generally taxonomic diversity, assuming a strong positive correlation among biodive ...

Elsevier Science Bv2017

Iterative image subset processing for image reconstruction

Paul Hurley, Matthieu Martin Jean-André Simeoni, Giovanni Cherubini, Sanaz Kazemi

The present invention is notably directed to computer-implemented methods and systems for recovering an image. Present methods comprise: accessing signal data representing signals; identifying subsets of points arranged so as to span a region of interest a ...

2017

A Generic Algorithm for Checking Exhaustivity of Pattern Matching

Fengyun Liu

Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...

Assoc Computing Machinery2016

A generic algorithm for checking exhaustivity of pattern matching

Fengyun Liu

2016

Structural to functional synaptic conversion

Henry Markram, Felix Schürmann, Sean Lewis Hill, Eilif Benjamin Muller, Michael Reimann, James Gonzalo King

Computer-implemented methods, software, and systems for determining functional synapses from given structural touches between cells in a neuronal circuit are described. One computer-implemented method for determining functional synapses from predetermined ...

Technology Transfer Office EPFL2015

Isolates, channels, and event streams for composable distributed programming

Martin Odersky, Aleksandar Prokopec

The actor model has been a model of choice for building reliable distributed systems. On one hand, it ensures that message-processing is serialized within each actor, preserving the familiar sequential programming model. On the other hand, programs written ...

ACM2015

Distributor of neurons in a neocortical column

Henry Markram, Felix Schürmann, Georges Khazen, Martin Telefont

Computer-implemented methods, software, and systems for determining a distribution of neuronal cells across a portion of a brain are described. One computer-implemented method for determining a target distribution of one or more neuronal cells across a por ...

2014

Dependent Object Types

Martin Odersky, Nada Amin

We propose a new type-theoretic foundation of Scala and languages like it: the Dependent Object Types (DOT) calculus. DOT models Scala’s path-dependent types, abstract type members and its mixture of nominal and structural typing through the use of reﬁneme ...

2012

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search