News

News related to DISCO research, members, and more!

2025
πŸ‘€ October 1st, 2025

Thomas Vandermotten has joined the lab!

πŸ“– June 25th, 2025

New publication: Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession

πŸ”¬ May 21st, 2025

FWO has accepted to fund the SODISA project πŸ₯³

πŸ“– May 1st, 2025

New publication: Concurrency Contracts for Designing Highly Available Replicated Data Types

πŸ“– April 2nd, 2025

New publication: ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs

πŸ“– February 15th, 2025

New publication: The Art, Science, and Engineering of Programming Journal. Volume 10 Issue 1

2024
πŸ“– October 15th, 2024

New publication: The Art, Science, and Engineering of Programming Journal. Volume 9 Issue 1

πŸ‘€ October 1st, 2024

Jonas Sys has joined the lab!

πŸ“– September 13th, 2024

New publication: Language-Agnostic Debugging for Microcontrollers

πŸ“– September 13th, 2024

New publication: DEBT 2024: Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques

πŸŽ“ August 23rd, 2024

Jim Bauwens has successfully defended his PhD!

πŸ“– March 11th, 2024

New publication: BoaSpect: An Expressive Instrumentation Platform for JavaScript

πŸŽ“ January 26th, 2024

Isaac Nyabisa Oteyo has successfully defended his PhD!

2023
πŸ”¬ December 12th, 2023

FWO has accepted to fund the EVEREST project πŸ₯³

πŸ“– September 12th, 2023

New publication: Programming β€˜23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming

🏫 September 11th, 2023

DISCO will host DARE, the first Summer School on Distributed and Replicated Environments!

πŸ“– July 17th, 2023

New publication: DEBT 2023: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques

πŸ“– July 1st, 2023

New publication: Nested Pure Operation-Based CRDTs

πŸ“– June 27th, 2023

New publication: Easing Construction of Smart Agriculture Applications Using Low Code Development Tools

πŸ“– May 8th, 2023

New publication: Towards improved collaborative text editing CRDTs by using Natural Language Processing

πŸ“– May 8th, 2023

New publication: PaPoC β€˜23: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data

πŸ“– March 21st, 2023

New publication: Brigadier: A Datalog-based IAST framework for Node.js Applications

πŸ“– January 1st, 2023

New publication: VeriFx: Correct Replicated Data Types for the Masses

πŸ“– January 1st, 2023

New publication: Out-of-Things Debugging: A Live Debugging Approach for Internet of Things

2022
πŸ“– December 6th, 2022

New publication: Programming β€˜22: Companion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming

πŸ“– September 22nd, 2022

New publication: Event-Based Out-of-Place Debugging

πŸ“– January 1st, 2022

New publication: EDWARD: Event-Based Out-of-place Debugging

2021
πŸ“– October 17th, 2021

New publication: WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applications

πŸ“– October 15th, 2021

New publication: ECROs: building global scale systems from sequential code

πŸ“– October 15th, 2021

New publication: ECROs: building global scale systems from sequential code

πŸ“– October 1st, 2021

New publication: What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs

πŸ“– September 13th, 2021

New publication: Building Smart Agriculture Applications Using Low-Code Tools: The Case for DisCoPar

πŸ“– August 21st, 2021

New publication: Programming β€˜21: Companion Proceedings of the 5th International Conference on the Art, Science, and Engineering of Programming

πŸ“– July 15th, 2021

New publication: Deriving Static Security Testing from Runtime Security Protection for Web Applications

πŸ“– May 24th, 2021

New publication: A Survey on Mobile Applications for Smart Agriculture: Making Use of Mobile Software in Modern Farming

πŸ“– April 1st, 2021

New publication: Improving the Reactivity of Pure Operation-Based CRDTs

πŸ“– March 22nd, 2021

New publication: Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyScript

πŸ“– February 28th, 2021

New publication: Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay

πŸ“– January 1st, 2021

New publication: Practical Online Debugging of Spark-like Applications

2020
πŸ“– November 17th, 2020

New publication: Framework-Aware Debugging with Stack Tailoring

πŸ“– October 1st, 2020

New publication: From Causality to Stability: Understanding and Reducing Meta-Data in CRDTs

πŸ“– October 1st, 2020

New publication: CScript: A Distributed Programming Language for Building Mixed-Consistency Applications

πŸ“– September 1st, 2020

New publication: Two Decades of Live Coding and Debugging of Virtual Machines Through Simulation

πŸ“– August 4th, 2020

New publication: Programming β€˜20: Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming

πŸ“– August 1st, 2020

New publication: A debugging approach for live Big Data applications

πŸ“– April 27th, 2020

New publication: Flec: a versatile programming framework for eventually consistent systems

