On algebraic array theories

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.

In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language. Our system is based on a dependently-typed language and an algorithmic type checking procedure which ensures total correctness. We rely on SMT solve ...

Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library. In this paper, we present Pilatus, a polymorphic iterative linear algebra la ...

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

The insertion of an InGaN underlayer (UL) is known to strongly improve the performance of InGaN/GaN quantum well (QW) based blue light emitting diodes (LEDs). However, the actual physical mechanism responsible for it is still unclear. We thus conduct a sys ...

As of today, programming has never been so accessible. Yet, it remains a challenge for end-users: students, non-technical employees, experts in their domains outside of computer science, and so on. With its forecast potential for solving problems by only o ...

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 on which to build data-centric distributed systems. A key id ...

Statically typed languages verify programs at compile-time. As a result many programming mistakes are detected at an early stage of development. A programmer does not have to specify types for every single term manually, however. Many programming languages ...

Software development has taken a fundamental turn. Software today has gone from simple, closed programs running on a single machine, to massively open programs, patching together user experiences byway of responses received via hundreds of network requests ...

The first chapter of this thesis, coauthored with Annamaria Conti, seeks to add an economic contribution to the current debate on using university licensing contracts to improve access to medicines in developing countries. We build a simple model in which ...

On algebraic array theories

Chattez avec Graph Search

Verified Functional Programming

Finally, a Polymorphic Linear Algebra Language

Scaling Functional Synthesis and Repair

Burying non-radiative defects in InGaN underlayer to increase InGaN/GaN quantum well efficiency

Interactive Programming by Example

Function Passing: A Model for Typed, Distributed Functional Programming

Decrypting Local Type Inference

Language Support for Distributed Functional Programming

Three essays on access to knowledge