Elisa Gonzalez Boix

Orcid: 0000-0002-9966-6421

Affiliations:
  • Vrije Universiteit Brussel, Belgium


According to our database1, Elisa Gonzalez Boix authored at least 83 papers between 2006 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things.
Art Sci. Eng. Program., 2023

VeriFx: Correct Replicated Data Types for the Masses (Artifact).
Dagstuhl Artifacts Ser., 2023

Brigadier: A Datalog-based IAST framework for Node.js Applications.
Proceedings of the IEEE International Conference on Software Analysis, 2023

Demo: Debugging Constraint Devices with EDWARD.
Proceedings of the 21st Annual International Conference on Mobile Systems, 2023

[Short paper] Towards improved collaborative text editing CRDTs by using Natural Language Processing.
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

VeriFx: Correct Replicated Data Types for the Masses.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Nested Pure Operation-Based CRDTs.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo).
Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, 2023

2022
Deriving Static Security Testing from Runtime Security Protection for Web Applications.
Art Sci. Eng. Program., 2022

Event-Based Out-of-Place Debugging.
Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, 2022

Easing Construction of Smart Agriculture Applications Using Low Code Development Tools.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2022

2021
A Survey on Mobile Applications for Smart Agriculture.
SN Comput. Sci., 2021

Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay.
Art Sci. Eng. Program., 2021

ECROs: building global scale systems from sequential code.
Proc. ACM Program. Lang., 2021

Practical Online Debugging of Spark-like Applications.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyScript.
Proceedings of the Programming '21: 5th International Conference on the Art, 2021

Improving the Reactivity of Pure Operation-Based CRDTs.
Proceedings of the PaPoC@EuroSys 2021, 2021

What's the problem? interrogating actors to identify the root cause of concurrency bugs.
Proceedings of the AGERE 2021: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, 2021

Building Smart Agriculture Applications Using Low-Code Tools: The Case for DisCoPar.
Proceedings of the 2021 IEEE AFRICON, 2021

2020
Two decades of live coding and debugging of virtual machines through simulation.
Softw. Pract. Exp., 2020

A debugging approach for live Big Data applications.
Sci. Comput. Program., 2020

CScript: A distributed programming language for building mixed-consistency applications.
J. Parallel Distributed Comput., 2020

Developing Smart Agriculture Applications: Experiences and Lessons Learnt.
Proceedings of the 2020 African Conference on Software Engineering (ACSE 2020), 2020

From causality to stability: understanding and reducing meta-data in CRDTs.
Proceedings of the MPLR '20: 17th International Conference on Managed Programming Languages and Runtimes, 2020

Flec: a versatile programming framework for eventually consistent systems.
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

Framework-aware debugging with stack tailoring.
Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

2019
Out-Of-Place debugging: a debugging architecture to reduce debugging interference.
Art Sci. Eng. Program., 2019

Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact).
Dagstuhl Artifacts Ser., 2019

GUARDIAML: Machine Learning-Assisted Dynamic Information Flow Control.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Asynchronous snapshots of actor systems for latency-sensitive applications.
Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2019

Squirrel: an extensible distributed key-value store.
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2019

Memory efficient CRDTs in dynamic environments.
Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

Towards scalable blockchain analysis.
Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, 2019

A Generic Replicated Data Type for Strong Eventual Consistency.
Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper).
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Lazy pointer update for low heap compaction pause times.
Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

Putting Order in Strong Eventual Consistency.
Proceedings of the Distributed Applications and Interoperable Systems, 2019

2018
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs.
Proceedings of the Programming with Actors - State-of-the-Art and Research Perspectives, 2018

AmbientJS - A Mobile Cross-Platform Actor Library for Multi-Networked Mobile Applications.
Proceedings of the Programming with Actors - State-of-the-Art and Research Perspectives, 2018

Practical Information Flow Control for Web Applications.
Proceedings of the Runtime Verification - 18th International Conference, 2018

GUARDIA: specification and enforcement of javascript security policies without VM modifications.
Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018

Efficient and deterministic record & replay for actor languages.
Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018

Two decades of smalltalk VM development: live VM development through simulation tools.
Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018

Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Constraining the eventual in eventual consistency.
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

2017
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs.
CoRR, 2017

An Elixir library for programming concurrent and distributed embedded systems.
Proceedings of the Companion to the first International Conference on the Art, 2017

Κόμπος: A Platform for Debugging Complex Concurrent Applications.
Proceedings of the Companion to the first International Conference on the Art, 2017

Debugging Cyber-Physical Systems with Pharo: An Experience Report.
Proceedings of the 12th edition of the International Workshop on Smalltalk Technologies, 2017

A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools.
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23, 2017

A principled approach towards debugging communicating event-loops.
Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, 2017

2016
Special issue on the 3rd and 4th ACM SIGPLAN workshops on programming based on actors, agents, and decentralized control (AGERE! 2013/2014).
Comput. Lang. Syst. Struct., 2016

Linvail: A General-Purpose Platform for Shadow Execution of JavaScript.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

2015
Coordinating Collaborative Interactions in Web-based Mobile Applications.
Proceedings of the 2015 International Conference on Interactive Tabletops & Surfaces, 2015

Serena: scalable middleware for real-time web applications.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

2014
Programming Urban-Area Applications by Exploiting Public Transportation.
ACM Trans. Auton. Adapt. Syst., 2014

Programming mobile context-aware applications with TOTAM.
J. Syst. Softw., 2014

Distributed debugging for mobile networks.
J. Syst. Softw., 2014

AmbientTalk: programming responsive mobile peer-to-peer applications with actors.
Comput. Lang. Syst. Struct., 2014

Citizen-friendly participatory campaign support.
Proceedings of the 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, 2014

AGERE!: programming based on actors, agents, and decentralized control.
Proceedings of the SPLASH'14, 2014

Orchestration support for participatory sensing campaigns.
Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

2013
Ambient Clouds: Reactive Asynchronous Collections for Mobile Ad Hoc Network Applications.
Proceedings of the Distributed Applications and Interoperable Systems, 2013

2012
Bringing Scheme programming to the iPhone - Experience.
Softw. Pract. Exp., 2012

Programming urban-area applications.
Proceedings of the ACM Symposium on Applied Computing, 2012

2011
Volatile Sets: Event-driven Collections for Mobile Ad-Hoc Applications.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Flocks: enabling dynamic group interactions in mobile social networking applications.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Network-aware references for pervasive social applications.
Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

2010
Urbiflock: An experiment in dynamic group management in Pervasive social applications.
Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

Context-Aware Tuples for the Ambient.
Proceedings of the On the Move to Meaningful Internet Systems, 2010

2009
Mirror-based reflection in AmbientTalk.
Softw. Pract. Exp., 2009

TOTAM: Scoped Tuples for the Ambient.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks.
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Resilient actors: a runtime partitioning model for pervasive computing services.
Proceedings of the 2009 international conference on Pervasive services, 2009

2008
Towards a domain-specific aspect language for leasing in mobile ad hoc networks.
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, 2008

2007
The Message-Oriented Mobility Model.
J. Object Technol., 2007

AmbientTalk: Object-oriented Event-driven Programming in Mobile Ad hoc Networks.
Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

2006
Program Testing Using High-Level Property-Driven Models.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Ambient references: addressing objects in mobile networks.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Ambient-Oriented Exception Handling.
Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006


  Loading...