Philipp Schuster

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 16

Top Topics

Lambda Calculus

Virtual Screening

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser
With or Without You: Programming with Effect Exclusion. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Vladimir Atanasov, John J. Merrick, Philipp Schuster
Mismarking in Mutual Funds. Manag. Sci. 69 (2) (2023)
Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Back to Direct Style: Typed and Tight. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. ESOP (2022)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann
A typed continuation-passing translation for lexical effect handlers. PLDI (2022)
Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
Effect handlers, evidently. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Compiling effect handlers in capability-passing style. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala. J. Funct. Program. 30 (2020)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
Effects as capabilities: effect handlers and lightweight effect polymorphism. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation. ESOP (2019)
Philipp Schuster, Jonathan Immanuel Brachthäuser
Typing, representing, and abstracting control: functional pearl. TyDe@ICFP (2018)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
Effect handlers for the masses. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Jonathan Immanuel Brachthäuser, Philipp Schuster
Effekt: extensible algebraic effects in Scala (short paper). SCALA@SPLASH (2017)
Teresa Kaserer, Riccardo Rigo, Philipp Schuster, Stefano Alcaro, Claudia Sissi, Daniela Schuster
Optimized Virtual Screening Workflow for the Identification of Novel G-Quadruplex Ligands. J. Chem. Inf. Model. 56 (3) (2016)