Write a Blog >>
ECOOP 2021
Mon 12 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021

0 results

People (1 results)
Viktor Kunčak

Viktor Kunčak

… …

Events (10 results)

Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability

ECOOP Research Papers People: Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue

… by reasoning about all the possible value flows in the program conservatively … only some but not all the value flows in the program heuristically. In this paper … its entry to its exit along all the possible value flows established by its …

Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types

ECOOP Research Papers People: Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala

… and explicate their values at all call-sites. We introduce Implicit Refinement …

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language

ECOOP Research Papers People: Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

… throughout the software system design guarantees the correctness of all communication …

On the Monitorability of Session Types, in Theory and Practice

ECOOP Research Papers People: Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

all ill-typed processes can be flagged by a monitor). On the practical side, we …

Attending Information (1 results)

Equity, Diversity and Inclusion

… environment for all.

We expect all participants in ACM activities to abide by this policy in all venues, including ancillary events and unofficial social …/policy-against-discrimination-and-harassment.

All participants will have to agree …

Tracks (2 results)

ECOOP Research Papers

… , or an archive of code or raw data. All supplementary material must be anonymized … not be appropriate for all papers (e.g., a Brave New Idea paper), and it is perfectly … route.

Authors of all accepted Journal First papers will be invited to submit …

ECOOP Artifacts

… under important dates. We will respond to all self-nomination approximately two … that significantly exceeds minimal functionality. That is, they have all the qualities … that:

  • Contain all dependencies (Linux container / VM)
  • Have few setup steps
  • Have …
General (2 results)

ECOOP 2021 Homepage

… ECOOP 2021 ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages …

Schedule Overview

… …