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.
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 ...
SIGPLAN has nominated SugarJ paper as Research Highlight of the CACM
See the review at http://www.sigplan.org/Newsletters/CACM/Papers
SugarHaskell paper accepted at Haskell'12
The SugarHaskell paper Layout-sensitive Language Extensibility with SugarHaskell has been accepted at the Haskell Symposium 2012. A draft version is available ...