Programming Languages

News

2020

Paper accepted for publication at OOPSLA 2020

Our paper “Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism” (Jonathan Brachthäuser
Alumni
Jonathan Immanuel Brachthäuser
, Philipp Schuster
Alumni
Philipp Schuster
and Klaus Ostermann
Head
Klaus Ostermann
) has been accepted for publication at the International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA, 2020).

Read more ...

Presentation at ICFP 2020

Philipp Schuster
Alumni
Philipp Schuster
presents the paper Compiling Effect Handlers in Capability-Passing Style at the International Conference on Functional Programming (ICFP) 2020 virtual event.

Read more ...

Paper accepted for publication in the Journal of Functional Programming

Our paper “Effekt: Capability-Passing Style for Type- and Effect-Safe, Extensible Effect Handlers in Scala” (Jonathan Brachthäuser
Alumni
Jonathan Immanuel Brachthäuser
, Philipp Schuster
Alumni
Philipp Schuster
and Klaus Ostermann
Head
Klaus Ostermann
) has been accepted for been accepted for publication in the Journal of Functional Programming (JFP).

Read more ...

2019

Presentation at the Symposium on Principles of Programming Languages 2020

Ingo Skupin
Researcher
Ingo Skupin
presents the paper Decomposition Diversity with Symmetric Data and Codata at the Symposium on Principles of Programming Languages in New Orleans (USA).

Read more ...

Invited Lecture on Effect Handlers

Jonathan Brachthäuser
Alumni
Jonathan Brachthäuser
is invited to give a guest lecture at the Modern Programming Languages seminar, organized by the Cusanuswerk sponsorship organization.

Read more ...

Shonan Meeting on Programming and Reasoning with Algebraic Effects and Effect Handlers

Philipp Schuster
Alumni
Philipp Schuster
attends the Shonan meeting on “Programming and Reasoning with Algebraic Effects and Effect Handlers” from March 25 to 29, 2019.

Read more ...

Presentation at ESOP 2019

Former member Paolo Giarusso presents the paper Incremental λ-Calculus in Cache-Transfer Style at the European Symposium on Programming (ESOP) 2019 in Prague, Czech Rebuplic.

Read more ...

2018

Paper Award at GPCE 2018

At GPCE 2018, we have been awarded a “Most Influential Paper Award” for our 2008 GPCE paper on “Polymorphic Embedding of DSLs” by Hofer, Ostermann, Rendel, and Moors.

Read more ...

Presentation at OOPSLA 2018

Jonathan Brachthäuser
Alumni
Jonathan Immanuel Brachthäuser
presents the paper Effect Handlers for the Masses at the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) in Boston, MA, USA.

Read more ...

Disputation Matthias Hirzel

Matthias Hirzel
Alumni
Matthias Hirzel
defends his thesis on Regression Testing of Transcompiled Cross-Platform Applications.

Read more ...

Presentation at Type-Driven Development 2018

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

Read more ...

Dagstuhl Seminar on Domain-Specific Languages

Jonathan Brachthäuser
Alumni
Jonathan Immanuel Brachthäuser
attends the Dagstuhl-Seminar on “Algebraic Effect Handlers go Mainstream” from April 22 to 27, 2018.

Read more ...

Thesis defence by Paolo Giarrusso

Paolo Giarrusso
Alumni
Paolo G. Giarrusso
defends his thesis Optimizing and Incrementalizing Collection Queries by AST Transformation.

Read more ...

2017

Presentation at the Scala Symposium 2017

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

Read more ...

Presentation at DSLDI 2017

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

Read more ...

Presentation at Haskell Implementors Workshop

Philipp Schuster
Alumni
Philipp Schuster
presents An Experiment in Fragment-Based Code Distribution at the Haskell Implementors Workshop.

Read more ...

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.

Read more ...

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.

Read more ...

Open PhD Student Position, Career Changers Welcome

We have an open position for a PhD student in our group, to be filled immediately.

Read more ...

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.

Read more ...

Guest Lecture by Amra Avdic (Novatec GmbH)

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

Read more ...

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.

Read more ...

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
Alumni
Paolo G. Giarrusso
and Jonathan Brachthäuser
Alumni
Jonathan Immanuel Brachthäuser
), is now available.

Read more ...

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.

Read more ...

2016

Presentation at OOPSLA conference

