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
|