• Browse
  • Pages
  • Blog
  • Labels
  • Attachments
  • Bookmarks
  • Mail
  • Advanced

  • Keyboard Shortcuts
  • Confluence Gadgets
• Log In

1. Dashboard
2. SERC
3. Csallner
4. CSE 6324
5. CSE 6324 (Fall 2017)
6. Information
7. Page Comparison

CSE 6324 (Fall 2017)

Version 2 by Christoph Csallner on May 18, 2017 17:33. << Changes from 1 to 2 compared with Current by Christoph Csallner on May 18, 2017 17:41.

Key This line was removed. This word was removed. This word was added. This line was added.

Comment:

Changes (1)

View Page History

...

* CSE 6324 - Advanced Topics in Software Engineering (Fall 2017)
* Section 1

h2. Class Meetings
* Time: Monday and Wednesday, 4:00 pm - 5:20 pm
* Location: TBD

h2. Instructor
* [Christoph Csallner|http://ranger.uta.edu/~csallner/index.html]
* Office hours: Monday and Wednesday, 12 pm -- 12:45pm
* Office: ERB 554
* Email: [mailto:csallner@uta.edu]

h2. TA
* TBD


h2. Topic: Program Analysis

This course is a hands-on introduction to automatic program analysis. Automatic program analysis has many applications, for example:

* Compilers: [GCC|http://gcc.gnu.org/], [LLVM|http://llvm.org/]
* Virtual machines: .Net, [Java VM|http://docs.oracle.com/javase/specs/]
* Integrated development environments: [Visual Studio|http://www.visualstudio.com/], [Eclipse|http://www.eclipse.org/]
* Program understanding and re-engineering tools
* Automatic bug finding and and verification: [FindBugs|http://findbugs.sourceforge.net/], [Static Driver Verifier|http://msdn.microsoft.com/en-us/windows/hardware/gg487498.aspx], [Pex|http://research.microsoft.com/en-us/projects/pex/]
* Security analysis: NIST maintains a [list of source code security analyzers|http://samate.nist.gov/index.php/Source_Code_Security_Analyzers.html]

h2. Timeline & Resources

* [Timeline, example papers, etc.|https://docs.google.com/spreadsheets/d/1SkE6_KB-CmjYqwJoLcwnMA87MiTjHrfy_VWoENAVzS8/pubhtml]

** All deadlines (homework & project-related) are *on Monday* at 9 am.
* [Syllabus|https://www.uta.edu/profiles/christoph-csallner]

...

* [UTA Writing Center|http://www.uta.edu/owl/]
* [University Academic Calendar|http://www.uta.edu/uta/acadcal.php?session=20176]

• Powered by Atlassian Confluence 3.4.9, the Enterprise Wiki
• Printed by Atlassian Confluence 3.4.9, the Enterprise Wiki.
•   |  Report a bug
•  |  Atlassian News