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

Theory of Automata Materials

 

CSL 705: Theory of Computation

Xubuntu 12.04.1 LTS light weight desktop

PC (Intel x86) desktop CD

For almost all PCs. This includes most machines with Intel/AMD/etc type processors and almost all computers that run Microsoft Windows, as well as newer Apple Macintosh systems based on Intel processors. Choose this if you are at all unsure.

64-bit PC (AMD64) desktop CD

Choose this to take full advantage of computers based on the AMD64 or EM64T architecture (e.g., Athlon64, Opteron, EM64T Xeon, Core 2). If you have a non-64-bit processor made by AMD, or if you need full support for 32-bit code, use the Intel x86 images instead.