b-studios

Publications

You can also find an automatically maintained list of my publications on my Google Scholar Profile.

Publications

Typing, Representing, and Abstracting control: Functional Pearl
by Philipp Schuster, Jonathan Immanuel Brachthäuser. Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018. ACM

Effect Handlers for the Masses
by Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann. Proceedings of the Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2018. ACM

Effekt: Extensible Algebraic Effects in Scala
by Jonathan Immanuel Brachthäuser, Philipp Schuster. Proceedings of the Eighth ACM SIGPLAN Symposium on Scala, 2017. (PDF, Scastie with all the examples from the paper, ACM, Scala Eventpage)

Parsing with First-Class Derivatives
by Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann. Proceedings of the Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2016. (PDF, ACM, slides))

Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified Code
by Matthias Hirzel, Jonathan Immanuel Brachthäuser, Herbert Klaeren. Proceedings of the International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ), 2016. (ACM)

From Object Algebras to Attribute Grammars
by Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann. Proceedings of the Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2014. (PDF, ACM)

Workshops without Published Proceedings

Taming Control Flow through Linear Effect Handlers
by Daan Leijen, Jonathan Immanuel Brachthäuser. Accepted for presentation at The 7th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE), 2018.

Towards Naturalistic EDSLs using Algebraic Effects
by Jonathan Immanuel Brachthäuser. Accepted for presentation at Domain-Specific Language Design and Implementation (DSLDI), 2017. (PDF, Scastie with all the examples from the paper, DSLDI Eventpage)

Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions
by Paolo G. Giarrusso, Jonathan Immanuel Brachthäuser. Accepted for presentation at Scala Symposium 2016. (PDF)

Theses

Modularization of Algorithms on Complex Data Structures – An Encoding of Typesafe Extensible Functional Objects
by Jonathan Immanuel Brachthäuser. Master Thesis, University of Marburg, 2014. (PDF)

Building compiled language extensions for JavaScript
by Jonathan Immanuel Brachthäuser. Bachelor Thesis, Stuttgart Media University, 2012. (PDF)