Oberseminar Arbeitsbereich Programmiersprachen
| Zeit und Ort: |
Do 14-16, Geb 079 Raum 00-019
| |
Das Oberseminar Programmiersprachen ist ein wöchentliches Treffen, in dem sich die Mitarbeiter, Doktoranden und Diplomanden des Arbeitsbereichs treffen, um neue Arbeiten (oder auch Bücher) aus dem Bereich Programmiersprachen zu diskutieren. Typischerweise lesen die Teilnehmer die ausgesuchte Arbeit vor dem Treffen, während des Oberseminars Fragen geklärt und interessante Punkte der Arbeit diskutiert. Jeder an Forschung im Bereich Programmiersprachen Interessierte ist willkommen.
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 präsentiert werden.
Programm
So weit an der Stelle eines Papers noch ein Verantwortlicher steht, soll dieser bitte bis spätestens eine Woche vor dem Termin ein Paper mit Link/PDF einstellen.
| Datum | Paper 1 | Paper 2 | Kuchen |
|---|---|---|---|
| 21.10.2010 | Kickoff meeting | ||
| 28.10.2010 | Introduction to STM | Open Nested Transactions | KA |
| 04.11.2010 | P.J.Landin: The next 700 programming languages | C.A.R. Hoare: An Axiomatic Basis for Computer Programming | LF |
| 11.11.2010 | PADS: A Domain-Specific Language for Processing Ad Hoc Data | The next 700 data description languages | PH |
| 18.11.2010 | Talk Thiemann | William R.Cook: On Understanding Data Abstraction, Revisited.Onward! Essay, 2009. | PT |
| 25.11.2010 | How to *not* write Virtual Machines for Dynamic Languages, C.F. Bolz and A. Rigo | Tracing the Meta-Level: PyPy's Tracing JIT Compiler, C.F. Bolz, A. Cuni, M. Fijalkowski, A. Rigo | DK |
| 02.12.2010 | Cloud Computing --- Issues, Research and Implementations, Mladen A. Vouk | MapReduce: Simplified Data Processing on Large Clusters, Jeffrey Dean and Sanjay Ghemawat | AB |
| 09.12.2010 | Jensen, Moeller, Thiemann: Type analysis for JavaScript | Heidegger, Thiemann: Recency Types for Analyzing Scripting Languages | RJ |
| 16.12.2010 | FA | ||
| 23.12.2010 | -- | ||