Christopher Schuster

According to our database, Christopher Schuster authored at least 7 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

2019

IDVE: an integrated development and verification environment for JavaScript.

Christopher Schuster, Cormac Flanagan

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

2018

Towards Live Programming Environments for Statically Verified JavaScript.

Christopher Schuster

PhD thesis, 2018

ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving.

Christopher Schuster, Sohum Banerjea, Cormac Flanagan

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

2016

Macrofication: Refactoring by Reverse Macro Expansion.

Christopher Schuster, Tim Disney, Cormac Flanagan

Proceedings of the Programming Languages and Systems, 2016

Reactive programming with reactive variables.

Christopher Schuster, Cormac Flanagan

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2011

Context-oriented programming for mobile devices: JCop on Android.

Christopher Schuster, Malte Appeltauer, Robert Hirschfeld

Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011