Concept

OCaml

Publications associées (52)

Inferring Assembly Objects and Sequences from Demonstrations

Various unsupervised learning algorithms including GMM, Birch, Mean- Shift, K-means and DBSCAN were used to cluster the image and depth sensor data. However, it was not possible to ﬁt the clusters on each objects quite separately in as much as data are too ...

2019

Towards Improved GADT Reasoning in Scala

Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki, Paolo Giosuè Giarrusso

Generalized algebraic data types (GADT) have been notoriously difficult to implement correctly in Scala. Both major Scala compilers, Scalac and Dotty, are currently known to have type soundness holes related to them. In particular, covariant GADTs have exp ...

ASSOC COMPUTING MACHINERY2019

Verified Functional Programming

Nicolas Charles Yves Voirol

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

EPFL2019

The WRB Subunit of the Get3 Receptor is Required for the Correct Integration of its Partner CAML into the ER

Calcium-modulating cyclophilin ligand (CAML), together with Tryptophan rich basic protein (WRB, Get1 in yeast), constitutes the mammalian receptor for the Transmembrane Recognition Complex subunit of 40 kDa (TRC40, Get3 in yeast), a cytosolic ATPase with a ...

2019

Continuation Multilevel Monte Carlo Evolutionary Algorithm for Robust Aerodynamic Shape Design

Fabio Nobile, Pénélope Leyland, Michele Pisaroni

The majority of problems in aircraft production and operation require decisions made in the presence of uncertainty. For this reason, aerodynamic designs obtained with traditional deterministic optimization techniques seeking only optimality in a specific ...

2019

MATHICSE Technical Report : A continuation-multilevel Monte Carlo evolutionary algorithm for robust aerodynamic shape design

Fabio Nobile, Pénélope Leyland, Michele Pisaroni

The majority of problems in aircraft production and operation require decisions made in the presence of uncertainty. For this reason aerodynamic designs obtained with traditional deterministic optimization techniques seeking only optimality in a specific s ...

MATHICSE2018

An Update on Deductive Synthesis and Repair in the Leon Tool

Viktor Kuncak, Etienne Kneuss

We report our progress in scaling deductive synthesis and repair of recursive functional Scala programs in the Leon tool. We describe new techniques, including a more precise mechanism for encoding the space of meaningful candidate programs. Our techniques ...

2017

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

BEAT: An Open-Science Web Platform

Sébastien Marcel, André Anjos, Laurent El Shafey

With the increased interest in computational sciences, machine learning (ML), pattern recognition (PR) and big data, governmental agencies, academia and manufacturers are overwhelmed by the constant influx of new algorithms and techniques promising improve ...

2017

Call Graphs for Languages with Parametric Polymorphism

Martin Odersky, Vlad Ureche, Dmytro Petrashko

The performance of contemporary object oriented languages depends on optimizations such as devirtualization, inlining, and specialization, and these in turn depend on precise call graph analysis. Existing call graph analyses do not take advantage of the in ...

2016

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