The Future of Programming | TU Delft | 16, 17 January 2014

Software systems are the engines of modern information society. Our ability to cope with the increasing complexity of software systems is limited by the programming languages we use to build them. Bridging the gap between domain concepts and the implementation of these concepts in a programming language is one of the core challenges of software engineering. Modern programming languages have considerably reduced this gap, but often still require low-level programmatic encodings of domain concepts.

On Thursday January 16 and Friday January 17, 2014, TU Delft hosts a symposium on the future of programming, which will provide an overview of the challenges in software development and programming languages and visions to their solution from different angles by a line-up of distinguished national and international speakers from academia and industry.

The symposium is followed by the inaugural speech of Eelco Visser on the occasion of his appointment as Antoni van Leeuwenhoek Professor at TU Delft.

Overview

• Program: schedule of presentations
• Proceedings: recordings of talks and slides
• Venue

Speakers

The following distinguished speakers have confirmed their participation:

• Arie van Deursen: On software changes, large and small. Versioning in the Maven ecosystem
• Brandon Hill: DSL engineering in industry – Spoofax at Oracle Labs
• Daan Leijen: Programming with effects
• Erik Meijer: Reactive programming
• Guido Wachsmuth: Meta-languages for language design
• Harry Buhrman: Programming quantum computers
• Herman Geuvers: Proofs for programs and programs for proofs: a case for dependent types
• John Hughes: The future of testing
• Manuel Serrano: From PCs to tablets: Programming the diffuse Web
• Markus Püschel: Teaching computers to write fast libraries
• Markus Völter: mbeddr: Extensible languages for embedded software engineering
• Sebastian Erdweg: Library-based language extensions in SugarJ
• Stefan Hanenberg: Empirical evaluation of programming language constructs
• Tiark Rompf: Lightweight modular staging in Scala

Inaugural Speech Eelco Visser

The symposium is followed by Eelco Visser’s inaugural speech “Programming Languages shape Computational Thinking” on January 17, 2014 at 15:00 in the TU Delft Aula.

Registration

Register now

Short URL for this page: http://bit.ly/futureofprog