Program Analysis
Program Analysis
This course will focus on static and dynamic program analysis techniques that can be used to perform tasks such as program verification, profiling, optimization, repair, and comprehension. The students will learn the concepts behind the techniques, and will apply their learning to develop analyses using the state-of-art tools. Here is the course page for detailed information.
Links to tools created by the group
Interesting External Links
Education - This is a contributing Drupal Theme
Design by
WeebPal.