Uni-Logo

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.

DatumPaper 1Paper 2Kuchen
21.10.2010Kickoff meeting
28.10.2010Introduction to STMOpen Nested TransactionsKA
04.11.2010P.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.2010Talk ThiemannWilliam R.Cook: On Understanding Data Abstraction, Revisited.Onward! Essay, 2009. PT
25.11.2010How to *not* write Virtual Machines for Dynamic Languages, C.F. Bolz and A. RigoTracing the Meta-Level: PyPy's Tracing JIT Compiler, C.F. Bolz, A. Cuni, M. Fijalkowski, A. Rigo DK
02.12.2010Cloud Computing --- Issues, Research and Implementations, Mladen A. VoukMapReduce: Simplified Data Processing on Large Clusters, Jeffrey Dean and Sanjay GhemawatAB
09.12.2010Jensen, Moeller, Thiemann: Type analysis for JavaScriptHeidegger, Thiemann: Recency Types for Analyzing Scripting Languages RJ
16.12.2010FA
23.12.2010--