Publications associées à Standard ML

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

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

On the advantages of P2P ML on mobile devices

Rachid Guerraoui, Alexandre David Olivier Maurer

Many fields make use nowadays of machine learning (ML) enhanced applications for cost optimization, scheduling or forecasting, in- cluding the energy sector. However, these very ML algorithms consume a significant amount of energy, sometimes going against ...

ACM2022

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

Yichen Xu, Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic class hierarchies ...

New York2022

GARFIELD: System Support for Byzantine Machine Learning (Regular Paper)

Rachid Guerraoui, Sébastien Louis Alexandre Rouault, Arsany Hany Abdelmessih Guirguis

We present GARFIELD, a library to transparently make machine learning (ML) applications, initially built with popular (but fragile) frameworks, e.g., TensorFlow and PyTorch, Byzantine–resilient. GARFIELD relies on a novel object–oriented design, reducing t ...

IEEE2021

Fast screening of covariates in population models empowered by machine learning

Jan Sickmann Hesthaven, Nadia Terranova

One of the objectives of Pharmacometry (PMX) population modeling is the identification of significant and clinically relevant relationships between parameters and covariates. Here, we demonstrate how this complex selection task could benefit from supervise ...

2021

Ductility reduction factor formulations for seismic design of RC wall and frame structures

Katrin Beyer, Matteo Zerbin

Seismic design of standard structures is typically founded on a force-based design approach. Over the years this approach has proven robust and easily applicable by design engineers and - in combination with capacity design principles - it provides a good ...

ELSEVIER SCI LTD2019

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Viktor Kuncak, Ravichandhran Kandhadai Madhavan, Sumith Kulal

We present a new approach for specifying and verifying resource utilization of higher-order functional programs that use lazy evaluation and memoization. In our approach, users can specify the desired resource bound as templates with numerical holes e.g. a ...

Assoc Computing Machinery2017

Termination of Open Higher-Order Programs

Viktor Kuncak, Nicolas Charles Yves Voirol, Ravichandhran Kandhadai Madhavan

We study the problem of proving termination of open, higher-order programs with recursive functions and datatypes. We identify a new point in the design space of solutions, with an appealing trade-off between simplicity of specification, modularity, and am ...

2017

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.

Standard ML

Advancing first principle-based molecular dynamics of biological systems with machine learning

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

On the advantages of P2P ML on mobile devices

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

GARFIELD: System Support for Byzantine Machine Learning (Regular Paper)

Fast screening of covariates in population models empowered by machine learning

Learning and leveraging shared domain semantics to counteract visual domain shifts

Ductility reduction factor formulations for seismic design of RC wall and frame structures

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Termination of Open Higher-Order Programs

Graph Chatbot

Chattez avec Graph Search

On the advantages of P2P ML on mobile devices

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

Advancing first principle-based molecular dynamics of biological systems with machine learning

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

GARFIELD: System Support for Byzantine Machine Learning (Regular Paper)

Fast screening of covariates in population models empowered by machine learning

Learning and leveraging shared domain semantics to counteract visual domain shifts

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Ductility reduction factor formulations for seismic design of RC wall and frame structures

Termination of Open Higher-Order Programs