Software Design Laboratory

MichiganTech University

Software Systems Seminar

The goal of SSS weekly seminars is to exchange and stimulate ideas related to software-intensive systems. Topics of interest include, but are not limited to: software design, verification, synthesis, compilers, system software, embedded software, development methodologies, etc. SSS seminars have an informal setting with a 20-minute talk followed by a Q&A session while having some refreshments. Anyone is welcome to give a talk in SSS. If you want to volunteer for a talk please contact Amin Alipour at (malipour@mtu.edu)


Place: Room 217 Rekhi Hall

Time: Wed. 3pm


Seminar Schedule

Date

Topic

Presenter

10/14/09

Self-Stabilization; An Introduction

Slides

Aly Farahat

10/21/09

Program Slicing; An Introdiction

Slides

Amin Alipour    

10/28/09

Nash Equilibria in Distributed Systems

Slides

Aly Farahat

11/04/09

Static Data Race Detection

Slides

Amin Alipour

11/11/09

The solution to a cyclic relaxation problem.

Slides

Aly Farahat