Oberseminar Arbeitsbereich Programmiersprachen
| Zeit und Ort: |
Mi 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 |
|---|
| 16.6.10 | Phillip (Vortrag) | --- |
| 23.6.10 | Dienstreisen | --- |
| 30.6.10 | Abadi, Plotkin: A
Model of Cooperative Threads. (POPL 2009) |
Jesse A. Tov and Riccardo Pucella,
Stateful Contracts for Affine Types, ESOP 2010.
(im Tausch für Gay, Vasconcelos, Modular Session Types for Distributed O-O Programming)
|
| 7.7.10 | Mixing type checking and symbolic execution | Michael Hanus: Lazy and Faithful Assertions for Functional Logic Programs, WFLP 2010
Video vom Vortrag |
| 14.7.10 |
An Analysis of the Dynamic Behavior of JavaScript Programs
PLDI 2010 (download ueber svn
pldi275-richards.pdf
oder:
pldi275-richards.pdf)
| Concurrency by Default: Using Permissions to Express Dataflow in Stateful Programs. Sven Stork, Paulo Marques, and Jonathan Aldrich. In Proceedings of Onward!, 2009. |
| 21.7.10 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon:
Modular verification of security protocol code by typing
| Geoffrey Washburn and Stephanie Weirich. Generalizing Parametricity Using Information Flow. In IEEE Symposium on Logic in Computer Science (LICS), pages 62-71, Chicago, IL, USA, June 2005 |
| 28.7.10 | Verschoben wegen Urlaub | Liquid types. Patrick M. Rondon, Ming Kawaguchi, and Ranjit Jhala. acm.org |
| 12.8.10 | Practical API Protocol Checking with Access Permissions. Kevin Bierhoff, Nels E. Beckman, and Jonathan Aldrich. PDF | Encoding Ownership Types in Java. Nicholas Cameron, James Noble.
SVN (Achtung, Langversion mit Beweisen) |
| 18.8.10 | Ben Livshits has papers about JavaScript static and dynamic analysis related to security issues: Gulfstream, JSMeter, JSZap, ConScript. I suggest to look at ConScript first. | |
| 16.9.10 | Matchete: Paths through the pattern matching jungle | Isil Dillig, Thomas Dillig, Alex Aiken: Sound, complete and scalable path-sensitive analysis. PLDI 2008:270-280 |
| 23.9.10 | Isil Dillig, Thomas Dillig, Alex Aiken: Fluid Updates: Beyond Strong vs. Weak Updates. ESOP 2010:246-266 | Dimitrios Vardoulakis, Olin Shivers: CFA2: A Context-Free Approach to Control-Flow Analysis. ESOP 2010:570-589 |
| Inferable object-oriented typed assembly language | |
