Jonathan Immanuel Brachthäuser, M.Sc.

Photo of Jonathan Brachthäuser

Jonathan Brachthäuser
Universität Tübingen
WSI - Programmiersprachen und Softwaretechnik
Sand 13
72076 Tübingen
Germany

Telephone: +49 - (0) 70 71 - 29 - 75 491
Telefax: +49 - (0) 70 71 - 29 - 50 82
E-Mail: jonathan.brachthaeuser(at)uni-tuebingen.de
Office: B213
Office hours: by appointment (see calendar)

Publications on Google Scholar

Research Projects

Algebraic Effect Handlers

Algebra Composition

Publications

Effect Handlers for the Masses

by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann

In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2018.

Typing, Representing, and Abstracting Control: Functional Pearl

by Philipp Schuster and Jonathan Brachthäuser

In Proceedings of the International Workshop on Type-Driven Development. ACM Press, 2018.

Effekt: Extensible Algebraic Effects in Scala (Short Paper)

by Jonathan Immanuel Brachthäuser and Philipp Schuster

In Proceedings of the International Symposium on Scala. ACM Press, 2017.

Parsing with First-Class Derivatives

by Jonathan Brachthäuser, Tillmann Rendel, and Klaus Ostermann

In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2016.

Modularization of Algorithms on Complex Data Structures: An Encoding of Typesafe Extensible Functional Objects

by Jonathan Immanuel Brachthäuser

Master thesis. University of Marburg, Germany, 2014.

From Object Algebras to Attribute Grammars

by Tillmann Rendel, Jonathan Brachthäuser, and Klaus Ostermann

In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA), pages 377–395. ACM Press, 2014.

Open Thesis Topics

September 20

Implementing the language server protocol for Koka

The Language Server Protocol (LSP) defines a protocol used between an editor or IDE and a language server that provides language features like auto complete, go to definition, find all references etc. The Language Server Protocol has to be implemented once for every programming language and once for every editor, instead of once for every combination of programming language and editor, thus reducing a m x n problem to a m + n problem.

Finished Thesis Topics

June 22

Parsing Markdown with First-Class Derivatives

Markdown is a lightweight and widespread way of structuring plain text documents. The layout rules that are used to structure the text make Markdown at the same time easy to read for humans but also difficult to write a grammar or a parser.

May 28

CodeProse: Leveraging Editor Services for Literate Programming

Literate programming blends the borders between source code and documentation. The goal of existing tools like Docco and Scribble is to create a uniform reading experience for documentation and code.

News

August 20

Presentation at Type-Driven Development 2018

Philipp Schuster
ResearcherPhilipp Schuster presents the functional pearl Typing, Representing, and Abstracting Control at Type-Driven Development 2018.

October 23

Presentation at the Scala Symposium 2017

Jonathan Brachthäuser
ResearcherJonathan Immanuel Brachthäuser presents the paper Effekt: Extensible Algebraic Effects in Scala at the Scala Symposium 2017.

October 22

Presentation at DSLDI 2017

Jonathan Brachthäuser
ResearcherJonathan Immanuel Brachthäuser talks about Towards Naturalistic EDSLs using Algebraic Effects at the Workshop for Domain Specific Languages, Design and Implementation (DSLDI) 2017.

June 23

Anmeldefrist für die Software Engineering Summerschool von NovaTec

Die NovaTec GmbH, ein Kooperationspartner im Tübinger Softwareprojekt, veranstaltet dieses Jahr 3 verschiedene „Summer Schools“. Alle TeilnehmerInnen der Software Engineering Vorlesung und natürlich auch andere Interessierte sind herzlich dazu eingeladen.

May 31 2.15pm

Guest Lecture by Philipp Gerhard (iPoint-systems gmbh)

Philipp Gerhard, Software Developer at iPoint-systems gmbh will give an invited guest lecture in Software Engineering and talk about Test Driven Development and Continuous Integration.

May 10 2.15pm

Guest Lecture by Heiko Hütter (DAASI International)

