Software engineering, Programming languages, Analysis, Reasoning, and Compilers Research

SPARC Home

Research

People

Resources

Events

Links

SPARC Courses

Undergraduate

  • CS2130 - Languages and Translation
  • CS2335 - Software Practicum
  • CS2340 - Objects and Deesign
  • CS3300 - Introduction to Software Engineering
  • CS3911 - Senior Design Project
  • CS4240 - Compilers, Interpreters, Program Analysis
  • CS4320 - Introduction to Software Process
  • CS4330 - Software Engineering Application

Graduate

  • CS6241 - Design and Implementation of Compilers
  • CS6245 - Compiling for Parallelism
  • CS6246 - Object-oriented Systems
  • CS6300 - Software Development Process
  • CS6310 - Software Architecture and Design
  • CS6320 - Software Requirements Analysis
  • CS6330 - Software Generation, Testing, and Maintenance
  • CS8001SEP - SPARC Brown Bag Seminar
  • CS8030 - Software Engineering Seminar
  • CS8803 - Program Analysis and Testing
  • CS8803 - Formal Methods
  • CS8803 - Advanced Compiler Optimizations
  • CS8803 - Semantics of Programming Languages
  • CS8113G - Specification and Analysis of Interactive Systems

Planning Resources

Ph.D. Qualifier Exam Reading Lists


Georgia Tech | College of Computing | SPARC Research Home Updated Feb. 9, 2006 by Jim Jones