πŸ“– March 23rd, 2020

New publication: Tamper-proof security mechanism against liar objects in JavaScript applications

πŸ“– January 1st, 2020

New publication: Developing Smart Agriculture Applications: Experiences and Lessons Learnt

2019
πŸ“– October 23rd, 2019

New publication: Asynchronous snapshots of actor systems for latency-sensitive applications

πŸ“– October 22nd, 2019

New publication: Memory efficient CRDTs in dynamic environments

πŸ“– October 20th, 2019

New publication: Squirrel: an extensible distributed key-value store

πŸ“– October 20th, 2019

New publication: Lazy pointer update for low heap compaction pause times

πŸ“– July 10th, 2019

New publication: Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs: (Brave New Idea Paper)

πŸ“– July 1st, 2019

New publication: Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs

πŸ“– May 1st, 2019

New publication: Towards scalable blockchain analysis

πŸ“– March 25th, 2019

New publication: A Generic Replicated Data Type for Strong Eventual Consistency

πŸ“– March 15th, 2019

New publication: GuardiaML: Machine Learning-Assisted Dynamic Information Flow Control

πŸ“– January 1st, 2019

New publication: Squirrel: An Extensible Distributed Key-Value Store


πŸ“– January 1st, 2019

New publication: Putting Order in Strong Eventual Consistency

2018
πŸ“– November 5th, 2018

New publication: Out-of-place debugging: A debugging architecture to reduce debugging interference

πŸ“– November 5th, 2018

New publication: Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs

πŸ“– November 4th, 2018

New publication: Two Decades of Smalltalk VM Development: Live VM development through Simulation Tools

πŸ“– November 1st, 2018

New publication: Practical Information Flow Control for Web Applications

πŸ“– October 23rd, 2018

New publication: Dynamically Processing Agricultural Data from Controlled Legume Sites

πŸ“– September 12th, 2018

New publication: Toward Hybrid Enforcement of Security Policies in JavaScript Applications

πŸ“– September 12th, 2018

New publication: GUARDIA: specification and enforcement of javascript security policies without VM modifications

πŸ“– September 12th, 2018

New publication: Efficient and Deterministic Record & Replay for Actor Languages

πŸ“– April 23rd, 2018

New publication: Constraining the eventual in eventual consistency

πŸ“– January 1st, 2018

New publication: Efficient and Deterministic Record & Replay for Actor Languages

πŸ“– January 1st, 2018

New publication: Dynamically processing agricultural data from controlled legume sites

πŸ“– January 1st, 2018

New publication: A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs

πŸ“– January 1st, 2018

New publication: AmbientJS: A Mobile Cross-Platform Actor Library for Multi-Networked Mobile Applications

πŸ“– January 1st, 2018

New publication: A debugging approach for Big Data applications in Pharo

2017
πŸ“– October 24th, 2017

New publication: A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools

πŸ“– October 23rd, 2017

New publication: A principled approach towards debugging communicating event-loops

πŸ“– September 28th, 2017

New publication: Practical dynamic information flow control for client-side web applications

πŸ“– April 6th, 2017

New publication: An Elixir Library for Programming Concurrent and Distributed Embedded Systems

πŸ“– April 3rd, 2017

New publication: Intentional Join Patterns for Coordinating Large Groups of Heterogenous Actors

πŸ“– February 1st, 2017

New publication: A Study of the Accuracy of Mobile Technology for Measuring Urban Noise Pollution in Large-scale Participatory Sensing Campaigns

πŸ“– January 1st, 2017

New publication: Debugging Cyber-Physical Systems with Pharo: An Experience Report

2016
πŸ“– October 30th, 2016

New publication: Declaratively Specifying Security Policies For Web Applications

πŸ“– July 19th, 2016

New publication: Tierless Reactive Programming for Big Data: Tackling the Storage-Signal Impedance Mismatch

πŸ“– March 18th, 2016

New publication: Linvail: A General-Purpose Platform for Shadow Execution of JavaScript

πŸ“– January 1st, 2016

New publication: Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems

πŸ“– January 1st, 2016

New publication: Special issue on the 3rd and 4th ACM SIGPLAN workshops on programming based on actors, agents, and decentralized control (AGERE! 2013/2014)

πŸ“– January 1st, 2016

New publication: Declaratively Specifying Security Policies For Web Applications

2015
πŸ“– November 1st, 2015

New publication: Coordinating Collaborative Interactions in Web-based Mobile Applications

πŸ“– July 7th, 2015

New publication: Scoping for Reactive Cloud-based Inference Engines

πŸ“– January 1st, 2015

New publication: Serena: Middleware For Real-time Web Applications

πŸ“– January 1st, 2015

