Doctoral Degrees Conferred Search Academic Year: 1984-1985 Name Thesis Advisor(s) Thesis Title Allan L. Fisher H. T. Kung Implementation Issues for Algorithmic VLSI Processor Arrays Edward H. Frank Robert Sproull A Data-driven Multiprocessor for Switch-level Simulation of VLSI Circuits Andy Hisgen Peter Hibbard Optimization of User-defined Types: A Program Transformation Approach David Hornig Richard Rashid, Raj Reddy Automatic Partitioning and Scheduling on a Network of Personal Computers Michael L. Kazar Anita Jones Automatic Distribution of Programs and Data in a Distributed Environment Bruce D. Lucas Takeo Kanade, Raj Reddy Generalized Image Matching by the Method of Differences Joseph Mohan Anita Jones Performance of Parallel Programs: Model and Analyses Thomas L. Rodeheffer Peter Hibbard Compiling Ordinary Programs for Executions on an Asynchronous Multiprocessor Peter Schwarz Alfred Spector Transactions on Typed Objects Charles Thorpe Raj Reddy FIDO: Vision and Navigation for a Robot Rover Masaru Tomita Jaime Carbonell An Efficient Context-free Parsing Algorithm for Natural Languages and its Application Philip Lee Wadler Nico Habermann Listlessness is Better than Laziness Robert Wilber Merrick Furst A Comparison of the Black and Black-white Pebble Games Academic Year: 1983-1984 Name Thesis Advisor(s) Thesis Title Marc Donner Marc Raibert, Raj Reddy Control of Walking: Local Control and Real Time Systems Michael Foster H. T. Kung Specialized Silicon Compilers for Language Recognition John Laird Allen Newell Universal Subgoaling Philip Lehman H. T. Kung Systolic Arrays for Rapid Processing of Simple Database Transactions David Notkin Nico Habermann Interactive Structure-oriented Computing Jonathan Rosenberg Mary Shaw Generating Efficient Code for Generic Subprograms Mark Sherman Peter Hibbard, Daniel Siewiorek Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types David Touretzky Scott Fahlman The Mathematics of Inheritance Systems Academic Year: 1982-1983 Name Thesis Advisor(s) Thesis Title Robert Chansler Anita Jones Coupling in Systems with Many Processors Roger Dannenberg Peter Hibbard Resource Sharing in a Network of Personal Computers Mark Fox Herbert Simon Constraint-directed Search: A Case Study of Job-shop Scheduling James Gosling Robert Sproull, Raj Reddy Algebraic Constraints Robert Hon Raj Reddy, Robert Sproull Two Papers on Circuit Extraction Richard Korf Herbert Simon Learning to Solve Problems by Searching for Macro-operators David Lamb Mary Shaw Sharing Intermediate Representations Andrew Palay Hans Berliner Searching with Probabilities Paul Rosenbloom Allen Newell The Chunking of Goal Hierarchies: A Model of Practice and Stimulus-response Compatibility Mahadev Satyanarayanan William Wulf, George Robertson A Methodology for Modelling Storage Systems and its Application to a Network File System Karsten Schwans Anita Jones Tailoring Software for Multiple Processor Systems Steven Shafer Takeo Kanade Shadow Geometry and Occluding Contours of Generalized Cylinders Pradeep Sindhu Robert Sproull Distribution and Reliability in a Multiprocessor Operating System Richard Snodgrass William Wulf Monitoring Distributed Systems: A Relational Approach Steven Vegdahl Anita Jones Local Code Generation and Compaction in Optimizing Microcode Compilers Academic Year: 1981-1982 Name Thesis Advisor(s) Thesis Title Peter Feiler Nico Habermann A Language-oriented Interactive Programming Environment Based on Compilation Technology Richard Gumpertz William Wulf Error Detection with Memory Tags Satish Gupta Robert Sproull Architectures and Algorithms for Parallel Updates of Raster Scan Displays Paul Hilfinger Mary Shaw Abstraction Mechanisms and Language Design Kowk-woon Lai Daniel P. Siewiorek Functional Testing of Digital Systems Charles Leiserson H. T. Kung Area-efficient VLSI Computation David McDonald Scott Fahlman Understanding Noun Compounds Raul Medina-Mora Nico Habermann Syntax-directed Editing: Towards Integrated Programming Environments Kamesh Ramakrishna Allen Newell Schematization as an Aid to Organizing ZOG Information Nets John Robinson H. T. Kung Design of Concurrency Controls for Transaction Processing Systems Robert Schwanke Nico Habermann Execution Environments in Programming Languages and Operating Systems Siang Wun Song H. T. Kung On a High-performance VLSI Solution to Database Problems Academic Year: 1980-1981 Name Thesis Advisor(s) Thesis Title Guy Almes William Wulf Garbage Collecting in an Object-oriented System Samuel Harbison William Wulf A Computer Architecture for the Dynamic Optimization of High-level Language Programs John Kender Raj Reddy Shape from Texture Bruce Leverett William Wulf Register Allocation in Optimizing Compilers Patrick McGehearty Richard Swan Performance Evaluation of a Multiprocessor under Interactive Workloads David Jack Mostow Jaime Carbonell Mechanical Transformation of Task Heuristics into Operational Procedures Bruce Nelson Robert Sproull Remote Procedure Call Brian Reid Robert Sproull SCRIBE: A Document Specification Language and its Compiler Loretta Guarino Reid Nico Habermann Control and Communication in Programmed Systems Clark Thompson H. T. Kung A Complexity Theory for VLSI Academic Year: 1979-1980 Name Thesis Advisor(s) Thesis Title Sten Andler Nico Habermann Predicate Path Expressions: A High-level Synchronization Mechanism Kevin Brown Michael Shamos Geometric Transforms for Fast Geometric Algorithms Donald Cohen Scott Fahlman Knowledge Based Theorem Proving and Learning John Gaschnig Herbert Simon Performance Measurement and Analysis of Certain Search Algorithms David Jefferson William Wulf Type Reduction and Program Verification John Ousterhout Nico Habermann Partitioning and Cooperation in a Distributed Multiprocessor Operating System: MEDUSA Steve Saunders Raj Reddy, William Wulf Compiling Customized Executable Representations and Interpreters Walter Tichy Nico Habermann Software Development Control Based on System Structure Description Academic Year: 1978-1979 Name Thesis Advisor(s) Thesis Title Lee Cooprider Nico Habermann The Representation of Families of Software Systems Lanny Forgy Allen Newell On the Efficient Implementation of Production Systems John Oakley Daniel Siewiorek Symbolic Execution of Formal Machine Descriptions Elaine Rich George Robertson Building and Exploiting User Models Richard Swan Samuel Fuller The Switching Structure and Addressing Architecture of an Extensible Multiprocessor: Cm\* Bruce Weide Michael Shamos Statistical Methods in Algorithm Design and Analysis Academic Year: 1977-1978 Name Thesis Advisor(s) Thesis Title Gerard Baudet H. T. Kung The Design and Analysis of Algorithms for Asynchronous Multiprocessors Rick Cattell William Wulf Formalization and Automatic Derivation of Code Generators Lawrence Flon Nico Habermann On the Design and Verification of Operating Systems Pagination First page « First Previous page ‹ Previous … Page 9 Page 10 Page 11 Current page 12 Page 13 Next page Next › Last page Last » Academics Current Courses Upcoming Semester Courses Schedule of Classes Undergraduate Catalog Bachelor's Programs Master's Programs Doctoral Programs Ph.D. in Computer Science Ph.D. in ACO Ph.D. in PAL CNBC Certificate Program Ph.D. Dual Degree Portugal Doctoral - How to Apply Core CSD Advisors Degrees Conferred Other SCS Doctoral Programs Student Resources Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)
