Concepedia

Philipp Schuster

PS

8

Publications

214

Citations

8

H-Index

2017

Active since

Affiliations

University of Tübingen(Current)

École Polytechnique Fédérale de Lausanne

Philipp Schuster is an author at University of Tübingen specializing in program analysis, formal methods, and software analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringAutomated ReasoningSoftware DesignComputer Engineering

Publications per year

2017–2023

8

Publications

8

Effects as capabilities: effect handlers and lightweight effect polymorphism

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann · Proceedings of the ACM on Programming Languages · 2020 · 57 citations · Full text

Engineering, Computer Animation, Software Engineering +26

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

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann · Journal of Functional Programming · 2020 · 28 citations · Full text

Engineering, Abstract Effect Handlers, Program Analysis +15

Effect handlers, evidently

Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström et al. · Proceedings of the ACM on Programming Languages · 2020 · 28 citations · Full text

Engineering, Verification, Visual Effect +20

Effect handlers for the masses

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann · Proceedings of the ACM on Programming Languages · 2018 · 25 citations · Full text

Engineering, Software Engineering, Software Analysis +17

Compiling effect handlers in capability-passing style

Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann · Proceedings of the ACM on Programming Languages · 2020 · 22 citations · Full text

Engineering, Effect Handlers, Program Analysis +11

Rows per page

1–5 of 8