Concepedia
Statistics
Publications
15
Citations
1.2K
H-Index
14
Active since
1976
Affiliations
University of Kansas(Current)
Hewlett-Packard (United States)
University of California, Berkeley
Aarhus University
Steven S. Muchnick is an author at University of Kansas specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsComputer EngineeringSoftware EngineeringParallel ProgrammingCompilersParallel Computing
Publications per year
1976–2004
Flow analysis and optimization of LISP-like structures
Neil D. Jones, Steven S. Muchnick · 1979 · 306 citations
Engineering, Compiler Technology, Mechanical Engineering +25
A flexible approach to interprocedural data flow analysis and programs with recursive data structures
Neil D. Jones, Steven S. Muchnick · 1982 · 211 citations
Engineering, Subject Programming Language, Software Engineering +24
Efficient instruction scheduling for a pipelined architecture
Steven S. Muchnick, Phillip B. Gibbons · ACM SIGPLAN Notices · 2004 · 165 citations
Engineering, Compiler Technology, Computer Architecture +19
Philip B. Gibbons, Steven S. Muchnick · 1986 · 107 citations · Full text
Engineering, Compiler Technology, Computer Architecture +20
Complexity of flow analysis, inductive assertion synthesis and a language due to Dijkstra
Neil D. Jones, Steven S. Muchnick · 1980 · 60 citations
Inductive Assertion Synthesis, Program Checking, Engineering +19
1–5 of 15