Dr. Philipp Schuster
Researcher
Philipp Schuster
Software Engineering
FB Informatik
Universität Tübingen
Sand 13
72076 Tübingen
Germany
- philipp.schuster(at)uni-tuebingen.de
- Office
- B213
- Office hours
- by appointment
Publications
Other Publications
-
Effects, Capabilities, and Boxes: From Scope-based Reasoning to Type-based Reasoning and Back
by Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2022.
-
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In European Symposium on Programming (ESOP 2022), 2022.
-
A Typed Continuation-Passing Translation for Lexical Effect Handlers
by Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
In Proceedings of the International Conference on Programming Language Design and Implementation (PLDI), 2022.
Other Publications
-
Back to Direct Style: Typed and Tight
by Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2023.
-
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
by Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2023.
-
With or Without You: Programming with Effect Exclusion
by Matthew Lutze, Magnus Madsen, Jonathan Immanuel Brachthäuser, and Philipp Schuster
In Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2023.
Other Publications
-
All About That Stack: A Unified Treatment of Regions and Control Effects
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
Technical report. University of Tübingen, Germany, 2021.
Other Publications
-
Effekt: Capability-Passing Style for Type- and Effect-Safe, Extensible Effect Handlers in Scala
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Journal of Functional Programming 30: , 2020.
-
Compiling Effect Handlers in Capability-Passing Style
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2020.
-
Effect Handlers, Evidently
by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen
In Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2020.
-
Effekt: Lightweight Effect Polymorphism for Handlers (Technical Report)
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
Technical report. University of Tübingen, Germany, 2020.
-
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2020.
Other Publications
-
Zero-cost Effect Handlers by Staging (Technical Report)
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
Technical report. University of Tübingen, Germany, 2019.
Other Publications
-
Typing, Representing, and Abstracting Control: Functional Pearl
by Philipp Schuster and Jonathan Brachthäuser
In Proceedings of the International Workshop on Type-Driven Development. ACM Press, 2018.
-
Effect Handlers for the Masses
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proc. ACM Program. Lang. 2(OOPSLA). Association for Computing Machinery, 2018.
Other Publications
-
Effekt: Extensible Algebraic Effects in Scala (Short Paper)
by Jonathan Immanuel Brachthäuser and Philipp Schuster
In Proceedings of the International Symposium on Scala. ACM Press, 2017.