Subrecursive Program Schemata I & II: I. Undecidable Equivalence problems; II. Decidable Equivalence Problems. - Robert L. Constable; Steven S. Muchnick (J. Comput. Syst. Sci., 1972)

Structure and Complexity in Subrecursive Computation. - Steven S. Muchnick (1974)

Sigops(Paper Session). - David R. Cheriton; Steven S. Muchnick; Hasan H. Sayani; Robert Trueman Tomlinson; Ronnie G. Ward; Darrell L. Ward (ACM Annual Conference, 1976)

The command interpreter and command language design of the com-share COMMANDER II system. - Steven S. Muchnick (ACM Annual Conference, 1976)

Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language. - Neil D. Jones; Steven S. Muchnick (POPL, 1976)

The Vectorized Grzegorczyk Hierarchy. - Steven S. Muchnick (Math. Log. Q., 1976)

Computational Complexity of Multiple Recursive Schemata. - Steven S. Muchnick (SIAM J. Comput., 1976)

Even Simple Programs Are Hard To Analyze. - Neil D. Jones; Steven S. Muchnick (J. ACM, 1977)

TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages - Neil D. Jones; Steven S. Muchnick (Springer, 1978)

The Complexity of Finite Memory Programs with Recursion. - Neil D. Jones; Steven S. Muchnick (J. ACM, 1978)

Flow Analysis and Optimization of Lisp-Like Structures. - Neil D. Jones; Steven S. Muchnick (POPL, 1979)

Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra - Neil D. Jones; Steven S. Muchnick (FOCS, 1980)

A Semantic Comparison of LISP and Scheme. - Steven S. Muchnick; Uwe F. Pleban (LISP Conference, 1980)

Program flow analysis - theory and applications. - Steven S. Muchnick; Neil D. Jones (Prentice Hall, 1981)

A Fixed-Program Machine for Combinator Expression Evaluation. - Steven S. Muchnick; Neil D. Jones (Symposium on LISP and Functional Programming, 1982)

A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures. - Neil D. Jones; Steven S. Muchnick (POPL, 1982)

SunPro: Engineering a Pratical Program Development Environment. - Evan Adams; Wayne Gramlich; Steven S. Muchnick; Soren Tirfing (Advanced Programming Environments, 1986)

Efficient instruction scheduling for a pipelined architecture (with retrospective) - Steven S. Muchnick; Phillip B. Gibbons (Best of PLDI, 1986)

Efficient instruction scheduling for a pipelined architecture. - Phillip B. Gibbons; Steven S. Muchnick (SIGPLAN Symposium on Compiler Construction, 1986)

Dbxtool: A Window-Based Symbolic Debugger for Sun Workstations. - Evan Adams; Steven S. Muchnick (Softw. Pract. Exp., 1986)

The Scalable Processor Architecture (SPARC). - Robert B. Garner; Anant Agrawal; Faye A. Briggs; Eric W. Brown 002; David Hough 001; Bill Joy 001; Steve R. Kleiman; Steven S. Muchnick; Masood Namjoo; David A. Patterson 001; Joan M. Pendleton; Richard Tuck (COMPCON, 1988)

Optimizing Compilers for the SPARC Architecture: An Overview. - Steven S. Muchnick; C. Aoki; V. Ghodsi; M. Helft; M. Lee; Richard Tuck; D. Weaver; A. Wu (COMPCON, 1988)

Advanced Compiler Design and Implementation - Steven S. Muchnick (Morgan Kaufmann, 1997)