Researcher
Christophe Scholliers
- Keywords:Programming language abstractions, Type Systems
- Disciplines:Language design, constructs and features
Affiliations
- Department of Applied Mathematics, Computer Science and Statistics (Department)
Member
From1 Oct 2015 → Today
Projects
1 - 2 of 2
- Actors you can trust: a high-level language abstraction for remote attestation and how to securely compile itFrom1 Jan 2020 → 31 Dec 2023Funding: FWO research project (including WEAVE projects)
- Efficient Explanatory Type Systems for Parallel SystemsFrom1 Oct 2018 → 30 Sep 2022Funding: BOF - Doctoral projects
Publications
1 - 10 of 18
- TESTed : an educational testing framework with language-agnostic test suites for programming exercises(2023)
Authors: Niko Strijbol, Charlotte Van Petegem, Rien Maertens, Boris Sels, Christophe Scholliers, Peter Dawyndt, Bart Mesuere
- GraphRedex : look at your research(2021)
Authors: Robbert Gurdeep Singh, Christophe Scholliers
- CScript : a distributed programming language for building mixed-consistency applications(2020)
Authors: Kevin De Porre, Florian Myter, Christophe Scholliers, Elisa Gonzalez Boix
Pages: 109 - 123 - WARDuino : a dynamic WebAssembly virtual machine for programming microcontrollers(2019)
Authors: Robbert Gurdeep Singh, Christophe Scholliers
Pages: 27 - 36 - Multiverse debugging : non-deterministic debugging for non-deterministic programs(2019)Volume: 134
Authors: Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers, Alastair F Donaldson
Pages: 27:1 - 27:30 - Putting order in strong eventual consistency(2019)Volume: 11534
Authors: Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, Elisa Gonzalez Boix
Pages: 36 - 56 - Multiverse debugging : non-deterministic debugging for non-deterministic programs(2019)
Authors: Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers
Pages: 4:1 - 4:3 - Collapsible contracts : fixing a pathology of gradual typing(2018)
Authors: Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, Vincent St-Amour
- Ambient Talk : programming responsive mobile peer-to-peer applications with actors(2014)
Authors: Tom Van Cutsem, Elisa Gonzalez Boix, Christophe Scholliers, Andoni Lombide Carreton, Dries Harniel, Kevin Pinte, Wolfgang De Meuter
Pages: 112 - 136 - Ambient contracts : verifying and enforcing ambient object compositions à la carte(2011)
Authors: Christophe Scholliers, Dries Harnie, Eric Tanter, Wolfgang De Meuter, Theo D'Hondt
Pages: 341 - 351