Advanced Topics in Programming Languages and Compilers By Prof. Alfred V. Aho

Lecture

	Introduction to Course
	Data-Flow Analysis
	Nikhil Sarda: Chronicler
	Neil Deshpandu, Erica Sponsler, Nate Weiss: GO (Best seen with Chrome)
	Neeraja Ramanan: Android runtime environment
	YoungHoon Jung: Java Dynamics

Language Reference Manuals

	Dennis M. Ritchie, C Reference Manual
	Kernighan & Ritchie, The C Programming Language
	The C Language Reference Manual (DEC)
	The C Language Reference Manual (SGI)
	The C Language Reference Manual (Microsoft)
	Stroustrup, The C++ Programming Language
	The Java Language Specification
	The C# Language Specification
	Aho, Kernighan, and Weinberger, The AWK Programming Language

Courses By Prof. S. Arun-Kumar

CSL 102: Introduction to Computer Science II semester 2012-13

---

CSL 303: Logic for Computer Science I semester 2012-13

CSL 705: Theory of Computation II semester 2011-12

CSL 765: Introduction to Logic and Functional ProgrammingI semester 2011-12

CSL 750: Foundations of Automatic Verification II semester 2009-10

CSL 105: Discrete Mathematical Structures 2008-09

CSL 101: Introduction to Computers and Programming I semester 2006-07

CSL 750: Foundations of Automatic Verification 2005-06

CS 432N: Compiler Design Principles 2004-05

CS 903: Special Topics in Theoretical Computer Science (Algorithmic Number Theory) 2001-02

CS232F: Programming Languages 2001-02

CS 912: Special Topics in Concurrency 2000-01

Course on Code Optimization

 http://infolab.stanford.edu/~ullman/dragon/w06/w06.html

Notes in PDF

• Lexical Analysis and Parsing
• Syntax-Directed Translation
• Code Optimization I
• Code Optimization II
• Code Optimization III

Foundations of Computer Science

In 1992, Al Aho and Jeffery D. Ullman published a book called Foundations of Computer Science, whose goal was to present CS theory as something integrally connected to CS practice. This book has been taken out of print by W. H. Freeman . You are welcome to use it if you like

http://infolab.stanford.edu/~ullman/focs.html