Workshop on Security and Reliability in Software Systems

on Dec 12, 2008 in Bangalore, India
Colocated with FSTTCS/ APLAS

Venue: CSA Seminar Hall at IISc.

Program

Morning Session (9:00 am - 12:30 pm)

Tutorial
9:00 - 11:00 am Systematic Software Testing by Sarfraz Khurshid

Coffee Break
11:00 - 11:30 am

Invited Short Talks
11:30 - 11:45 am On the Verification of Concurrent Programs by Ahmed Bouajjani
11:45 - 12:00 pm The interleaving-explosion problem in testing concurrent programs by P. Madhusudan
12:00 - 12:15 pm Access Control Interoperability by Rupak Majumdar
12:15 - 12:30 pm Conflict-Tolerant Features by Deepak D'Souza

Lunch (12:30 pm - 2:00 pm)

Afternoon Session (2:00 pm - 6:30 pm)

Tutorial
2:00 - 4:00 pm Building a specialized static analyzer: the Astrée by Antoine Miné

Coffee Break
4:00 - 4:30 pm

Invited Short Talks
4:30 - 4:45 pm Static Computation of Symbolic Complexity Bounds by Sumit Gulwani
4:45 - 5:00 pm Refinement Types for Secure Implementations by Karthik Bhargavan
5:00 - 5:15 pm A Type System for Data Flow Integrity by Prasad Naldurg
5:15 - 5:30 pm Cryptography meets Programming Languages: A new class of problems by Ramarathnam Venkatesan

Discussion Session
5:30 - 6:30 pm

Dinner (at MSRI from 7:00 pm)


Tutorial Descriptions