News

New publication: JASMaint: Portable Multi-language Taint Analysis for the Web

Thomas Vandermotten has joined the lab!

New publication: WaShadow: Dynamic Analysis Extending a Shadow Runtime for Profit

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

FWO has accepted to fund the SODISA project 🥳

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

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

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

New publication: Ensuring Convergence and Invariants Without Coordination

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

Jonas Sys has joined the lab!

New publication: Language-Agnostic Debugging for Microcontrollers

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

Jim Bauwens has successfully defended his PhD!

New publication: BoaSpect: An Expressive Instrumentation Platform for JavaScript

Isaac Nyabisa Oteyo has successfully defended his PhD!

FWO has accepted to fund the EVEREST project 🥳

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

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

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

New publication: Nested Pure Operation-Based CRDTs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

New publication: Practical Online Debugging of Spark-like Applications

New publication: Framework-Aware Debugging with Stack Tailoring

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

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

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

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

New publication: A debugging approach for live Big Data applications

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

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

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

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

New publication: Memory efficient CRDTs in dynamic environments

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

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

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

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

New publication: Towards scalable blockchain analysis

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

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

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


New publication: Putting Order in Strong Eventual Consistency

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

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

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

New publication: Practical Information Flow Control for Web Applications

New publication: Dynamically Processing Agricultural Data from Controlled Legume Sites

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

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

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

New publication: Constraining the eventual in eventual consistency

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

New publication: Dynamically processing agricultural data from controlled legume sites

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

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

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

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

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

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

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

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

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

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

New publication: Declaratively Specifying Security Policies For Web Applications

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

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

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

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

New publication: Declaratively Specifying Security Policies For Web Applications

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

New publication: Scoping for Reactive Cloud-based Inference Engines

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

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

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

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

New publication: Programming Mobile Context-aware Applications with TOTAM

New publication: Distributed Debugging for Mobile Networks

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

New publication: Orchestration Support for Participatory Sensing Campaigns

New publication: Citizen-Friendly Participatory Campaign Support

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

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

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

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

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

New publication: Programming Urban-area Applications

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

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

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

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

New publication: Network-Aware References for Pervasive Social Applications

New publication: Bringing Scheme Programming to the iPhone - Experience

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

New publication: Scripting Mobile Devices with AmbientTalk

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

New publication: Context-Aware Tuples for the Ambient

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

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

New publication: TOTAM: Scoped Tuples for the Ambient

New publication: Mirror-based Reflection in AmbientTalk

New publication: Towards Resilient Partitioning of Pervasive Computing Services

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

New publication: The Message-Oriented Mobility Model

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

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

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

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

New publication: Semi-Automatic Garbage Collection for Mobile Networks

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

New publication: Semi-Automatic Garbage Collection for Mobile Networks

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

New publication: Ambient References: Addressing Objects in Mobile Networks

New publication: Ambient References: Addressing Objects in Mobile Networks

New publication: Ambient-Oriented Exception Handling