Publications associées à Union type

MultiModN- Multimodal, Multi-Task, Interpretable Modular Networks

Martin Jaggi, Mary-Anne Hartley, Vinitra Swamy, Jibril Albachir Frej, Thierry Bossy, Thijs Vogels, Malika Satayeva

Predicting multiple real-world tasks in a single model often requires a particularly diverse feature space. Multimodal (MM) models aim to extract the synergistic predictive potential of multiple data types to create a shared feature space with aligned sema ...

2023

Type-Level Programming with Match Types

Martin Odersky, Olivier Eric Paul Blanvillain

Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents match types ...

ASSOC COMPUTING MACHINERY2022

Type-Level Programming with Match Types

Martin Odersky, Olivier Eric Paul Blanvillain, Jonathan Immanuel Brachthäuser

2021

Preventing Use-After-Free Attacks with Fast Forward Allocation

Sanidhya Kashyap, Jungwon Lim

Memory-unsafe languages are widely used to implement critical systems like kernels and browsers, leading to thousands of memory safety issues every year. A use-after-free bug is a temporal memory error where the program accidentally visits a freed memory l ...

USENIX ASSOC2021

NrOS: Effective Replication and Sharing in an Operating System

Sanidhya Kashyap, Ankit Bhardwaj

Writing a correct operating system kernel is notoriously hard. Kernel code requires manual memory management and type-unsafe code and must efficiently handle complex, asynchronous events. In addition, increasing CPU core counts further complicate kernel de ...

USENIX ASSOC2021

Hydrogenation of ZnFe2O4 Flat Films: Effects of the Pre-Annealing Temperature on the Photoanodes Efficiency for Water Oxidation

Kevin Sivula, Charles Roger Jean Lhermitte, Annalisa Polo

The effects induced by post-synthesis hydrogenation on ZnFe2O4 flat films in terms of photoelectrochemical (PEC) performance of photoanodes for water oxidation have been deeply investigated as a function of the pre-annealing temperature of the materials. T ...

2020

A Performance Evaluation of Local Features for Image-Based 3D Reconstruction

Pascal Fua, Bin Fan, Zheng Wang, Xiao Wang

This paper performs a comprehensive and comparative evaluation of the state of the art local features for the task of image based 3D reconstruction. The evaluated local features cover the recently developed ones by using powerful machine learning technique ...

2019

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

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.

Union type

MultiModN- Multimodal, Multi-Task, Interpretable Modular Networks

Gaia Data Release 3 Summary of the variability processing and analysis

Type-Level Programming with Match Types

Type-Level Programming with Match Types

Preventing Use-After-Free Attacks with Fast Forward Allocation

NrOS: Effective Replication and Sharing in an Operating System

Hydrogenation of ZnFe2O4 Flat Films: Effects of the Pre-Annealing Temperature on the Photoanodes Efficiency for Water Oxidation

A Performance Evaluation of Local Features for Image-Based 3D Reconstruction

Higher-Order Subtyping with Type Intervals

A Generic Algorithm for Checking Exhaustivity of Pattern Matching

Graph Chatbot

Chattez avec Graph Search

Gaia Data Release 3 Summary of the variability processing and analysis

MultiModN- Multimodal, Multi-Task, Interpretable Modular Networks

Preventing Use-After-Free Attacks with Fast Forward Allocation

Type-Level Programming with Match Types

Hydrogenation of ZnFe2O4 Flat Films: Effects of the Pre-Annealing Temperature on the Photoanodes Efficiency for Water Oxidation

Type-Level Programming with Match Types

Higher-Order Subtyping with Type Intervals

A Performance Evaluation of Local Features for Image-Based 3D Reconstruction

NrOS: Effective Replication and Sharing in an Operating System

A Generic Algorithm for Checking Exhaustivity of Pattern Matching