CSc 620
Advanced Execution Systems for Reliable Computing
Instructors: Neelam Gupta & Rajiv Gupta
Office: Gould-Simpson Bldg., Rm. 708 (N. Gupta) & R. 746 (R. Gupta).
Tele: 626-8282 (N. Gupta) & 626-2818 (R. Gupta)
Email: ngupta@cs.arizona.edu & gupta@cs.arizona.edu
Meeting Times: 12:00-1:15PM, Monday-Wednesday, GLD-S 942
Office Hours: 1:15-2:15PM, Monday - Wednesday
Class Homepage: http://www.cs.arizona.edu/classes/cs620/fall06/
Schedule and Lecture Notes
Reading List & Potential Projects
|
Course Description
In this course we will study recent innovations in the development of Advanced Execution Systems (AESs) that support the means for dynamically monitoring and analyzing program behavior. The capabilities of such systems can be used to detect anomolous behavior (i.e., manifestation of faults, security violations, performance bottlenecks, etc.). We will also discuss how, following the detection of anomolous behavior, such systems can support dynamic analysis aimed at detecting and fixing the root cause of such behavior. We will consider the additional challenges of building AESs for server programs and multithreaded programs. OS and architectural support for achieving the capabilities of AESs will also be considered.
Relevant Conferences and Journals in
Software Engineering, Programming Languages and Compilers,
Computer Architecture & Operating Systems.
- FSE, ESEC-FSE - ACM SIGSOFT Symposium on Foundations of Software Engineering
- ICSE - SIGSOFT/IEEE International Conference on Software Engineering.
- ASE - IEEE International Conference on Automated Software Engineering.
- ICSM - IEEE International Conference on Software Maintenance.
- PASTE - ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and
Engineering.
- ISSTA - ACM SIGSOFT International Symposium on Software Testing and Analysis.
- PLDI - ACM SIGPLAN Conference on Programming Language Design and Implementation.
- POPL - ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
- AADEBUG - International Symposium on Automated and Analysis-Driven Debugging.
- TACAS - International Conference on Tools and Algorithms for Construction and
Analysis of Systems.
- SPIN - International SPIN Workshop on Model Checking of Software.
- TSE - IEEE Transactions on Software Engineering.
- JASE - Journal of Automated Software Engineering.
- TOSEM - ACM Transactions on Software Engineering and Methodology.
- TOPLAS - ACM Transactions on Programming Languages and Systems.
- JSTVR - Journal of Software Testing, Verification and Reliability.
- TACO - ACM Transactions on Architecture and Code Optimization.
- ISCA - International Symposium on Computer Architecture.
- MICRO - IEEE/ACM International Symposium on Microarchitecture.
- HPCA - International Symposium on High-Performance Computer Architecture.
- DSN - International Conference on Dependable Systems and Networks.
- ASPLOS - International conference on Architectural Support for Programming Languages and operating Systems.
- HiPEAC - International Conference on High Performance Embedded Architectures and Compilation.
- OSDI - USENIX Symposium on Operating Systems Design and Implementation.
- SOSP - ACM Symposium on Operating Systems Principles.
- USENIX - USENIX Annual Technical Conference.
Course Requirements
- Two lecture style class presentations on a selected topic (40%).
- Research project related to the selected topic
- Project report (35%).
- Project presentation (15%).
- Attendance and class participation (10%).