CSE 6341 Resources

Setup for programming projects

Details on remote access to stdlinux.coeit.osu.edu: link (ignore the PulseVPN link on that page and instead look at the Ivanti VPN link below)
Ivanti VPN: link
Accessing stdlinux.coeit.osu.edu (after setting up the VPN connection): PuTTY link or FastX link
Setting up Unix environment variables: there are many resources online; here is one for Bash: link

Books and other resources

This course does not have a required textbook. We will use materials from several books, as described below, but these will be optional. Your most important reading will be the lecture notes and your own notes. Copies of the lecture notes will be available on the course web page, organized by topic.

Prerequisite: CSE 3341/5341 (official syllabus). My notes for CSE 3341/5341 are available at this link. You can ignore the notes on functional languages; the rest of the topics are expected background for CSE 6341.
F. Pagan, Formal Specification of Programming Languages; on 2-hour reserve at the 18th Avenue Library (details) (reserve)
Kenneth Slonneger and Barry Kurtz, entire book available online at Formal Syntax and Semantics of Programming Languages
Nielson and Nielson, Semantics with Applications: A Formal Introduction
Dragon Book, second edition; on 2-hour reserve at the 18th Avenue Library (details) (reserve) (errata). Do not confuse this with the first edition of the dragon book from 1986, authored by Aho, Sethi, and Ullman.
Context-free grammar for the Java language syntax; starting non-terminal CompilationUnit
Context-free grammar for the Python language syntax
Research paper defining a domain-specific language (DSL) for image processing used in NVIDIA; the first two authors received their Ph.D. degrees from our department
Research paper 1 and Research paper 2 with interesting examples of compiler bugs
Research paper discussing the subtle issues with integer overflows in C/C++