Welcome to the Programming Languages and Software Technology
Our research group is concerned with the design of programming languages, methodologies, and tools that improve the productivity of software developers.
Courses in Sommersemester 2014
We are glad to invite you to our courses in Sommersemester 2014.
Paper accepted at ECOOP'14
We are glad to announce that the paper "Capture-Avoiding and Hygienic Program Transformations" by Sebastian Erdweg, Tijs van der Storm and Yi Dai was accepted ...
Mini-Workshop March 2014
We organize a one-day workshop with presentations of current work in the programming language & software engineering group. The talks will be by BSc. and MSc. ...
Incremental λ-Calculus paper accepted at PLDI'14
The paper "A Theory of Changes for Higher-Order Languages: Incrementalizing λ-Calculi by Static Differentiation" has been accepted at the conference on ...
Papers accepted at IEEE TSE, SLE, IPEC
Several papers accepted at IEEE TSE, SLE, IPEC.
Layout-parsing paper accepted at SLE'12
The paper Layout-sensitive Generalized Parsing has been accepted at the Conference on Software Language Engineering 2012. A draft version is available online: ...
Paper accepted at OOPSLA'12
We are glad to announce that the paper "A Variability-Aware Module System" by Christian Kästner, Klaus Ostermann and Sebastian Erdweg was accepted at the 27th ...