Skip to Main Content

Program Analysis: Technical Reports

This course is an overview of program analysis including static analysis which involves reasoning about program source, dynamic analysis which involves reasoning about program execution traces, and formal methods which involve mathematical foundations of

Technical Reports

​​CaltechCSTR Caltech Library manages this repository of technical reports on behalf of the Caltech Computer Science Department. Reports are freely available. The CaltechCSTR project is part of CODA.

AAAI (American Association of Artificial Intelligence) Technical Reports Founded in 1979, the Association for the Advancement of Artificial Intelligence (AAAI) (formerly the American Association for Artificial Intelligence) is a nonprofit scientific society devoted to advancing the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines. AAAI aims to promote research in, and responsible use of, artificial intelligence. More...

Electronic Colloquium on Computational Complexity (ECCC)