Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
Events (17 results)

Ubiquitous Omniscient Debugging

REBASE When: Sun 11 Jul 2021 11:00 - 13:00 People: Robert O'Callahan

… it all work for real developers of real applications. In fact, this has actually … closer to all developers having access to omniscient debugging at all times. …

Molding Knowledge

REBASE When: Sun 11 Jul 2021 13:00 - 15:00 People: Tudor Gîrba

… of transforming the act of constructing and relating to knowledge in all its …

[Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages

COP When: Mon 12 Jul 2021 16:30 - 17:00 People: Achiya Elyasaf, Arnon Sturm

… Context-aware systems keep on emerging in all of our daily activities. To cope with this new situation, programming languages were extended to support the notion of context. Although context-oriented programming languages exist for over 15 …

Practical Static Analysis and Bug Finding

Discussions with Experts When: Thu 15 Jul 2021 20:20 - 21:00 People: Murali Krishna Ramanathan, Michael Pradel

… ? * Is there any hope that these tools will ever find a significant percentage of all

Behavioural Separation with Parallel Usages

FTfJP When: Tue 13 Jul 2021 17:50 - 18:20 People: Iaroslav Golovanov, Hans Hüttel, Mathias Steen Jakobsen, Mikkel Klinke Kettunen

… systems for Mungo have all had a linearity constraint on objects. We present …

The Strange and Wondrous Life of Functions in Ř

ICOOOLPS When: Tue 13 Jul 2021 16:00 - 16:20 People: Jan Ječmen, Olivier Flückiger, Sebastián Krynski, Jan Vitek

… constructs – all of those are function calls.

To call a function, one first needs … are accessible through reflection.

In our work on Ř we need to deal with all of these. We strip away all of the fat that surrounds function calls and only …

Non-Intrusive Migration from Lazy to Eager Evaluation

ICOOOLPS When: Tue 13 Jul 2021 16:20 - 16:40 People: Aviral Goel, Jan Vitek

… ; all other expressions are evaluated eagerly. Most built-in functions are strict …

ECOOP Test of Time Award

ECOOP Keynotes When: Sat 17 Jul 2021 08:00 - 08:40Fri 16 Jul 2021 18:20 - 19:00 People: Gregor Kiczales

… The AspectJ project was tasked with achieving real-world impact for aspect-oriented programming. That expectation drove our decision making in all facets of the project – goal setting, team building, language design, implementation …

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

ECOOP Technical Papers When: Fri 16 Jul 2021 03:00 - 03:20Fri 16 Jul 2021 10:00 - 10:20 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 Technical Papers When: Wed 14 Jul 2021 18:30 - 18:50Thu 15 Jul 2021 02:00 - 02:20 People: Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala

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

On the Monitorability of Session Types, in Theory and Practice

ECOOP Technical Papers When: Thu 15 Jul 2021 19:40 - 20:00Sat 17 Jul 2021 09:30 - 09:50 People: Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

… flag ill-typed processes) and completeness (i.e., whether all ill-typed …

A Dependently Typed Calculus with Polymorphic Subtyping

ECOOP Technical Papers When: Wed 14 Jul 2021 20:20 - 20:40Thu 15 Jul 2021 10:10 - 10:30 People: Mingqi Xue, Bruno C. d. S. Oliveira

… and transitivity of unified subtyping.

λ∀I and all corresponding proofs …

Type-Directed Operational Semantics for Gradual Typing

ECOOP Technical Papers When: Thu 15 Jul 2021 01:40 - 02:00Thu 15 Jul 2021 09:10 - 09:30 People: Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang

… with a gradual guarantee. All the results have been mechanically formalized …

Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers

ECOOP Technical Papers When: Wed 14 Jul 2021 18:50 - 19:10Fri 16 Jul 2021 10:40 - 11:00 People: Hendrik van Antwerpen, Eelco Visser

… type checker needs to ensure that units have defined all relevant names before …

Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems

ECOOP Technical Papers When: Wed 14 Jul 2021 20:00 - 20:20Thu 15 Jul 2021 10:50 - 11:10 People: Jan Bessai, George Heineman, Boris Düdder

… Software evolution is an essential challenge for all software engineers, typically addressed solely using code versioning systems and language-specific code analysis tools. Most versioning systems view the evolution of a system …

Dealing with Variability in API Misuse Specification

ECOOP Technical Papers When: Sat 17 Jul 2021 02:10 - 02:30Fri 16 Jul 2021 19:40 - 20:00 People: Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini

… that MetaCrySL can model all forms of variability we identified and drastically …

Differential Privacy for Coverage Analysis of Software Traces

ECOOP Technical Papers When: Sat 17 Jul 2021 01:10 - 01:30Fri 16 Jul 2021 19:20 - 19:40 People: Yu Hao, Sufian Latif, Hailong Zhang, Raef Bassily, Atanas Rountev

all users, the analysis server computes, for each trace, an estimate of how …