Oberseminar Arbeitsbereich Programmiersprachen WS 06/07
Das Oberseminar Programmiersprachen ist ein wöchentliches Treffen der Mitarbeiter, Doktoranden und Diplomanden des Arbeitsbereichs. Im Oberseminar werden neue Arbeiten (oder auch Bücher) aus dem Bereich Programmiersprachen diskutiert. Typischerweise lesen die Teilnehmer die ausgesuchte Arbeit vor dem Treffen, so dass während des Oberseminars Fragen geklärt und interessante Punkte der Arbeit diskutiert werden können. Jeder an Forschung im Bereich Programmiersprachen Interessierte ist willkommen.
Das Seminar findet Dienstag von 16:00 Uhr bis 18:00 Uhr in SR 00-019, Gebäude 079, statt.
Darüber hinaus ist das Oberseminar das Forum, in dem nach besonderer Ankündigung Abschlussvorträge zu Studien- und Diplomarbeiten stattfinden sowie Berichte über neue Forschungsergebnisse des Arbeitsbereichs.
Liste möglicher Themen (intern)
Programm
| Datum | Titel | Referent | Bemerkung |
|---|---|---|---|
| 24.10.2006 | |||
| 31.10.2006 | |||
| 7.11.2006 | |||
| 14.11.2006 | Transactional events | Matthias Neubauer | |
| 21.11.2006 | Extensible objects without labels | ||
| 28.11.2006 | Separation Logic: A Logic for Shared Mutable Data Structures | ||
| 5.12.2006 | SVG-Editor für Comes | Christoph Denninger | |
| 12.12.2006 | Environmental analysis via Delta-CFA, Improving flow analyses via Gamma-CFA: Abstract garbage collection and counting | ||
| verlegt: 21.12.2006, 15 Uhr | Monitoring Failures in Distributed Systems using Model Driven Software Development | Balint Bors | |
| 26.12.2006 | (Weihnachtspause) | ||
| 2.1.2007 | (Weihnachtspause) | ||
| 9.1.2007 | Datenpfade im SIP Express Router OpenSER; Protecting representation with effect encapsulation | Bastian Friedrich | |
| 16.1.2007 | Verifying properties of well-founded linked lists | ||
| 23.1.2007 | Zwischenbericht Diplomarbeit Dominik Rothmeier (ca. 15 Minuten); A virtual class calculus | ||
| 30.1.2007 | (Dagstuhl Seminar) | ||
| 6.2.2007 | Access control in a core calculus of dependency (Seminar Schauinslandhütte) | ||
| 13.2.2007 | Type inference for JavaScript | Phillip Heidegger |