New publication: Connect.js: A cross mobile platform actor library for multi-networked mobile applications

2014
πŸ“– November 20th, 2014

New publication: AmbientTalk: programming responsive mobile peer-to-peer applications with actors

πŸ“– November 16th, 2014

New publication: Influence of loudness of noise events on perceived sound quality in urban context

πŸ“– June 1st, 2014

New publication: Programming Mobile Context-aware Applications with TOTAM

πŸ“– April 1st, 2014

New publication: Distributed Debugging for Mobile Networks

πŸ“– January 1st, 2014

New publication: Programming Urban-area Applications by Exploiting Public Transportation

πŸ“– January 1st, 2014

New publication: Orchestration Support for Participatory Sensing Campaigns

πŸ“– January 1st, 2014

New publication: Citizen-Friendly Participatory Campaign Support

2013
πŸ“– October 28th, 2013

New publication: Object-oriented Reactive Programming is Not Reactive Object-oriented Programming

πŸ“– July 7th, 2013

New publication: An Evaluation of Reactive Programming and Promises for Structuring Collaborative Web Applications

πŸ“– May 1st, 2013

New publication: Programming mobile peer-to-peer applications with AmbientTalk

πŸ“– January 1st, 2013

New publication: Using CityGML to deploy smart-city services for urban ecosystems

πŸ“– January 1st, 2013

New publication: Ambient Clouds: Reactive Asynchronous Collections for Mobile Ad-Hoc Network Applications

2012
πŸ“– January 1st, 2012

New publication: Programming Urban-area Applications

πŸ“– January 1st, 2012

New publication: Handling Partial Failures in Mobile Ad hoc Network Applications - From Programming Language Design to Tool Support

2011
πŸ“– June 1st, 2011

New publication: Volatile Sets: Event-driven Collections for Mobile Ad-Hoc Applications

πŸ“– April 24th, 2011

New publication: REME-D: a Reflective, Epidemic Message-Oriented Debugger for Ambient-Oriented Applications

πŸ“– March 21st, 2011

New publication: Enabling Dynamic Group Interactions in Mobile Social Networking Applications

πŸ“– March 1st, 2011

New publication: Network-Aware References for Pervasive Social Applications

πŸ“– January 1st, 2011

New publication: Bringing Scheme Programming to the iPhone - Experience

2010
πŸ“– March 1st, 2010

New publication: Urbiflock: An experiment in Dynamic Group Management in Pervasive Social Applications

πŸ“– March 1st, 2010

New publication: Scripting Mobile Devices with AmbientTalk

πŸ“– February 15th, 2010

New publication: Flikken: Programming a Mobile Game with Context-Aware Tuples

πŸ“– January 1st, 2010

New publication: Context-Aware Tuples for the Ambient

2009
πŸ“– July 1st, 2009

New publication: Resilient Actors: A Runtime Partitioning Model for Pervasive Computing Services

πŸ“– June 28th, 2009

New publication: A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks

πŸ“– June 12th, 2009

New publication: TOTAM: Scoped Tuples for the Ambient

πŸ“– May 1st, 2009

New publication: Mirror-based Reflection in AmbientTalk

2008
πŸ“– July 1st, 2008

New publication: Towards Resilient Partitioning of Pervasive Computing Services

πŸ“– April 1st, 2008

New publication: Towards a Domain-Specific Aspect Language for Leasing in Mobile Ad hoc Networks

2007
πŸ“– October 1st, 2007

New publication: The Message-Oriented Mobility Model

πŸ“– August 1st, 2007

New publication: AmbientTalk/2: Object-oriented Event-driven Programming in Mobile Ad hoc Networks

πŸ“– July 30th, 2007

New publication: Context-Aware Leasing for Mobile Ad hoc Networks

πŸ“– June 22nd, 2007

New publication: Language Support for Leasing in Mobile Ad hoc Networks

πŸ“– January 1st, 2007

New publication: AmbientTalk: Object-oriented Event-driven Programming in Mobile Ad hoc Networks

2006
πŸ“– July 5th, 2006

New publication: Semi-Automatic Garbage Collection for Mobile Networks

πŸ“– July 1st, 2006

New publication: Program Testing Using High-Level Property-Driven Models

πŸ“– January 1st, 2006

New publication: Semi-Automatic Garbage Collection for Mobile Networks

πŸ“– January 1st, 2006

New publication: An Annotation System for Semi-Automatic Garbage Collection

πŸ“– January 1st, 2006

New publication: Ambient References: Addressing Objects in Mobile Networks

πŸ“– January 1st, 2006

New publication: Ambient References: Addressing Objects in Mobile Networks

πŸ“– January 1st, 2006

New publication: Ambient-Oriented Exception Handling