CSE 6329 - Special Topics in Advanced Software Engineering: Spring 2011

Section 001, Class Number 23307

Class Meetings

Time: Monday and Wednesday, 2:30 pm - 3:50 pm
Location: ERB 103 (in the Engineering Research Building)

Instructor

Christoph Csallner
Office: ERB 554 (in the Engineering Research Building)
Office hours: Monday and Wednesday, 4 pm - 5 pm
Email: csallner@uta.edu
Phone: 817-272-3334

TA

Derek White
Office hours: Tuesday and Thursday, 2 pm - 3:30 pm
Location: ERB 520 (in the Engineering Research Building)

Topic: Program Analysis

This course is a hands-on introduction to automatic program analysis. I.e., we will discuss how a software tool can automatically analyze user programs.

Automatic program analysis has many applications such as the following.

Coding Duels: Pex for fun
Compilers: GCC, LLVM
Virtual machines: .Net, Java VM
Integrated development environments: Visual Studio, Eclipse
Program understanding and re-engineering tools
Automatic bug finding and and verification: FindBugs, Static Driver Verifier, Pex
Security analysis: NIST maintains a list of source code security analyzers

Mailing list

We have a mailing list for this class and use it for announcements, questions about homework assignments, etc: CSE6329-CSALLNER.

Class Wiki

Resources

Java