ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria

This program is tentative and subject to change.

Fri 20 Sep 2024 16:00 - 16:30 at EI 2 Pichelmayer - FTfJP Session 3

We propose an imperative Java-like calculus where declared variables can be annotated by coeffects specifying constraints on their use, e.g., affinity or privacy levels. Coeffects are heterogeneous, in the sense that different kinds of coeffects can be used in the same program. The paper extends previous work by the authors in which a functional core of a Java-like calculus was considered. Java annotations are used to identify classes implementing coeffects and coeffects decorating variable declarations. Moreover, a prototype implementation of the type and coeffect checker is given.

This program is tentative and subject to change.

Fri 20 Sep

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

15:30 - 17:30
FTfJP Session 3FTfJP at EI 2 Pichelmayer
15:30
30m
Talk
Disjoint Polymorphism with Intersection and Union Types
FTfJP
Baber Rehman University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong
16:00
30m
Talk
Coeffects for MiniJava: Cf-Mj
FTfJP
Paola Giannini University of Eastern Piedmont, Giulio Duso University of Eastern Piedmont
16:30
30m
Talk
Dafny vs. Dala: Experience with Mechanising Language Design
FTfJP
James Noble Independent. Wellington, NZ, Julian Mackay Victoria University of Wellington, Tobias Wrigstad Uppsala University, Andrew Fawcett Victoria University of Wellington, Michael Homer Victoria University of Wellington
17:00
30m
Talk
Incrementalizing Polynomial Functors
FTfJP
Timon Böhler Technical University of Darmstadt, David Richter Technical University of Darmstadt, Mira Mezini TU Darmstadt