Travelled to:
1 × Taiwan
Collaborated with:
W.D.Meuter E.G.Boix Florian Myter D.Feltey B.Greenman R.B.Findler V.St-Amour Carmen Torres Lopez Robbert Gurdeep Singh S.Marr A.L.Carreton T.V.Cutsem T.D'Hondt
Talks about:
determinist (2) program (2) debug (2) non (2) multivers (1) distribut (1) patholog (1) interact (1) contract (1) network (1)
Person: Christophe Scholliers
DBLP: Scholliers:Christophe
Contributed to:
Wrote 4 papers:
- SAC-2011-BoixCSCMD #interactive #mobile #named #network #social
- Flocks: enabling dynamic group interactions in mobile social networking applications (EGB, ALC, CS, TVC, WDM, TD), pp. 425–432.
- Onward-2018-MyterSM #distributed #programming
- A CAPable distributed programming model (FM, CS, WDM), pp. 88–98.
- OOPSLA-2018-FelteyGSFS #contract #type system
- Collapsible contracts: fixing a pathology of gradual typing (DF, BG, CS, RBF, VSA), p. 27.
- ECOOP-2019-LopezSMBS #debugging #idea #multi #nondeterminism #source code
- Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper) (CTL, RGS, SM, EGB, CS), p. 30.