Uni-Logo

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

DatumTitelReferentBemerkung
24.10.2006
31.10.2006
7.11.2006
14.11.2006Transactional eventsMatthias Neubauer
21.11.2006Extensible objects without labels
28.11.2006Separation Logic: A Logic for Shared Mutable Data Structures
5.12.2006SVG-Editor für ComesChristoph Denninger
12.12.2006Environmental analysis via Delta-CFA, Improving flow analyses via Gamma-CFA: Abstract garbage collection and counting
verlegt: 21.12.2006, 15 UhrMonitoring Failures in Distributed Systems using Model Driven Software DevelopmentBalint Bors
26.12.2006(Weihnachtspause)
2.1.2007(Weihnachtspause)
9.1.2007Datenpfade im SIP Express Router OpenSER; Protecting representation with effect encapsulationBastian Friedrich
16.1.2007Verifying properties of well-founded linked lists
23.1.2007Zwischenbericht Diplomarbeit Dominik Rothmeier (ca. 15 Minuten); A virtual class calculus
30.1.2007(Dagstuhl Seminar)
6.2.2007Access control in a core calculus of dependency (Seminar Schauinslandhütte)
13.2.2007Type inference for JavaScriptPhillip Heidegger