Context-oriented programming for mobile devices: JCop on Android. - Christopher Schuster; Malte Appeltauer; Robert Hirschfeld (COP@ECOOP, 2011)

Reactive programming with reactive variables. - Christopher Schuster; Cormac Flanagan (MODULARITY (Companion), 2016)

Macrofication: Refactoring by Reverse Macro Expansion. - Christopher Schuster; Tim Disney; Cormac Flanagan (ESOP, 2016)

ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving. - Christopher Schuster; Sohum Banerjea; Cormac Flanagan (IFL, 2018)

Towards Live Programming Environments for Statically Verified JavaScript. - Christopher Schuster (2018)

IDVE: an integrated development and verification environment for JavaScript. - Christopher Schuster; Cormac Flanagan (Programming, 2019)

S3K: Self-Supervised Semantic Keypoints for Robotic Manipulation via Multi-View Consistency. - Mel Vecerík; Jean-Baptiste Regli; Oleg Sushkov; David Barker; Rugile Pevceviciute; Thomas Rothörl; Christopher Schuster; Raia Hadsell; Lourdes Agapito; Jonathan Scholz (CoRR, 2020)