ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Tue 7 Jun 2022 11:00 - 11:30 at Elk - ICOOOLPS Talks Chair(s): Saam Barati

Software that interacts with a physical environment must operate with a partial and imprecise knowledge, due to the inaccuracy of its sensors. Belief programming is a programming methodology that addresses this issue. It provides a framework to reason about the possible states of a system given a set of assumptions—or beliefs—about its variables. This technique is, however, prone to state space explosion, as pointed out by its authors. A straightforward implementation based on exhaustive search will run out of memory when assumptions are not sufficiently tight. In this paper, we present a new model to overcome this issue. By using Map Family Decision Diagrams to maintain a compact representation of the possible states of the system, our approach scales to a large number of variables and is yet able to perform safety checks efficiently. We developed a belief programming framework based on that model, outperforming the original implementation by several orders of magnitude.

Tue 7 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
ICOOOLPS TalksICOOOLPS at Elk
Chair(s): Saam Barati Apple
11:00
30m
Short-paper
Belief Programming with Map Family Decision Diagrams
ICOOOLPS
Silvio Fossati University of Geneva, Aurélien Coet University of Geneva, Switzerland, Dimi Racordon University of Geneva, Switzerland
File Attached
11:30
30m
Talk
Compile the Gedackt! Experiments with a Methodology for Dynamic Compilation of Modular Embedded Domain-Specific Languages
ICOOOLPS
Baltasar Trancón Y Widemann Nordakademie, Markus Lepper semantics GmbH
File Attached
12:00
30m
Short-paper
Taming an Interpreter for Threaded Code Generation with a Tracing JIT Compiler
ICOOOLPS
Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
File Attached