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
- Cyclone: A Type-Safe Dialect of C (overview article)
Dan Grossman, Michael Hicks, Trevor Jim, and Greg Morrisett,
C/C++ User's Journal, 2004.
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
Previous Course Instances
| Lab Machines