Seminar tomorrow
1 view
Skip to first unread message
Petey
Mar 21, 2012, 12:08:34 AM3/21/12
to UofU Static Analysis Seminar
All,
We'll be discussing a section of Lhotak's PhD dissertation tomorrow.
You'll find it here: http://plg.uwaterloo.ca/~olhotak/pubs/thesis-olhotak-phd.pdf
Since it's so large, we'll only discuss the section entitled
"Empirical Study of Context Sensitivity". It should establish the
basis for a deeper understanding of how we can tweak an abstract
interpretation to give us better or different precision.
I hope that my presentation will be short. Please feel free to ask
questions, as we'll probably have some time.
- Petey
We'll be discussing a section of Lhotak's PhD dissertation tomorrow.
You'll find it here: http://plg.uwaterloo.ca/~olhotak/pubs/thesis-olhotak-phd.pdf
Since it's so large, we'll only discuss the section entitled
"Empirical Study of Context Sensitivity". It should establish the
basis for a deeper understanding of how we can tweak an abstract
interpretation to give us better or different precision.
I hope that my presentation will be short. Please feel free to ask
questions, as we'll probably have some time.
- Petey
Reply all
Reply to author
Forward
0 new messages