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

Section 001, Class Number 22476

Class Meetings

Time: Monday and Wednesday, 4 pm - 5:20 pm
Location: ~~COBA 141~~ ERB 103 (in the Engineering Research Building)

Instructor

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

TA

Ishtiaque Hussain
Office hours: Wednesday and Thursday, 1 pm - 2 pm
Location: ERB 509 (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.

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

Class Meetings

Instructor

TA

Topic: Program Analysis

Mailing list

Class Wiki

Resources

This Website