Claus Brabrand, UFPE, Brazil Aug 11, 2010DATA-FLOW ANALYSIS Claus Brabrand ((( [email protected] ))) Associate Professor, Ph.D. ((( Programming, Logic, and.
Effective Static Deadlock Detection Mayur Naik, Chang-Seo Park, Koushik Sen and David Gay ICSE’09 Presented by Alex Kogan 27.04.2014.
Recap from last time Saw several examples of optimizations –Constant folding –Constant Prop –Copy Prop –Common Sub-expression Elim –Partial Redundancy.
Administrative info Subscribe to the class mailing list –instructions are on the class web page, which is accessible from my home page, which is accessible.
Another example p := &x; *p := 5 y := x + 1;. Another example p := &x; *p := 5 y := x + 1; x := 5; *p := 3 y := x + 1; ???
Projects. Dataflow analysis Dataflow analysis: what is it? A common framework for expressing algorithms that compute information about a program Why.
Claus Brabrand, UFPE, Brazil Aug 09, 2010DATA-FLOW ANALYSIS Claus Brabrand ((( [email protected] ))) Associate Professor, Ph.D. ((( Programming, Logic, and.
Claus Brabrand, UFPE, Brazil Aug 04, 2010DATA-FLOW ANALYSIS Claus Brabrand ((( [email protected] ))) Associate Professor, Ph.D. ((( Programming, Logic, and.