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

This program is tentative and subject to change.

Fri 16 Jul 2021 19:20 - 19:40 at ECOOP 2 - Parallelism / Runtimes (time band 1) Chair(s): Colin Gordon
Sat 17 Jul 2021 01:40 - 02:00 at ECOOP 1 - Potpourri (time band 2)

In this paper, we introduce a new type system based on linear typing, and show how it can be incorporated in a concurrent programming language to track ownership of promises. By tracking write operations on each promise, the language is able to guarantee exactly one write operation is ever performed on any given promise. This language thus precludes a number of common bugs found in promise-based programs, such as failing to write to a promise and writing to the same promise multiple times. We also present an implementation of the language, complete with an efficient type checking algorithm and high-level programming constructs. This language serves as a safer platform for writing high-level concurrent code.

This program is tentative and subject to change.

Conference Day
Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

19:00 - 20:00
Parallelism / Runtimes (time band 1)ECOOP Technical Papers at ECOOP 2
Chair(s): Colin GordonDrexel University
19:00
20m
Talk
Best-Effort Lazy Evaluation for Python Software Built On APIs
ECOOP Technical Papers
Guoqiang ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University, USA
19:20
20m
Talk
Linear Promises: Towards Safer Concurrent Programming
ECOOP Technical Papers
Ohad RauGeorgia Institute of Technology, Caleb VossGeorgia Institute of Technology, Vivek SarkarGeorgia Institute of Technology
19:40
20m
Talk
Enabling Additional Parallelism in Asynchronous JavaScript Applications
ECOOP Technical Papers
Ellen ArtecaNortheastern University, Frank TipNortheastern University, Max SchaeferGitHub, Inc.

Conference Day
Sat 17 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

01:00 - 02:20
Potpourri (time band 2)ECOOP Technical Papers at ECOOP 1
01:00
20m
Talk
Differential Privacy for Coverage Analysis of Software Traces
ECOOP Technical Papers
Yu HaoOhio State University, Sufian LatifOhio State University, Hailong ZhangFordham University, Raef BassilyOhio State University, Atanas RountevOhio State University
01:20
20m
Talk
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
ECOOP Technical Papers
Xiaodong GuShanghai Jiao Tong University, China, Sunghun KimHong Kong University of Science and Technology, Yo-Sub HanYonsei University, Hongyu ZhangUniversity of Newcastle, Australia
01:40
20m
Talk
Linear Promises: Towards Safer Concurrent Programming
ECOOP Technical Papers
Ohad RauGeorgia Institute of Technology, Caleb VossGeorgia Institute of Technology, Vivek SarkarGeorgia Institute of Technology
02:00
20m
Talk
Dealing with Variability in API Misuse Specification
ECOOP Technical Papers
Rodrigo BonifácioComputer Science Department - University of Brasília, Stefan KrügerIndependent Researcher, Krishna NarasimhanTU Darmstadt, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira MeziniTU Darmstadt, Germany