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
Dr. Ali Ebnenasir at (aebnenas@mtu.edu)
X
Place: Room 217 Rekhi Hall
Time: Wed. 4pm
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
|
12/02/09
|
Looper: Lightweight Detection of
Infinite Loops at Runtime
Reciting
paper
Slides
|
Amin Alipour
|