Philipp Schuster

21 papers A* 1A 2Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation.
Proc. ACM Program. Lang.
Philipp Schuster, Marius Müller, Klaus Ostermann, Jonathan Immanuel Brachthäuser
2025 J jnl
Dynamic Wind for Effect Handlers.
Proc. ACM Program. Lang.
David Voigt, Philipp Schuster, Jonathan Immanuel Brachthäuser
2025 J jnl
Multiple Resumptions and Local Mutable State, Directly.
Proc. ACM Program. Lang.
Serkan Muhcu, Philipp Schuster, Michel Steuwer, Jonathan Immanuel Brachthäuser
2025 J jnl
The Simple Essence of Monomorphization.
Proc. ACM Program. Lang.
Matthew Lutze, Philipp Schuster, Jonathan Immanuel Brachthäuser
2024 — —
Compiling Lexical Effect Handlers with Capabilities, Continuations, and Evidence.
Philipp Schuster
2023 J jnl
Back to Direct Style: Typed and Tight.
Proc. ACM Program. Lang.
Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
2023 J jnl
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.
Proc. ACM Program. Lang.
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser
2023 J jnl
Mismarking in Mutual Funds.
Manag. Sci.
Vladimir Atanasov, John J. Merrick, Philipp Schuster
2023 J jnl
With or Without You: Programming with Effect Exclusion.
Proc. ACM Program. Lang.
Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser
2022 A* conf
A typed continuation-passing translation for lexical effect handlers.
PLDI
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann
2022 J jnl
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.
Proc. ACM Program. Lang.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki
2022 A conf
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style.
ESOP
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
2020 J jnl
Compiling effect handlers in capability-passing style.
Proc. ACM Program. Lang.
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
2020 J jnl
Effect handlers, evidently.
Proc. ACM Program. Lang.
Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
2020 J jnl
Effects as capabilities: effect handlers and lightweight effect polymorphism.
Proc. ACM Program. Lang.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
2020 J jnl
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala.
J. Funct. Program.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
2019 A conf
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation.
ESOP
Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster
2018 J jnl
Effect handlers for the masses.
Proc. ACM Program. Lang.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
2018 — conf
Typing, representing, and abstracting control: functional pearl.
TyDe@ICFP
Philipp Schuster, Jonathan Immanuel Brachthäuser
2017 — conf
Effekt: extensible algebraic effects in Scala (short paper).
SCALA@SPLASH
Jonathan Immanuel Brachthäuser, Philipp Schuster
2016 J jnl
Optimized Virtual Screening Workflow for the Identification of Novel G-Quadruplex Ligands.
J. Chem. Inf. Model.
Teresa Kaserer, Riccardo Rigo, Philipp Schuster, Stefano Alcaro, Claudia Sissi, Daniela Schuster