Publication

Safe Initialization of Objects

Related publications (44)

Abstractions for Type-Level Programming

Over the past decade, the Scala community has shown great interest in using type-level programming to obtain additional type safety.Unfortunately, the lack of support from the Scala compiler has been a barrier to the adoption of that technique, notably due ...

EPFL2022

The company town palimpsest: space, life and politics in Dalmine, Italy

Anna Karla De Almeida Milani

This article proposes a reflection on the company towns’ actual conditions, presenting as a case study an up-to-date and articulated reconstruction of the conditions of habitability in Dalmine, Italy. The research strives on the phenomenon of company towns ...

Marsilio2022

Wrist-driven passive grasping: interaction-based trajectory adaption with a compliant anthropomorphic hand

Josephine Anna Eleanor Hughes, Kieran Daniel Gilday

The structure of the human musculo-skeletal systems shows complex passive dynamic properties, critical for adaptive grasping and motions. Through wrist and arm actuation, these passive dynamic properties can be exploited to achieve nuanced and diverse envi ...

IOP Publishing Ltd2021

Probabilistic Tracklet Scoring and Inpainting for Multiple Object Tracking

Mathieu Salzmann, Fatemehsadat Saleh

Despite the recent advances in multiple object tracking (MOT), achieved by joint detection and tracking, dealing with long occlusions remains a challenge. This is due to the fact that such techniques tend to ignore the long-term motion information. In this ...

IEEE COMPUTER SOC2021

A Type-and-Effect System for Object Initialization

Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták

Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...

ASSOC COMPUTING MACHINERY2020

A Type-and-Effect System for Object Initialization

Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták

2020

Safe initialization of objects

Fengyun Liu

The inception of object-oriented programming introduces a category of bugs related to object construction: initialization errors. Every newly created object goes through several initialization states: starting from a state where all fields are uninitialize ...

EPFL2020

, ,

The 3D localisation of an object and the estimation of its properties, such as shape and dimensions, are challenging under varying degrees of transparency and lighting conditions. In this paper, we propose a method for jointly localising container-like obj ...

2020

Scala has been developed as a language that deeply integrates with the Java ecosystem. It offers seamless interoperability with existing Java libraries. Since the Scala compiler targets Java bytecode, Scala programs have access to high-performance runtimes ...

EPFL2020

A Study on More Realistic Room Simulation for Far-Field Keyword Spotting

Eric Bezzam, Robin Scheibler

We investigate the impact of more realistic room simulation for training far-field keyword spotting systems without fine-tuning on in-domain data. To this end, we study the impact of incorporating the following factors in the room impulse response (RIR) ge ...

IEEE2020

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.