CPS Transformation of Flow Information - Palsberg/Wand for 1/18/12
2 views
Skip to first unread message
Chris
Jan 17, 2012, 11:53:41 AM1/17/12
to UofU Static Analysis Seminar
I am sorry for the delay in getting this out.
Last week it was fairly obvious that everyone in attendance was
familiar with CFA. I was originally planning to cover the k-CFA this
week; however, I don't believe anyone will benefit from this.
So this week, we will discuss Palsberg and Wand's paper on constraint-
based CFA, "CPS Transformation of Flow Information." This paper can
be found at: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3189
If anyone would like me to cover k-CFA, let me know. I will either
cover it in a future week if there is enough interest, or I can review
it, one on one.
Chris
Last week it was fairly obvious that everyone in attendance was
familiar with CFA. I was originally planning to cover the k-CFA this
week; however, I don't believe anyone will benefit from this.
So this week, we will discuss Palsberg and Wand's paper on constraint-
based CFA, "CPS Transformation of Flow Information." This paper can
be found at: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3189
If anyone would like me to cover k-CFA, let me know. I will either
cover it in a future week if there is enough interest, or I can review
it, one on one.
Chris
Chris
Jan 17, 2012, 2:03:00 PM1/17/12
to UofU Static Analysis Seminar
Oops: I linked to the wrong paper by Palsberg.
We will be reading Palsberg's paper on constraint-based analysis,
"Closure Analysis in Constraint Form." This paper can be found at:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.3803
Sorry for the mistake.
Chris
We will be reading Palsberg's paper on constraint-based analysis,
"Closure Analysis in Constraint Form." This paper can be found at:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.3803
Sorry for the mistake.
Chris
Reply all
Reply to author
Forward
0 new messages