Christopher Schuster

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 5

Top Topics

Keypoint Detection

Scale Invariant

Functional Programs

Top Venues

MODULARITY (Companion)

University of California, Santa Cruz, USA (PHD)

Education History

University of California, Santa Cruz, USA

PHD

Publications

Mel Vecerík, Jean-Baptiste Regli, Oleg Sushkov, David Barker, Rugile Pevceviciute, Thomas Rothörl, Christopher Schuster, Raia Hadsell, Lourdes Agapito, Jonathan Scholz
S3K: Self-Supervised Semantic Keypoints for Robotic Manipulation via Multi-View Consistency. CoRR (2020)
Christopher Schuster, Cormac Flanagan
IDVE: an integrated development and verification environment for JavaScript. Programming (2019)
Christopher Schuster, Sohum Banerjea, Cormac Flanagan
ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving. IFL (2018)
Christopher Schuster, Cormac Flanagan
Reactive programming with reactive variables. MODULARITY (Companion) (2016)
Christopher Schuster, Tim Disney, Cormac Flanagan
Macrofication: Refactoring by Reverse Macro Expansion. ESOP (2016)
Christopher Schuster, Malte Appeltauer, Robert Hirschfeld
Context-oriented programming for mobile devices: JCop on Android. COP@ECOOP (2011)