Concept
Object-oriented programming
Related publications (32)
Degrees of Separation: A Flexible Type System for Safe Concurrency
Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki
Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...
2024Match Normalization: Learning-Based Point Cloud Registration for 6D Object Pose Estimation in the Real World
In this work, we tackle the task of estimating the 6D pose of an object from point cloud data. While recent learning-based approaches have shown remarkable success on synthetic datasets, we have observed them to fail in the presence of real-world data. We ...
Ieee Computer Soc2024Mitigating Object Dependencies: Improving Point Cloud Self-Supervised Learning through Object Exchange
Sabine Süsstrunk, Mathieu Salzmann, Tong Zhang, Yi Wu
In the realm of point cloud scene understanding, particularly in indoor scenes, objects are arranged following human habits, resulting in objects of certain semantics being closely positioned and displaying notable inter-object correlations. This can creat ...
2024Wave-momentum shaping for moving objects in heterogeneous and dynamic media
Romain Christophe Rémy Fleury, Bakhtiyar Orazbayev, Matthieu Francis Malléjac, Stefan Rotter
Light and sound waves can move objects through the transfer of linear or angular momentum, which has led to the development of optical and acoustic tweezers, with applications ranging from biomedical engineering to quantum optics. Although impressive manip ...
2024Formal Foundations of Capture Tracking
Aleksander Slawomir Boruch-Gruszecki
Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...
EPFL2024