research
∙
09/06/2023
Reference Capabilities for Flexible Memory Management: Extended Version
Verona is a concurrent object-oriented programming language that organis...
share
research
∙
05/02/2022
Rusty Links in Local Chains
Rust successfully applies ownership types to control memory allocation. ...
research
∙
09/15/2021
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Dynamic languages like Erlang, Clojure, JavaScript, and E adopted data-r...
research
∙
07/20/2020
Jupyter Notebooks on GitHub: Characteristics and Code Clones
Jupyter notebooks have emerged as a standard tool for data science progr...
research
∙
09/03/2019
Towards Gradual Checking of Reference Capabilities
Concurrent and parallel programming is difficult due to the presence of ...
research
∙
06/08/2019
Mastery Learning-Like Teaching with Achievements
This paper describes the design of a second-year, 20 ECTS credit course ...
research
∙
05/31/2019
Reference Capabilities for Safe Parallel Array Programming
The array is a fundamental data structure that provides an efficient way...
research
∙
01/23/2019
Safely Abstracting Memory Layouts
Modern architectures require applications to make effective use of cache...
research
∙
07/26/2018