Aktuelle Themen aus der Theorie der Programmierung
Seminar im Sommersemester 2016 an der Westfälischen Wilhelms-Universität Münster
Veranstalter: Prof. Dr. Markus Müller-Olm, Sebastian Kenter, Benedikt Nordhoff, Alexander Wenner
Eintrag für das Seminar im HIS/LSF
Ort und Zeit
Vorträge im Semester montags 14:15-15:45 Uhr im SR7
- 23. Mai: Abstract Interpretation with Infinitesimals
Vortragender: Jonas Fox - 30. Mai: Abstracting gradual typing
Vortragender: Eric Wiltfang - 6. Juni: Parameterised Pushdown Systems with Non-Atomic Writes
Vortragender: Bastian Köpcke - 13. Juni: Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth
Vortragende: Juliane Braunsmann - 20. Juni: Newtonian Program Analysis
Vortragender: Markus Schmetkamp - 27. Juni: Temporal verification of higer-order functional programs
Vortragender: Konrad Stuhrmann - 4. Juli: Printing floating-point numbers: a faster, always correct method
Vortragender: Janos Roch
Inhalt
Anhand von Originalartikeln werden ausgewählte Themen aus dem Gebiet der Theorie der Programmierung von den Teilnehmern erarbeitet und vorgestellt. Mögliche Themen kommen aus den Gebieten Analyse, Compilation, Optimierung, Semantik, Sicherheit, Verifikation.
Literatur:
- Program Analysis with Local Policy Iteration
Egor George Karpenkov, David Monniaux, Philipp Wendler - Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem
Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michael Périn - Abstract Interpretation with Infinitesimals
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo - Temporal verification of higher-order functional programs
Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno - Unboundedness and downward closures of higher-order pushdown automata
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong - Automatic patch generation by learning correct code
Fan Long, Martin Rinard - Abstracting gradual typing
Ronald Garcia, Alison M. Clark, Éric Tanter - Is sound gradual typing dead?
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen - Printing floating-point numbers: a faster, always correct method
Marc Andrysco, Ranjit Jhala, Sorin Lerner - Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal - (Algorithms for algebraic path properties in concurrent systems of constant treewidth components)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis - Newtonian Program Analysis
Javier Esparza, Stefan Kiefer, and Michael Luttenberger - (Newtonian program analysis via tensor product)
Thomas Reps, Emma Turetsky, Prathmesh - Parameterised Pushdown Systems with Non-Atomic Writes
Matthew Hague - Strategy synthesis for multi-dimensional quantitative objectives
Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin