Christopher Schuster (University of California, Santa Cruz)

The following list of publications includes download links to the pre-print authors' version of the work. It is posted here for your personal use; not for redistribution. The definitive version is published in the proceedings of the respective conferences, journals, etc.

Towards Live Programming Environments for Statically Verified JavaScript
Christopher Schuster

PhD thesis. University of California, Santa Cruz. December 2018. Santa Cruz, CA, USA.

esverify: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving
Christopher Schuster, Sohum Banerjea, Cormac Flanagan

To Appear In: International Symposium on Implementation and Application of Functional Languages (IFL 2018). August 2018. Lowell, MA, USA.

Coalizer: A Coalition Tool Combining Office and Policy Motivations of Political Parties
Robin Graichen, Udo Heller, Eric Linhart, Andreas Müller, Christopher Schuster

European Consortium for Political Research General Conference (ECPR 2018). August 2018. Hamburg, Germany.

Live Programming by Example: Using Direct Manipulation for Live Program Synthesis
Christopher Schuster, Cormac Flanagan

LIVE workshop on live programming systems (LIVE 2016). July 2016. Rome, Italy.

Macrofication: Refactoring by Reverse Macro Expansion
Christopher Schuster, Tim Disney, Cormac Flanagan

Programming Languages and Systems: 25th European Symposium on Programming (ESOP 2016). April 2016. Eindhoven, NL.

Reactive Programming with Reactive Variables
Christopher Schuster, Cormac Flanagan

Constrained and Reactive Objects Workshop, MODULARITY Companion 2016 (CROW 2016). March 2016. Malaga, Spain.

Live Programming for Event-Based Languages
Christopher Schuster, Cormac Flanagan

Proceedings of the 2015 Reactive and Event-based Languages and Systems Workshop (REBLS '15). October 2015. Pittsburgh, PA.

A Light-Weight Effect System for JavaScript
Christopher Schuster, Cormac Flanagan

Proceedings of the 2015 Scripts to Programs Workshop (STOP '15). July 2015. Prague, CZ.

Traveling through Time and Code: Omniscient Debugging and Beyond
Christopher Schuster, Cormac Flanagan

Presented at the Future Programming Workshop (FPW '14). October 2014. Portland, OR.

RTI Compression for Mobile Devices
Christopher Schuster, Bipeng Zhang, Rajan Vaish, Paulo Gomes, Jacob Thomas, James Davis

Proceedings of the Sixth International Conference on Information Technology and Multimedia at UNITEN (ICIMu 2014). November 2014. Kuala Lumpur, Malaysia.

Reification of Execution State in JavaScript: Implementing the Lively Debugger
Christopher Schuster

Master thesis. University of Potsdam. April 2012. Potsdam, Germany.

Context-oriented Programming for Mobile Devices: JCop on Android
Christopher Schuster, Malte Appeltauer, Robert Hirschfeld

Proceedings of the Workshop on Context-oriented Programming (COP '11). July 2011. Lancaster, UK.