Weds

08:30

Invited talk:  The Scala Experiment - Can We Provide Better Language Support for Component Systems

Martin Odersky

Ecole Polytechnique Fédérale de
Lausanne

Weds

10:00

The Next 700 Data Description Languages

Kathleen Fisher, Yitzhak Mandelbaum and David Walker

AT&T Research and Princeton University

Weds

10:25

A Hierarchical Model of Data Locality

Chengliang Zhang, Yutao Zhong, Mitsunori Ogihara, Chen Ding

University of Rochester

Weds

10:50

Simplifying Reductions

Gautam Gupta and Sanjay Rajopadhye

Colorado State University

Weds

11:40

Formal certification of a compiler back-end, or: programming a compiler with a proof assistant

Xavier Leroy

INRIA Rocquencourt

Weds

12:05

Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith and Keith Wansbrough

University of Cambridge

Weds

14:00

Decidability and Proof Systems for Language-Based Noninterference Relations

Mads Dam

KTH

Weds

14:25

On Flow-Sensitive Security Types

Sebastian Hunt and David Sands

City University

Weds

14:50

A Logic for Information Flow in Object-Oriented Programs

Torben Amtoft, Sruthi Bandhakavi and Anindya Banerjee

Kansas State University

Weds

15:45

Polymorphic Regular Tree Types and Patterns

Jérôme Vouillon

CNRS and Université Paris 7

Weds

16:10

Verifying Properties of Well-Founded Linked Lists

Shuvendu K. Lahiri and Shaz Qadeer

Microsoft Research

Weds

16:35

Environmental Analysis via Delta-CFA

Matthew Might and Olin Shivers

Georgia Institute of Technology

Weds

17:25

Small Bisimulations for Reasoning About Higher-Order Imperative Programs

Vasileios Koutavas and Mitchell Wand

Northeastern University

Weds

17:50

A Fixpoint Calculus for Local and Global Program Flows

Rajeev Alur, Swarat Chaudhuri, and P. Madhusudan

University of Pennsylvania

Thurs

08:30

Invited talk:  The next mainstream programming language: a game developer's perspective

Tim Sweeney

Epic Games Inc

Thurs

10:00

Adventures in Time and Space

James S. Royer

Syracuse University

Thurs

10:25

N-Synchronous Kahn Networks$N$: A Relaxed Model of Synchrony for Real-Time Systems.

Albert Cohen, Christine Eisenbeis, Mard Duranton, Claire Pagetti, Florence Plateau, and Marc Pouzet

INRIA Futurs

Thurs

10:50

Compiler-Directed Channel Allocation for Saving Power in On-Chip Networks

Guangyu Chen, Feihui Li, and Mahmut Kandemir

Pennsylvania State University

Thurs

11:40

Fast and Loose Reasoning is Morally Correct

Nils Anders Danielsson, Jeremy Gibbons, John Hughes, and Patrik Jansson

Chalmers University of Technology

Thurs

12:05

Modular Set-Based Analysis from Contracts

Philippe Meunier, Robert Bruce Findler, and Matthias Felleisen

Northeastern University

Thurs

14:00

Stratified type inference for generalized algebraic data types

François Pottier and Yann Régis-Gianas

INRIA

Thurs

14:25

Hybrid Type Checking

Cormac Flanagan

UCSC

Thurs

14:50

A Polymorphic Modal Type System for Lisp-like Multi-Staged Languages

Ik-Soon Kim, Kwangkeun Yi and Cristiano Calcagno

Seoul National University

Fri

08:30

Invited talk:  Why Dependent Types Matter

James McKinna

St Andrews University

Fri

10:00

A Virtual Class Calculus

Erik Ernst, Klaus Ostermann and William R. Cook

University of Aarhus

Fri

10:25

Interruptible Iterators

Jed Liu, Aaron Kimball and Andrew C. Myers

Cornell University

Fri

10:50

Specifying C++ concepts

Gabriel Dos Reis Bjarne Stroustrup

Texas A&M University

Fri

11:40

Frame rules from answer types for code pointers

Hayo Thielecke

University of Birmingham

Fri

12:05

Certified Assembly Programming with Embedded Code Pointers

Zhaozhong Ni and Zhong Shao

Yale University

Fri

14:00

Associating Synchronization Constraints with Data in an Object-Oriented Language

Mandana Vaziri, Frank Tip and Julian Dolby

IBM Research

Fri

14:25

Autolocker: Synchronization Inference for Atomic Sections

Bill McCloskey, Feng Zhou, David Gay and Eric Brewer

UC Berkeley

Fri

14:50

Protecting Representation with Effect Encapsulation

Yi Lu and John Potter

UNSW

Fri

15:45

The Essence of Command Injection Attacks in Web Applications

Zhendong Su and Gary Wassermann

University of California, Davis

Fri

16:10

Harmless Advice

Daniel S. Dantas and David Walker

Princeton University

Fri

16:35

A Verifiable SSA Program Representation for Aggressive Compiler Optimization

Vijay S Menon, Neal Glew, Brian R Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai and Leaf Petersen

Intel Corporation

Fri

17:00

Staged Allocation: A Compositional Technique for Specifying and Implementing Procedure Calling Conventions

Reuben Olinsky, Christian Lindig and Norman Ramsey

Harvard University