Aktuelle Themen aus der Theorie der Programmierung

Seminar im Sommersemester 2017 an der Westfälischen Wilhelms-Universität Münster

Veranstalter: Prof. Dr. Markus Müller-Olm, Sebastian Kenter, Benedikt Nordhoff

Ort und Zeit

Vorbesprechung mit Anmeldung und Themenvergabe am Dienstag 24. Januar 2017 - 16:15 Uhr im Lichthof 7. Stock.
Vorträge im Semester dienstags 14:15-15:45 Uhr im SRZ 203

Inhalt

Anhand von Originalartikeln werden ausgewählte Themen aus dem Gebiet der Theorie der Programmierung von den Teilnehmern erarbeitet und vorgestellt.

Quantum Programming

QWIRE: A Core Language for Quantum Circuits
Jennifer Paykin, Robert Rand, Steve Zdancewic
http://dl.acm.org/authorize?N29070

The Geometry of Parallelism Classical, Probabilistic, and Quantum Effects
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
http://dl.acm.org/authorize?N29079

Invariants of Quantum Programs: Characterisations and Generation
Mingsheng Ying, Shenggang Ying, Xiaodi Wu
http://dl.acm.org/authorize?N29078

Weak Memory

Ogre and Pythia:
An Invariance Proof Method for Weak Consistency Models
Jade Alglave, Patrick Cousot
http://dl.acm.org/authorize?N29910

A Promising Semantics for Relaxed-Memory Concurrency
Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer
http://dl.acm.org/authorize?N29922

Automatically comparing memory consistency models
John Wickerson, Mark Batty, Tyler Sorensen ,George A. Constantinides
http://dl.acm.org/authorize?N29923

Polyhedral Domains

Fast Polyhedra Abstract Domain
Gagandeep Singh, Markus Puschel, Martin Vechev
http://dl.acm.org/authorize?N29913

Sound Bit-Precise Numerical Domains
Tushar Sharma, Thomas Reps
http://link.springer.com/chapter/10.1007/978-3-319-52234-0_27

Efficient Elimination of Redundancies in Polyhedra by Raytracing
Alexandre Maréchal, Michaël Périn
http://link.springer.com/chapter/10.1007/978-3-319-52234-0_20

Verification

Thread modularity at many levels: a pearl in compositional verification
Jochen Hoenicke, Rupak Majumdar, Andreas Podelski
http://dl.acm.org/authorize?N29943

On verifying causal consistency
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza
http://dl.acm.org/authorize?N29054

Hypercollecting semantics and its application to static analysis of information flow
Mounir Assaf, David A. Naumann, Julien Signoles, Éric Totel, Frédéric Tronel
http://dl.acm.org/authorize?N29072