Heiko Hütter, Project Manager and Scrum expert at DAASI International will talk about Challenges and best practices in multi-project and multi-product setups using Scrum.

May 3 2.15pm

Guest Lecture by Amra Avdic (Novatec GmbH)

Amra Avdic, Senior Consultant at Novatec GmbH, will talk about Requirements Engineering and agile Methods.

April 21 1.30pm

Industry project fair

Students present their finished projects and our industry partners present project proposals for the next iteration of “Das Tübinger Softwareprojekt”, an industry-acedemia collaboration with the goal of letting students experience a real software project as a programmer during their undergraduate studys, or as a team leader during their graduate studies.

April 10

Scala 2017 -- Call for Contributions

The Call for Contributions for the Eighth Symposium on Scala, co-organized by members of our research group (Paolo Giarrusso
AlumniPaolo G. Giarrusso and Jonathan Brachthäuser
ResearcherJonathan Immanuel Brachthäuser), is now available.

January 13

Dubai 100

Our TSP Team “Rehality” was granted to join “Dubai 100”. Starting on 13th of January 2017 they will participate in a intensive 100-day programme designed to accelerate the growth of early-stage startups. Only 10 Teams where given this great opportunity.

November 3

Presentation at OOPSLA conference

Jonathan Brachthäuser
ResearcherJonathan Immanuel Brachthäuser presents the paper Parsing with First-Class Derivatives at the International Conference on Object-oriented Programming, Systems, Languages, and Applications in Amsterdam, The Netherlands. The paper is joint work with Tillmann Rendel
AlumniTillmann Rendel and Klaus Ostermann
HeadKlaus Ostermann.

August 2

Paper accepted at OOPSLA

Our paper “Parsing with First-Class Derivatives” (Jonathan Brachthäuser
ResearcherJonathan Immanuel Brachthäuser, Tillmann Rendel
AlumniTillmann Rendel and Klaus Ostermann
HeadKlaus Ostermann ) has been accepted for presentation at the annual conference of Object-oriented Programming, Systems, Languages, and Applications (OOPSLA).

May 2 2pm

Git Workshop for Industry Project Participants

The participants of the 2016 edition of the industry project „Das Tübinger Softwareprojekt“ get brought up to speed with git usage and social coding practices in a half-day workshop at Tübingen University.

April 25 10am s.t.

SCRUM Workshop for Industry Project Participants

Students participtaing in “Das Tübinger Softwareproject” meet at a one-day workshop to learn about project management and team organisation with Scrum.

April 22 11am s.t.

Team Leadership Workshop for Industry Project Participants

Graduate students participating in “Das Tübinger Softwareproject” meet at a one-day workshop to learn about team leadership skills and their role during the year-long industry-academia collaboration with the goal of letting students experience a realistic software engineering project during their studies.

April 15 1.30pm

Industry project fair

Students present their finished projects and our industry partners present project proposals for the next iteration of “Das Tübinger Softwareprojekt”, an industry-acedemia collaboration with the goal of letting students experience a real software project as a programmer during their undergraduate studys, or as a team leader during their graduate studies.

April 17 1.30pm

Software Engineering Project Fair @ PS

Meet us for the software engineering project fair, in which our industry partners present their proposal for this year’s software project offers.

April 10 1.30pm

Invited talk at Stuttgart Media University

Jonathan Brachthäuser
ResearcherJonathan Brachthäuser gives a talk at Language Day 2015 hosted by the Stuttgart Media University.

March 16 2pm

BSc. Defense by Tobias Weber and Mini-Workshop on Uroboro

Tobias Weber from the University of Marburg visits Tübingen to defend his BSc. thesis entitled “An Implementation of a Language with Pattern and Copattern Matching”. On the occasion of his visit, we organize a little workshop about application of the language “Uroboro” that Tobias implemented.

October 1

Jonathan Brachthäuser Hired

Jonathan Brachthäuser
ResearcherJonathan Immanuel Brachthäuser joins the group as researcher and PhD student.