Christophe Scholliers

Orcid: 0000-0002-2837-4763

According to our database1, Christophe Scholliers authored at least 47 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Blink: An educational software debugger for Scratch.
SoftwareX, February, 2024

WARDuino: An embedded WebAssembly virtual machine.
J. Comput. Lang., 2024

Latch: Enabling large-scale automated testing on constrained systems.
Sci. Comput. Program., 2024

Concolic Multiverse Debugging.
Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 2024

2023
Gaiwan: A size-polymorphic typesystem for GPU programs.
Sci. Comput. Program., August, 2023

TESTed - An educational testing framework with language-agnostic test suites for programming exercises.
SoftwareX, May, 2023

WebPie: A Tiny Slice of Dependent Typing.
Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023

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

Blink: An Educational Software Debugger for Scratch.
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023

The Bright Future of Debuggers: Challenges and Opportunities (Invited Talk).
Proceedings of the 19th ACM SIGPLAN International Symposium on Dynamic Languages, 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
Event-Based Out-of-Place Debugging.
Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, 2022

2021
GraphRedex: Look at your research.
Softw. Pract. Exp., 2021

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

2019
Distributed Reactive Programming for Reactive Distributed Systems.
Art Sci. Eng. Program., 2019

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

WARDuino: a dynamic WebAssembly virtual machine for programming microcontrollers.
Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 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

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

2018
Parallel and Distributed Web Programming with Actors.
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

Collapsible contracts: fixing a pathology of gradual typing.
Proc. ACM Program. Lang., 2018

A CAPable distributed programming model.
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

2017
Abstractions for Distributed Event-Driven Applications: Position Paper.
Proceedings of the Companion to the first International Conference on the Art, 2017

Handling partial failures in distributed reactive programming.
Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2017

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

2016
I now pronounce you reactive and consistent: handling distributed and replicated state in reactive programming.
Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems, 2016

Many spiders make a better web: a unified web-based actor framework.
Proceedings of the 6th International Workshop on Programming Based on Actors, 2016

2015
Computational contracts.
Sci. Comput. Program., 2015

2014
Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model.
Sci. Comput. Program., 2014

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

The Implementation of the CHA-Q Meta-Model: A Comprehensive, Change-Centric Software Representation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

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

2013
CrimeSPOT: A language and runtime for developing active wireless sensor network applications.
Sci. Comput. Program., 2013

Blame Prediction.
Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

2011
Ambient contracts: verifying and enforcing ambient object compositions à la carte.
Pers. Ubiquitous Comput., 2011

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

Midas: a declarative multi-touch interaction framework.
Proceedings of the 5th International Conference on Tangible and Embedded Interaction 2011, 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

Language and middleware support for dynamism in wireless sensor and actuator network applications.
Proceedings of the Sixth International Workshop on Middleware for Sensor Networks, 2011

2010
Ambient Contracts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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
TOTAM: Scoped Tuples for the Ambient.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2008
Ambient transactors.
Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2008), 2008

2007
Fact Spaces: Coordination in the Face of Disconnection.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007


  Loading...