Jonathan Brachthäuser
Alumni
Jonathan 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
Alumni
Tillmann Rendel
and Klaus Ostermann
Head
Klaus Ostermann
.

Read more ...

Presentation at DSLDI workshop

Julian Jabs
Alumni
Julian Jabs
delivers a talk on Explanation-Oriented Introductory Programming at the International Workshop on Domain-Specific Language Design and Implementation in Amsterdam, The Netherlands.

Read more ...

Presentation at Scala Symposium

Paolo Giarrusso
Alumni
Paolo Giarrusso
delivers a talk entitled Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” at the Scala Symposium 2016 in Amsterdam, The Netherlands. The talk is based on joint work with Jonathan Brachthäuser
Alumni
Jonathan Brachthäuser
.

Read more ...

Workshop at HaL workshop

Philipp Schuster
Alumni
Philipp Schuster
presents Ten example uses of monads at Haskell in Leipzig workshop series.

Read more ...

Paper accepted at OOPSLA

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

Read more ...

Guest Lecture by Uwe Fassnacht: Microservice Architectures

Uwe Fassnacht from IBM talks about microservice architectures. This talk is part of the Software Engineering lecture.

Read more ...

Guest Lecture by Nadine Haaf: Requirements Engineering

Nadine Haaf from Capgemini talks about requirements engineering. This talk is part of the Software Engineering lecture.

Read more ...

Guest Lecture by Alexander Paar: Scalable Web Applications

Dr. Alexander Paar and Gerd Grünert from TWT GmbH talk about efficient development of scalable web applications.

Read more ...

Guest Lecture by Andreas Falk: Security Engineering

Andreas Falk from Novatec talks about security engineering. This talk is part of the Software Engineering lecture.

Read more ...

Talk by Philipp Schuster: Dependencies between Haskell code fragments

Philipp Schuster presents his work on fine-grained dependency tracking between Haskell code fragments.

Read more ...

Guest Lecture by Sebastian Burg: SCRUM

Sebastian Burg talks about software development with SCRUM. This talk is part of the Software Engineering lecture.

Read more ...

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.

Read more ...

Guest Lecture by Jochen Quante: Reengineering

Jochen Quante from Bosch talks about reengineering. This talk is part of the Software Engineering lecture.

Read more ...

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.

Read more ...

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.

Read more ...

Student Groups for “Das Tübinger Softwareprojekt” Assigned

We finish the assignment of student teams for the 2016 edition of “Das Tübinger Softwareprojekt”, an industry-academia cooperation for teaching software development and team leadership skills in a realistic setting. Applicants receive information about their team assignment per email.

Read more ...

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.

Read more ...

Talk by Sebastian Erdweg: Sound Type-Dependent Syntactic Language Extension

Sebastian Erdweg from the Technical University of Darmstadt presents a novel formulation of typing rules that is more amenable to incremental type checking than the usual representation with typing contexts.

Read more ...

Talk by Tamás Szabó: Real-Time Feedback through Incremental Program Analysis

Tamás Szabó from Itemis AG presents a domain-specific language for the definition of incremental program analyses.

Read more ...

Talk by Sebastian Erdweg: A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking

Sebastian Erdweg from the Technical University of Darmstadt presents a novel formulation of typing rules that is more amenable to incremental type checking than the usual representation with typing contexts.

Read more ...

Presentation at POPL symposium

Yufei Cai
Alumni
Yufei Cai
presents the paper System Fω with Equirecursive Types for Datatype-generic Programming at the Symposium on Principles of Programming Languages in St. Petersburg, Florida. The paper is joint work with Paolo Giarrusso
Alumni
Paolo Giarrusso
and Klaus Ostermann
Head
Klaus Ostermann
.

Read more ...

2015

School project supported by Vector Stiftung

We are happy to announce that the Vector Stiftung is supporting our project “Denken verstehen lernen”, where we aim to develop and try out a “Computational Thinking” curriculum for elementary schools.

Read more ...

Preprint for POPL paper online

The preprint for our paper on equirecursive types in System Fω, with title “System Fω with Equirecursive Types for Datatype-generic Programming”, is now available online.

Read more ...

Paper accepted at POPL

Our paper on equirecursive types in System Fω, with title “System Fω with Equirecursive Types for Datatype-generic Programming”, has been accepted for presentation at the annual Symposium on Principles of Programming Languages.

Read more ...

Presentation at ICFP conference

