Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Late binding

Publications associées (10)

Combination of dielectrophoretic and hydrodynamic traps for the controlled contact between cells or beads and application to adhesion assays

Clémentine Sophie Sarah Lipp

Multicellular organisms require very well organized and finely balanced cell-cell communication, adhesion and coordination to ensure the organisms homeostasis. These functions rely on specialized receptors placed at the cells membrane whose binding to thei ...

EPFL2023

Initialization patterns in Dotty

Martin Odersky, Fengyun Liu

Safe object initialization is important to avoid a category of runtime errors in programming languages. In this paper, we provide a case study of the initialization patterns on the Dotty compiler. In particular, we find that calling dynamic-dispatching met ...

2018

Design and implementation of an optimizing type-centric compiler for a high-level language

Dmytro Petrashko

Production compilers for programming languages face multiple requirements. They should be correct, as we rely on them to produce code. They should be fast, in order to provide a good developer experience. They should also be easy to maintain and evolve. Th ...

EPFL2017

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

Deductive Synthesis and Repair

Etienne Kneuss

In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...

EPFL2016

Automating Ad hoc Data Representation Transformations

Martin Odersky, Vlad Ureche

To maximize run-time performance, programmers often specialize their code by hand, replacing library collections and containers by custom objects in which data is restructured for efficient access. However, changing the data representation is a tedious and ...

Assoc Computing Machinery2015

Method for multi-objective quality-driven service selection

Boi Faltings, Immanuel Trummer

This invention relates to the field of multi-objective workflow optimization. Certain exemplary embodiments of the invention are applicable in cases where workflow descriptions contain choice variables relating for instance to the selection of a specific s ...

2013

Effect Analysis for Programs with Callbacks

Viktor Kuncak, Philippe Paul Henri Suter, Etienne Kneuss

We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...

Springer Berlin Heidelberg2013

Decremental state space relaxation strategies and initialization heuristics for solving the orienteering problem with time windows with dynamic programming

Matteo Salani

We present an exact optimization algorithm for the Orienteering Problem with Time Windows (OPTW). The algorithm is based on bi-directional and bounded dynamic programming with decremental state space relaxation. We compare different strategies proposed in ...

2009

Motion, not masking, provides the medium for feature attribution

Michael Herzog

Understanding the dynamics of how separate features combine to form holistic object representations is a central problem in visual cognition. Feature attribution (also known as feature transposition and feature inheritance) refers to the later of two stimu ...

Wiley-Blackwell2008