CSE 6324 (Spring 2015)

Skip to end of metadata
Go to start of metadata
  • CSE 6324 - Advanced Topics in Software Engineering (Spring 2015)
  • Section 001

Class Meetings

Instructor

TA

Syllabus

syllabus.pdf

Topic: Program Analysis

This course is a hands-on introduction to automatic program analysis. Automatic program analysis has many applications such as the following.

Timeline

  • All deadlines are Monday 9 am.

Day Tentative Class Topic Deadline
1/21 Overview, syllabus  
1/26 Writing Center Form teams
1/28 Basic concepts  
2/02 Basic concepts  
2/04 Swetha & Padmashri: Feedback-directed random test generation  
2/09 Presentation, feedback Inception
2/11 Veena & Srujana: Finding bugs is easy  
2/16 Venkata & Sneha: Boa: A Language and Infrastructure for Analyzing Ultra-Large-Scale Software Repositories Review inception
2/18 Quiz, Peidong: How do professional developers comprehend software?  
2/23 UTA closed  
2/25 Urwish & Suraj: Data clone detection and visualization in spreadsheets  
3/02 Presentation, feedback Iteration 1
3/04 Vishwarath & Sri: Return-Oriented Programming: Systems, Languages, and Applications  
3/09 Spring Vacation  
3/11 Spring Vacation  
3/16 Jagadish & Sandeep: Reducing Human Effort and Improving Quality in Peer Code Reviews using Automatic Static Analysis and Reviewer Recommendation​ Review iteration 1
3/18 Quiz, Nikitha & Ruchi: An Orchestrated Survey on Automated Software Test Case Generation  
3/23 Samuel & Sneha: Automated Whitebox Fuzz Testing Homework 1
3/25 Yixiao & Rajsagar: Program slicing  
3/30 Presentation, feedback – Code walkthrough Iteration 2
4/01 Sagarkumar & Dhruv: Residual Investigation: Predictive and Precise Bug Detection  
4/06 Bumi & Lasya: Automated Concolic Testing of Smartphone Apps Review iteration 2
4/08 Quiz, Fuqiang: Moving Fast with Software Veri fication  
4/13 Abhinav & Nikhil: Automatic Program Repair with Evolutionary Computation, A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches", A Genetic Programming Approach to Automated Software Repair Homework 2
4/15 Dongdong & Vivek: TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones  
4/20 Presentation, feedback – Code walkthrough Iteration 3
4/22 Presentation, feedback – Code walkthrough  
4/27 Sagar & Yash: Korat: automated testing based on Java predicates Review iteration 3
4/29 Quiz, Qicheng: Finding and Understanding Bugs in C Compilers, Student Feedback Day  
5/04 Final presentation Final deliverables
5/06 Final presentation  

University Academic Calendar

Example papers

(1) = Should be presented by a single presenter

Resources

Java
Android
C#
TouchDevelop
TypeScript
Enter labels to add to this page:
Please wait 
Looking for a label? Just start typing.