15-213 Introduction to Computer Systems

x86-64 Machine-Level Programming

The following documents will help you fathom the depths of machine-level programming on the new x86-64 machines, a 64-bit extension of the Intel instruction set.

IA32 and Assembler Reference Material

The following are for the older Intel x86 architectures. See the newer references above for the x86-64 (also known as IA32-EM64T).



  • Cyclone: A Type-Safe Dialect of C (overview article)
    Dan Grossman, Michael Hicks, Trevor Jim, and Greg Morrisett,
    C/C++ User's Journal, 2004.
  • Cyclone for C Programmers (manual section)
    (you may skip: Zero-Terminated Pointers, LIFO regions, Datatypes, Exceptions, Pattern Matching, Polymorphic Functions, Polymorphic Data Structures, Abstract and Existential Types)
  • Cyclone home page

Garbage Collection

Previous Course Instances

[ Home | Schedule | Assignments | Exams | Lab Machines | Resources ]
[ Textbook | Autolab ]
[ Newsgroup | Blackboard ]

Frank Pfenning