CS 7190 (Fall 2012)

Seminar in Programming Languages
Time: Wednesdays at 3:35pm
Location: Upson 5130
POC: Owen Arden
Previous Semesters: Archives

Overview

The Programming Languages Discussion Group meets weekly to discuss papers in the area of programming languages, program analysis, and compilers. The goal is to encourage interactions and discussions between students, researchers, and faculty with interests in this area. The seminar is open to everybody interested in languages and compilers. First-year and second-year students are especially encouraged to participate. Participating students should register for the 1-credit course CS 7190.

Talks will be advertised on the pldg-l email list.

Schedule


Date Topic Presenter
29 AugThe complete proof theory of hybrid systems
André Platzeri. LICS'12		Jean-Baptiste Jeannin
5 SepCryptDB: Protecting Confidentiality with Encrypted Query Processing
Raluca Ada Popa, Catherine M. S. Redfield, Nickolai Zeldovich, and Hari Balakrishnan. SOSP'11		K. Vikram
12 SepRun Your Research: On the Effectiveness of Lightweight Mechanization
C. Klein et al. POPL'12		Mike George
19 SepProbabilistic Relational Reasoning for Differential Privacy
Barthe et al. POPL 2012		Kostas Mamouras
26 SepSemantic comparison of security policies : from access control policies to flow properties
Mathieu Jaume. SPW'12		Elisavet Kozyri
3 OctFirst-class C Contexts in Cinquecento
Vic Zandy and Dan Ridge, IDA/CCS Technical Report. More info here		Dan Ridge
IDA/CCS
10 OctTowards a Practical Secure Concurrent Language
Stephen Muller, Stephen Chong. OOPSLA 2012		Danfeng Zhang
17 OctThe 7 implementations of IncrementalYaron Minsky
Jane Street
24 OctA security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms
Cédric Fournet, Gurvan Le Guernic and Tamara Rezk. CCS'09		Tom Magrino
31 OctVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations
Zhao et al. POPL'12		Shrutarshi Basu
7 NovAmigo ReviewChair: Nate Foster
14 NovData types à la carte
Wouter Swierstra. Journal of Functional Programming 2008		Raghu Rajkumar
28 NovConcurrent Data Representation Synthesis
Hawkins et al. PLDI 2012		Yizhou Zhang
5 DecPropositions as Sessions
Philip Wadler ICFP '12		Chin Isradisaikul
12 DecAsynchronous VLSIStephen Longfield

Other suggested papers

See the PLDG wiki page

Validate XHTML Validate CSS
Last updated January 2012