Philipp Schuster

According to our database, Philipp Schuster authored at least 19 papers between 2016 and 2025.

Collaborative distances:

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

2025

Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation.

Philipp Schuster, Marius Müller, Klaus Ostermann, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., 2025

The Simple Essence of Monomorphization.

Matthew Lutze, Philipp Schuster, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., 2025

2024

Compiling Lexical Effect Handlers with Capabilities, Continuations, and Evidence.

Philipp Schuster

PhD thesis, 2024

2023

From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.

Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., October, 2023

With or Without You: Programming with Effect Exclusion.

Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., August, 2023

Back to Direct Style: Typed and Tight.

Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proc. ACM Program. Lang., April, 2023

Mismarking in Mutual Funds.

Vladimir Atanasov, John J. Merrick, Philipp Schuster

Manag. Sci., February, 2023

2022

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki

Proc. ACM Program. Lang., 2022

A typed continuation-passing translation for lexical effect handlers.

Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style.

Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proceedings of the Programming Languages and Systems, 2022

2020

Effect handlers, evidently.

Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen

Proc. ACM Program. Lang., 2020

Compiling effect handlers in capability-passing style.

Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proc. ACM Program. Lang., 2020

Effects as capabilities: effect handlers and lightweight effect polymorphism.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

Proc. ACM Program. Lang., 2020

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

J. Funct. Program., 2020

2019

Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation.

Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster

Proceedings of the Programming Languages and Systems, 2019

2018

Effect handlers for the masses.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

Proc. ACM Program. Lang., 2018

Typing, representing, and abstracting control: functional pearl.

Philipp Schuster, Jonathan Immanuel Brachthäuser

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

2017

Effekt: extensible algebraic effects in Scala (short paper).

Jonathan Immanuel Brachthäuser, Philipp Schuster

Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

2016

Optimized Virtual Screening Workflow for the Identification of Novel G-Quadruplex Ligands.

Teresa Kaserer, Riccardo Rigo, Philipp Schuster, Stefano Alcaro, Claudia Sissi, Daniela Schuster

J. Chem. Inf. Model., 2016