Proceedings Kolloquium Programmiersprachen (KPS 2015)

• Vorwort
• Sergio Antoy and Michael Hanus: Default Rules for Curry
• Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Róbert Dávid and Elnar Hajiyev: PENCIL : A Platform-Neutral Compute Intermediate Language for Accelerator Programming
• Christian Berg and Wolf Zimmermann: Typische Muster bei der Implementierung Domänen-spezifischer Sprachen mit Attributgrammatiken
• Dines Bjørner: A New Foundation for Computing Science
• Luc Bläser, Philipp Kramer, Xiang Zhang and Daniel Egloff: A High-Level Dataflow Programming Model for Efficient GPU-Parallelization
• Stefan Bohne and Baltasar Trancón Widemann: An Approach for Generalized Reversible Functional Programming
• Florian Brandner and Jens Knoop: Exchange between the German and French Compiler Communities
• Stefan Brunthaler: Thwarting Cache Side-Channel Attacks Through Dynamic Software Diversity
• M. Anton Ertl: What every compiler writer should know about programmers
• Konrad Fögen, Herbert Kuchen and Vincent von Hof: Compilezeit-Prüfung von Spring-Konfigurationen mit attributierten Grammatiken
• Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm and Sebastian Paaske Tørholm: Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers
• Clemens Grelck: Moldable Applications on Multi-Core Servers: Active Resource Management instead of Passive Resource Administration
• Matthias Grimmer, Chris Seaton, Thomas Wuerthinger and Hanspeter Mössenböck: High-Performance Language Composition: Supporting C Extensions for Dynamic Languages
• Michael Haidl and Sergei Gorlatch: Programming GPUs with C++14 and Just-In-Time Compilation
• Mathias Hedenborg, Jonas Lundberg, Welf Löwe and Martin Trapp: Approximating context-sensitive program information
• Mathias Hedenborg, Jonas Lundberg, Welf Löwe and Martin Trapp: Approximating context-sensitive program information (short version)
• Christian Heinlein: Objektorientierte Programmierung mit MOSTflexiPL
• Thomas Heinze, Anders Møller and Fabio Strocco: Statische Typableitung für die optional typisierte Sprache Dart
• Martin Hentschel, Richard Bubel and Reiner Hähnle: The Symbolic Execution Debugger: a Productivity Tool for Java Based on Eclipse and KeY
• Stefan Hepp and Jens Knoop: The platin Tool Kit - The T-CREST Approach to Compiler and Worst-Case Analysis Integration
• Michael Huth and Jim Huan-Pu Kuo: A Certifiable Domain-Specific Language for Reasoning about Trust Aggregation
• Nilesh Karavadara, Michael Zolda and Raimund Kirner: A Hierarchical Memory Management for a Load-Balancing Stream Processing Middleware on Tiled Architectures
• Matthias Keil and Peter Thiemann: On Contracts and Sandboxes for JavaScript
• Raimund Kirner and Simon Maurer: On the Specification of Real-time Properties of Streaming Networks
• Peter Lammich: Das Isabelle Refinement Framework
• Thomas Macht and Clemens Grelck: SAC goes cluster: From functional array programming to distributed memory array processing
• Christoph Matheja: Tree-Like Grammars and Separation Logic
• Alexander Mattes, Annette Bieniusa and Arie Middelkoop: Towards data-flow oriented workflow systems
• Michael Mendler and Marc Pouzet: Towards a Theory of Objects in Sequentially Constructive Synchronous Programming
• Hans Moritsch: Distribution Class Analysis
• Ulrich Neumerkel and Stefan Kral: Monotone bedingte Verzweigungen in Logikprogrammen
• Viktor Pavlu: Obstacles to Compilation of Rebol Programs
• Richard Plangger and Andreas Krall: PyPy's Number Crunching Optimization
• Martin Plümicke: Java Type System - Proposals for Java 10 or 11
• Thomas M. Prinz, Raphael Charrondiere and Wolfram Amme: Geschäftsprozesse kompiliert – Wichtige Unterstützung für die Modellierung
• Daniel Prokesch and Peter Puschner: A Strategy for Generating Time-Predictable Code
• Markus Raab: Sharing Software Configuration via Specified Links and Transformation Rules
• Valon Raca and Eduard Mehofer: Efficiency considerations in heterogeneous cluster systems
• Arvind Saini and Gerald Baumgartner: An Optimizing Translation Framework for Strongly Mobile Java
• Benjamin Saul and Wolf Zimmermann: Eine Sprache zur Planung optimaler Pumpensysteme
• David Schneider, Michael Leuschel and Philipp Körner: Evaluating Interpreter Design in Prolog
• Martin Schoeberl: Time-predictable Computer Architecture to Simplify Worst-Case Execution Time Analysis
• Dietmar Schreiner: E.V.A. - Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment
• Michael Schröder: Transactional Tries
• Steven Smyth, Christian Motika and Reinhard von Hanxleden: A Data-Flow Approach for Compiling the Sequentially Constructive Language (SCL)
• Andreas Stadelmeier and Martin Plümicke: Bytecode-Generierung eines neuartigen Java–Compilers
• Bernhard Steffen and Johannes Neubauer: Active Continuous Quality Control: Algorithms, Heuristics, Evaluation, and Impact
• Baltasar Trancón Y Widemann and Markus Lepper: The Data-Flow Perspective on Static Single-Assignment Form
• Anna Vasileva and Doris Schmedding: Clean Java – von Anfang an!
• Johannes Waldmann: Automatisierte Bewertung und Erzeugung von Übungsaufgaben zu Prinzipien von Programmiersprachen
• Mathias Weber and Annette Bieniusa: Access Control for Weakly Consistent Data Stores
• Mandy Weißbach and Wolf Zimmermann: Terminierungsanalyse in Service-Orientierten Systemen
• Sebastian Wendt and Wolf Zimmermann: Typprüfung und Namensanalyse für textuelle Anforderungsbeschreibungen
• Alexander Wenner: Analyse Paralleler Programme durch Kombination Automatenbasierter Erreichbarkeitsanalyse mit Datenflussanalyse
• David H. White, Thomas Rupprecht and Gerald Lüttgen: dsOli2: Discovery and Comprehension of Interconnected Lists in C Programs
• Yudi Zheng, Stephen Kell, Lubomír Bulej, Haiyang Sun and Walter Binder: Comprehensive Multi-platform Dynamic Program Analysis for Java and Android