Tillmann Rendel
Alumni
Tillmann Rendel
presents the paper Automatic Refunctionalization to a Language with Copattern Matching at the International Conference on Functional Programming in Vancouver, British Columbia. The paper is joint work with Julia Trieflinger
Alumni
Julia Trieflinger
and Klaus Ostermann
Head
Klaus Ostermann
.

Read more ...

Talk by Nils Jonsson

Nils Jonsson tells us about the project he presented at the state-level “Jugend Forscht” competition this year.

Read more ...

Paper accepted at ICFP

Our paper on automatic refunctionalization for a language with copattern matching has been accepted for presentation at the International Conference on Functional Programming.

Read more ...

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.

Read more ...

Jugend forscht Reviewing

This year, Klaus Ostermann
Head
Klaus Ostermann
is a reviewer at the state-wide Jugend forscht competition in Baden-Württemberg. We are looking forward to some exciting innovations by junior researchers!

Read more ...

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.

Read more ...

Community Involvement

Klaus Ostermann
Head
Klaus Ostermann
was invited to participate in the following international venues:

Read more ...

Dagstuhl Seminar on Domain-Specific Languages

Klaus Ostermann
Head
Klaus Ostermann
and Tillmann Rendel
Alumni
Tillmann Rendel
attend the Dagstuhl-Seminar on Domain-Specific Languages from February 1 to 6, 2015. Several participants are interested in language design patterns, and Tillmann Rendel
Alumni
Tillmann Rendel
co-organizes a breakout group on the topic with Ulrik Pagh Schultz and Eric Walkingshaw.

Read more ...

Invited Talk at PPS seminar, University Paris Diderot.

Paolo Giarrusso
Alumni
Paolo G. Giarrusso
delivers an invited talk Incrementalizing λ-Calculi by Static Differentiation: A Theory of Changes for Higher-Order Languages and Ongoing Work at the PPS seminar of the University Paris Diderot (Paris 7). The talk is based on our PLDI 2014 paper and ongoing work in the “incremental λ-calculus” project.

Read more ...

Talk at Paris Diderot about functors

Yufei Cai
Alumni
Yufei Cai
gives an informal talk about the ongoing first-class functors project at PPS Lab, University Paris Diderot.

Read more ...

Talk by Capgemini: Software Architecture with Quasar

The Capgemini company presents Quasar, their approach to software architecture and software development. The presentation is part of the lecture on software design and programming techniques (SDPT).

Read more ...

2014

Talk by Karl Klose: Compiling Dart to JavaScript

Karl Klose from Google talks about the Dart to JavaScript compiler. The talk is part of the lecture on programming languages (PL1).

Read more ...

Talk by Martin Plümicke: More Type Inference in Java

Prof. Dr. Martin Plümicke presents his work on automatic type inference for Java. The talk is on Friday, December 5, at 2pm c.t. in Prof. Klaus Ostermann
Head
Ostermann
’s office (B217/218).

Read more ...

Invited Talk at Oregon State University

Tillmann Rendel
Alumni
Tillmann Rendel
delivers an invited talk Towards Modular Computer Language Components at the colloqium of the School of Electrical Engineering and Computer Science at Oregon State University. The talk motivates the need for building specialized computer languages out of modular and reusable building blocks, and presents some of the recent work in this area.

Read more ...

Presentation at OOPSLA conference

Tillmann Rendel
Alumni
Tillmann Rendel
presents the paper From Object Algebras to Attribute Grammars at the International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA) in Portland, Oregon. The paper is joint work with Jonathan Brachthäuser
Alumni
Jonathan Brachthäuser
and Klaus Ostermann
Head
Klaus Ostermann
.

Read more ...

Presentation at DSLDI workshop

Tillmann Rendel
Alumni
Tillmann Rendel
delivers a talk on Formal Semantics as a Language Designer’s Toolbox at the International Workshop on Domain-Specific Language Design and Implementation (DSLDI) in Portland, Oregon. The talk is based on joint work with Paolo Giarrusso
Alumni
Paolo G. Giarrusso
, Klaus Ostermann
Head
Klaus Ostermann
, and Eric Walkingshaw.

Read more ...

Move to Tübingen

Prof. Klaus Ostermann
Head
Klaus Ostermann
and part of his group move to Tübingen University, where Prof. Ostermann now holds the chair of programming languages and software technology.

Read more ...