Computer Science

2026 · 2025 · 2023 · 2022 · 2021 · 2020 · 2019 · 2018 · 2017 · 2016 · 2015 · 2014 · 2013 · 2012 · 2011 · 2010 · 2009 · 2008 · 2007 · 2006 · 2005 · 2004 · 2003 · 2002 · 2001 · 1999 · 1998 · 1997 · 1996 · 1995 · 1994 · 1993 · 1992 · 1991 · 1990 · 1989 · 1988 · 1987 · 1986 · 1985 · 1984 · 1983 · 1982 · 1981 · 1980 · 1979

2026

Akhtiamov, Danil — Universality, Generalization, and Compression in Machine Learning (Dissertation (Ph.D.))
Liu, Hao — Leveraging Structural Uncertainty for Decision Making: from Classical Methods to Foundation Model Agents (Dissertation (Ph.D.))
Sinha, Savar Dayal — Efficient and SPAM-Robust Ansatz-Free Lindbladian Learning (Senior thesis (Major))

2025

Jiang, Jiaqing — Computational Complexity and Quantum Gibbs Sampling for Local Hamiltonians (Dissertation (Ph.D.))
King, William Robert — Advancing Applications of Quantum Computers in Quantum Simulation, Optimization, Learning, and Topological Data Analysis (Dissertation (Ph.D.))

2023

Anand, Emile Timothy — Pseudorandomness of the Sticky Random Walk (Senior thesis (Major))
Gordon, Spencer Lane — The Identification of Discrete Mixture Models (Dissertation (Ph.D.))
Poremba, Alexander Mario — Revocable Cryptography in a Quantum World (Dissertation (Ph.D.))

2022

Cheng, Myra Miaobo — Female Inventors and Narratives of Innovation in Late Twentieth-Century Computing (Senior thesis (Major))
Mehta, Jenish Chetan — Combinatorial and Algebraic Propeties of Nonnegative Matrices (Dissertation (Ph.D.))

2021

Hu, Laura D. — Navigating the Temporal Landscape of Trauma (Senior thesis (Major))
London, Palma Alise den Nijs — Frameworks for High Dimensional Convex Optimization (Dissertation (Ph.D.))
Sun, Haoyuan — Online Convex Optimization and Predictive Control in Dynamic Environments (Senior thesis (Major))

2020

Ronchi, Matteo Ruggero — Vision for Social Robots: Human Perception and Pose Estimation (Dissertation (Ph.D.))

2019

Goulet, Michael Anthony — Caught in the Middle: Homosexual Guilt, Liminality, and the role of the 'Novel of Identification' in Post-World War, Pre-Stonewall America (Senior thesis (Major))
Huan, Yan Qi — Efficient Coupling of Tapered Optical Fibers to Silicon Nanophotonic Waveguides on Rare-Earth Doped Crystals (Senior thesis (Major))
Van Horn, Grant Richard — Towards a Visipedia: Combining Computer Vision and Communities of Experts (Dissertation (Ph.D.))
Ziani, Juba — Data: Implications for Markets and for Society (Dissertation (Ph.D.))

2018

Chen, Niangjun — Online Algorithms: From Prediction to Decision (Dissertation (Ph.D.))
Periyakoil, Preethi Kasthuri — Utilizing Machine Learning Techniques to Rapidly Identify MUC2 Expression in Colon Cancer Tissues (Senior thesis (Major))
Ren, Xiaoqi — Optimizing Resource Management in Cloud Analytics Services (Dissertation (Ph.D.))

2017

Eyjolfsdottir, Eyrun-Arna — Computational Methods for Behavior Analysis (Dissertation (Ph.D.))
Guo, Zeyu — P-Schemes and Deterministic Polynomial Factoring Over Finite Fields (Dissertation (Ph.D.))
London, Palma Alise den Nijs — Distributed Optimization and Data Market Design (Master's thesis)
Ziani, Juba — Efficiently Characterizing Games Consistent with Perturbed Equilibrium Observations (Master's thesis)

2016

Mehta, Jenish C. — Behavior of O(log n) Local Commuting Hamiltonians (Master's thesis)

2015

Agarwal, Anish — A Model For Residential Adoption of Photovoltaic Systems (Master's thesis)
Ren, Xiaoqi — Speculation-Aware Resource Allocation for Cluster Schedulers (Master's thesis)

2014

Chang, Xiaofei — Resetting Asynchronous QDI Systems (Master's thesis)
Chen, Niangjun — Model Predictive Control for Deferrable Loads Scheduling (Master's thesis)
Eyjolfsdottir, Eyrun Arna — Detecting Actions of Fruit Flies (Master's thesis)
Faulkner, Matthew Nicholas — Community Sense and Response Systems (Dissertation (Ph.D.))
Faulkner, Matthew Nicholas — Selective Data Gathering in Community Sensor Networks (Master's thesis)
Fefferman, William Jason — The Power of Quantum Fourier Sampling (Dissertation (Ph.D.))
Ferrari de Goes, Fernando — Geometric Discretization through Primal-Dual Meshes (Dissertation (Ph.D.))
Florian, Mihai — Analysis-Aware Design of Embedded Systems Software (Dissertation (Ph.D.))
Guo, Zeyu — Randomness-Efficient Curve Sampling (Master's thesis)
Keller, Sean Jason — Robust Near-Threshold QDI Circuit Analysis and Design (Dissertation (Ph.D.))
Liu, Zhenhua — Sustainable IT and IT for Sustainability (Dissertation (Ph.D.))
Olson, Michael James — Cloud Computing Services for Seismic Networks (Dissertation (Ph.D.))

2013

Crane, Keenan Michael — Conformal Geometry Processing (Dissertation (Ph.D.))
DeLorimier, Michael John — GRAph Parallel Actor Language: A Programming Language for Parallel Graph Algorithms (Dissertation (Ph.D.))
Gopalakrishnan, Ragavendran — Characterizing Distribution Rules for Cost Sharing Games (Dissertation (Ph.D.))
Lin, Minghong — Algorithmic Challenges in Green Data Centers (Dissertation (Ph.D.))
Liu, Annie Hsin-Wen — Sensor Networks for Geospatial Event Detection - Theory and Applications (Dissertation (Ph.D.))
Mehta, Nikil — An Ultra-Low-Energy, Variation-Tolerant FPGA Architecture Using Component-Specific Mapping (Dissertation (Ph.D.))
Mou, Judy — Situation Awareness Application (Master's thesis)
Schaeffer, Joseph Malcolm — Stochastic Simulation of the Kinetics of Multiple Interacting Nucleic Acid Strands (Dissertation (Ph.D.))

2012

Hurwitz, Jeremy Scott — A Nearly-Quadratic Gap Between Adaptive and Non-Adaptive Property Testers (Master's thesis)
Lee, Euiwoong — Clustering Affine Subspaces: Algorithms and Hardness (Master's thesis)
Mullen, Patrick Gary — Eulerian Geometric Discretizations of Manifolds and Dynamics (Dissertation (Ph.D.))
Olson, Michael James — Cloud Computing for Citizen Science (Master's thesis)
Schaeffer, Joseph Malcolm — The Multistrand Simulator: Stochastic Simulation of the Kinetics of Multiple Interacting DNA Strands (Master's thesis)
Shin, Seung Woo — Compiling and Verifying DNA-Based Chemical Reaction Network Implementations (Master's thesis)

2011

Buchfuhrer, David Isaac — Limits on Computationally Efficient VCG-Based Mechanisms for Combinatorial Auctions and Public Projects (Dissertation (Ph.D.))
de Goes, Fernando Ferrari — An Optimal Transport Approach to Robust Reconstruction and Simplification of 2D Shapes (Master's thesis)
Fefferman, William Jason — On Quantum Computing and Pseudorandomness (Master's thesis)
Kapre, Nachiket Ganesh — SPICE²: A Spatial, Parallel Architecture for Accelerating the Spice Circuit Simulator (Dissertation (Ph.D.))
Lin, Minghong — Algorithmic Issues in Green Data Centers (Master's thesis)
Liu, Zhenhua — Greening Geographical Load Balancing (Master's thesis)
Pilotto, Concetta — Systematic Design and Formal Verification of Multi-Agent Systems (Dissertation (Ph.D.))
White, Jerome S. — Applying Formal Methods to Distributed Algorithms Using Local-Global Relations (Dissertation (Ph.D.))

2010

Crane, Keenan Michael — Discrete Connections for Geometry Processing (Master's thesis)
Florian, Mihai — SCALE: Source Code Analyzer for Locating Errors (Master's thesis)
Gojman, Benjamin — Algorithms and Techniques for Conquering Extreme Physical Variation in Bottom-Up Nanoscale Systems (Master's thesis)
Gopalakrishnan, Ragavendran — An Architectural View of Game Theoretic Control (Master's thesis)
Kharevych, Liliya — Geometric Interpretation of Physical Systems for Improved Elasticity Simulations (Dissertation (Ph.D.))
Liu, Annie Hsin-Wen — Simulation and Implementation of Distributed Sensor Network for Radiation Detection (Master's thesis)

2009

Capponi, Agostino — Credit Risk and Nonlinear Filtering: Computational Aspects and Empirical Evidence (Dissertation (Ph.D.))
Kalyanaraman, Shankar — Limited Randomness in Games, and Computational Perspectives in Revealed Preference (Dissertation (Ph.D.))

2008

Angelova, Anelia Nedelcheva — Visual Prediction of Rover Slip: Learning Algorithms and Field Experiments (Dissertation (Ph.D.))
Buchfuhrer, David Isaac — The Complexity of Formula Minimization (Master's thesis)
Fanti, Claudio — Towards Automatic Discovery of Human Movemes (Dissertation (Ph.D.))
Gao, Xiaojie — On A Capacitated Multivehicle Routing Problem (Dissertation (Ph.D.))
Jang, Wonjin — Soft-Error Tolerant Quasi Delay-insensitive Circuits (Dissertation (Ph.D.))
Lin, Hsuan-Tien — From Ordinal Ranking to Binary Classification (Dissertation (Ph.D.))
Naeimi, Helia — Reliable Integration of Terascale Systems with Nanoscale Devices (Dissertation (Ph.D.))
Noblet, David Alexander — MojaveComm: a View-Oriented Group Communication Protocol with Support for Virtual Synchrony (Master's thesis)
Prakash, Piyush — Throughput Optimization of Quasi Delay Insensitive Circuits via Slack Matching (Dissertation (Ph.D.))
Pratap, Amrit — Adaptive Learning Algorithms and Data Cloning (Dissertation (Ph.D.))
White, Jerome S. — Receive Buffer Dynamics and OS Scheduling (Master's thesis)
Yang, Weiwei — Discrete Mechanical Interpolation of Keyframes (Master's thesis)

2007

Hu, Cheng — Concurrent System Design Using Flow (Master's thesis)
McKenzie, Alexander George — HOLA: a High-Order Lie Advection of Discrete Differential Forms With Applications in Fluid Dynamics (Master's thesis)
Mullen, Patrick Gary — A Variational Approach to Eulerian Geometry Processing of Surfaces and Foliations (Master's thesis)
Pilotto, Concetta — Local-to-Global in Multi-Agent Systems (Master's thesis)
Wei, Xiaoliang (David) — Microscopic Behavior of Internet Congestion Control (Dissertation (Ph.D.))
Yu, Xin — Reflection and Its Application to Mechanized MetaReasoning About Programming Languages (Dissertation (Ph.D.))

2006

Capponi, Agostino — Estimation Problems in Sense and Respond Systems (Master's thesis)
Gillula, Jeremy Hugh — A Probabilistic Framework for Real-Time Mapping on an Unmanned Ground Vehicle (Senior thesis (Minor))
Kalyanaraman, Shankar — On Obtaining Pseudorandomness from Error-Correcting Codes (Master's thesis)
Kapre, Nachiket Ganesh — Packet-Switched On-Chip FPGA Overlay Networks (Master's thesis)
Kharevych, Liliya — Circle Patterns Documentation 1.0 [Supplemental material for Masters thesis: Implementation of circle pattern parameterization (2006)] -- GO TO RELATED URL FOR FILES (Master's thesis)
Kharevych, Liliya — Implementation of Circle Pattern Parameterization (Master's thesis)
Khorlin, Andrey — Scheduling in Distributed Stream Processing Systems (Master's thesis)
Li, Ling — Data Complexity in Machine Learning and Novel Classification Algorithms (Dissertation (Ph.D.))
Mehta, Nikil — Time-Multiplexed FPGA Overlay Networks on Chip (Master's thesis)
Papadantonakis, Karl Spyros — Rigorous Analog Verification of Asynchronous Circuits (Dissertation (Ph.D.))
Pongsajapan, John — Optimization and Stability of TCP/IP with Delay-Sensitive Utility Functions (Master's thesis)
Țăpuș, Cristian — Distributed Speculations: Providing Fault-Tolerance and Improving Performance (Dissertation (Ph.D.))
Tian, Lu — Resource Allocation in Streaming Environments (Master's thesis)

2005

deLorimier, Michael John — Floating-Point Sparse Matrix-Vector Multiply for FPGAs (Master's thesis)
Elcott, Sharif Mohamed — Discrete, Circulation-Preserving, and Stable Simplicial Fluids (Master's thesis)
Friedel, Ilja Heinrich — Approximation of Surfaces by Normal Meshes (Dissertation (Ph.D.))
Gavriliu, Marcel — Towards More Efficient Interval Analysis: Corner Forms and a Remainder Interval Newton Method (Dissertation (Ph.D.))
Gray, Nathaniel Asoka — High-Confidence, Modular Compiler Development in a Formal Environment (Master's thesis)
Lin, Hsuan-Tien — Infinite Ensemble Learning with Support Vector Machines (Master's thesis)
Litke, Nathan Jacob — Variational Methods in Surface Parameterization (Dissertation (Ph.D.))
Naeimi, Helia — A Greedy Algorithm for Tolerating Defective Crosspoints in NanoPLA Design (Master's thesis)
Prakash, Piyush — Slack Matching (Master's thesis)

2004

Angelova, Anelia Nedelcheva — Data Pruning (Master's thesis)
Fanti, Claudio — An Improved Scheme for Detection and Labeling in Johansson Displays (Master's thesis)
Gao, Xiaojie — Router Congestion Control (Master's thesis)
Meyer, Mark — Discrete Differential Operators for Computer Graphics (Dissertation (Ph.D.))
Pratap, Amrit — Maximum Drawdown of a Brownian Motion and AlphaBoost: a Boosting Algorithm (Master's thesis)
Schkolne, Steven — 3-D Interfaces for Spatial Construction (Dissertation (Ph.D.))
Țăpuș, Cristian — Kernel Level Distributed Inter-Process Communication System (KDIPC) (Master's thesis)
Wong, Catherine Grace — High-Level Synthesis and Rapid Prototyping of Asynchronous VLSI Systems (Dissertation (Ph.D.))

2003

Grinspun, Eitan — The Basis Refinement Method (Dissertation (Ph.D.))
Hirani, Anil Nirmal — Discrete Exterior Calculus (Dissertation (Ph.D.))
Smith, Justin David — Fault Tolerance Using Whole-Process Migration and Speculative Execution (Master's thesis)
Wood, Zoë Justine — Computational Topology Algorithms for Discrete 2-Manifolds (Dissertation (Ph.D.))

2002

Chen, Min — Mathematical Methods for Image Synthesis (Dissertation (Ph.D.))
Ginis, Roman — Automating Resource Management for Distributed Business Processes (Dissertation (Ph.D.))
Kiniry, Joseph Roland — Kind Theory (Dissertation (Ph.D.))
Nicholson, Alexander Marshall — Generalization Error Estimates and Training Data Valuation (Dissertation (Ph.D.))
Papadantonakis, Karl Spyros — What is "Deterministic CHP", and is "Slack Elasticity" That Useful? (Master's thesis)
Pénzes, Paul Ivan — Energy-Delay Complexity of Asynchronous Circuits (Dissertation (Ph.D.))
Zimmerman, Daniel Marc — Dynamic UNITY (Dissertation (Ph.D.))

2001

Nyström, Mika — Asynchronous Pulse Logic (Dissertation (Ph.D.))
Schooler, Eve Meryl — Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication (Dissertation (Ph.D.))

1999

Manohar, Rajit — The impact of asynchrony on computer architecture (Dissertation (Ph.D.))

1998

Bax, Eric — Finite-difference algorithms for counting problems (Dissertation (Ph.D.))
Çataltepe, Zehra Kök — Incorporating Input Information into Learning and Augmented Objective Functions (Dissertation (Ph.D.))
Heirich, Alan Bryant — Analysis of scalable algorithms for dynamic load balancing and mapping with application to photo-realistic rendering (Dissertation (Ph.D.))
Massingill, Berna Linda — A structured approach to parallel programming (Dissertation (Ph.D.))
Ramamoorthi, Ravi — Creating Generative Models from Range Images (Master's thesis)
Rieffel, Marc A. — Performance modeling for concurrent particle simulations (Dissertation (Ph.D.))
Sivilotti, Paolo A. G. — A method for the specification, composition, and testing of distributed object systems (Dissertation (Ph.D.))
Watts, Jerrell R. — Dynamic load balancing and granularity control on heterogeneous and hybrid architectures (Dissertation (Ph.D.))
Zorin, Denis N. — Stationary Subdivision and Multiresolution Surface Representations (Dissertation (Ph.D.))

1997

Maskit, Daniel — Software register synchronization for super-scalar processors with partitioned register files (Dissertation (Ph.D.))
Palmer, Michael Edward — Exploiting parallel memory hierarchies for ray casting volumes (Dissertation (Ph.D.))

1996

Thornley, John William — A Parallel Programming Model with Sequential Semantics (Dissertation (Ph.D.))

1995

Hofstee, H. Peter — Synchronizing processes (Dissertation (Ph.D.))
Kryukova, Svetlana A. — Parallel Programming Archetypes in Combinatorics and Optimization (Master's thesis)
Laidlaw, David H. — Geometric model extraction from magnetic resonance volume data (Dissertation (Ph.D.))
Lee, Tak Kwan — A General Approach to Performance Analysis and Optimization of Asynchronous Circuits (Dissertation (Ph.D.))
Leino, K. Rustan M. — Toward reliable modular programs (Dissertation (Ph.D.))
Tierno, Jose Andres — An energy-complexity model for VLSI computations (Dissertation (Ph.D.))
Van der Goot, Marcel Rene — Semantics of VLSI synthesis (Dissertation (Ph.D.))
Watts, Jerrell — A Practical Approach to Dynamic Load Balancing (Master's thesis)

1994

Carlin, Peter — Distributed linear algebra on networks of workstations (Master's thesis)
Çataltepe, Zehra Kök — The Scheduling Problem in Learning from Hints (Master's thesis)
Goldsmith, Jeff — Optimized Computer-Generated Motions for Animation (Master's thesis)
Manohar, Rajit — Mach-Based Channel Library (Master's thesis)
Maskit, Daniel — A Message-Driven Programming System for Fine-Grain Multicomputers (Master's thesis)
Sanouillet, Remy D. — Computer mediated communication (Dissertation (Ph.D.))
Seizovic, Jakov N. — The architecture and programming of a fine-grain multicomputer (Dissertation (Ph.D.))

1993

Boden, Nanette Jackson — Runtime systems for fine-grain multicomputers (Dissertation (Ph.D.))
Cook, James N. — Production Rule Verification for Quasi-Delay-Insensitive Circuits (Master's thesis)
Kirk, David B. — Accurate and Precise Computation Using Analog VLSI, with Applications to Computer Graphics and Neural Networks (Dissertation (Ph.D.))
Massingill, Berna Linda — Integrating Task and Data Parallelism (Master's thesis)
Sivilotti, Paul — A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language (Master's thesis)

1992

Barzel, Ronen — A structured approach to physically-based modeling for computer graphics (Dissertation (Ph.D.))
Fyfe, William John Andrew — Invariance hints and the VC dimension (Dissertation (Ph.D.))
Hazewindus, Pieter Johannes — Testing delay-insensitive circuits (Dissertation (Ph.D.))
Kay, Timothy L. — From geometry to texture : experiments towards realism in computer graphics (Dissertation (Ph.D.))
Laidlaw, David H. — Material Classification of Magnetic Resonance Volume Data (Master's thesis)
Steele, Craig Stanley — Affinity : a Concurrent Programming System for Multicomputers (Dissertation (Ph.D.))

1991

Burns, Steven Morgan — Performance analysis and optimization of asynchronous circuits (Dissertation (Ph.D.))
Dyer, Lounette M. — An Object-Oriented Real-Time Simulation of Music Performance Using Interactive Control (Dissertation (Ph.D.))
Gupta, Rajiv — Compiler Optimization of Data Storage (Dissertation (Ph.D.))
Schweizer, David Lawrence — Combinatorial design of fault-tolerant communication structures, with applications to non-blocking switches (Dissertation (Ph.D.))
Sivilotti, Massimo Antonio — Wiring Considerations in Analog VLSI Systems, with Application to Field-Programmable Networks (Dissertation (Ph.D.))
Snyder, John Michael — Generative Modeling: An Approach to High Level Shape Design for Computer Graphics and CAD (Dissertation (Ph.D.))

1990

Kalra, Devendra — A unified framework for constraint-based modeling (Dissertation (Ph.D.))
Lazzaro, John P. — Silicon Models of Early Audition (Dissertation (Ph.D.))
Su, Wen-King — Reactive-Process Programming and Distributed Discrete-Event Simulation (Dissertation (Ph.D.))

1989

Maher, Mary Ann Cecilia — A Charge-Controlled Model for MOS Transistors (Dissertation (Ph.D.))
Ngai, John Yee-Keung — A Framework for Adaptive Routing in Multicomputer Networks (Dissertation (Ph.D.))
Platt, John Carlton — Constraint Methods for Neural Networks and Computer Graphics (Dissertation (Ph.D.))
Von Herzen, Brian — Applications of Surface Networks to Sampling Problems in Computer Graphics (Dissertation (Ph.D.))

1988

Boden, Nanette Jackson — A study of fine-grain programming using Cantor (Master's thesis)
Burch, Jerry R. — A Comparison of Strict and Non-Strict Semantics for Lists (Master's thesis)
Seizovic, Jakov N. — The Reactive Kernel (Master's thesis)

1987

Athas, William C., Jr. — Fine Grain Concurrent Computations (Dissertation (Ph.D.))
Burns, Steven Morgan — Automated compilation of concurrent programs into self-timed circuits (Master's thesis)
Choo, Young-il — Logic from Programming Language Semantics (Dissertation (Ph.D.))
Poh, Hean Lee — Incorporating Time in the New World of Computing Systems (Master's thesis)
Rudin, Leonid Iakov — Images, Numerical Analysis of Singularities and Shock Filters (Dissertation (Ph.D.))
Wawrzynek, John Charles — VLSI Concurrent Computation for Music Synthesis (Dissertation (Ph.D.))

1986

Dally, William James — A VLSI Architecture for Concurrent Data Structures (Dissertation (Ph.D.))
Lazzaro, John Paul — anaLOG: A Functional Simulator for VLSI Neural Systems (Master's thesis)
Li, Peyyun Peggy — A Parallel Execution Model for Logic Programming (Dissertation (Ph.D.))
Mosteller, Richard Craig — Monte Carlo Methods for 2-D Compaction (Dissertation (Ph.D.))
Schweizer, David Lawrence — Some Results on Kolmogorov-Chaitin Complexity (Master's thesis)
Tanner, John Edward — Integrated Optical Motion Detection (Dissertation (Ph.D.))

1985

Lien, Sheue-Ling Chang — Combining Computation with Geometry (Dissertation (Ph.D.))
Lin, Tzu-Mu — A Hierarchical Timing Simulation Model for Digital Integrated Circuits and Systems (Dissertation (Ph.D.))
Platt, John Carlton — Sequential Threshold Circuits (Master's thesis)
Steele, Craig Stanley — Placement of Communicating Processes on Multiprocessor Networks (Master's thesis)
Whelan, Daniel Steven — ANIMAC: A Multiprocessor Architecture for Real-Time Computer Animation (Dissertation (Ph.D.))
Whiting, Douglas Lee — Bit-Serial Reed-Solomon Decoders in VLSI (Dissertation (Ph.D.))
Whitney, Telle Elizabeth — Hierarchical Composition of VLSI Circuits (Dissertation (Ph.D.))

1984

Chen, Wen-Chi — Hierarchy of Graph Isomorphism Testing (Master's thesis)
Chiang, Chao-Lin — Towards Concurrent Arithmetic: Residue Arithmetic and VLSI (Master's thesis)
Derby, Howard — Using Logic Programming for Compiling APL (Master's thesis)
Ho, Tai-Ping — The Dialogue Designing Dialogue System (Dissertation (Ph.D.))
Lutz, Christopher — Design of the Mosaic Processor (Master's thesis)
Ngai, John Yee-Keung — The General Interconnect Problem of Integrated Circuits (Master's thesis)
Oyang, Yen-Jen — HEX: A Hierarchical Circuit Extractor (Master's thesis)
Papachristidis, Alexandros Christou — Heterogeneous Data Base Access (Dissertation (Ph.D.))
Su, Wen-King — Supermesh (Master's thesis)

1983

Athas, William C. — A VLSI Combinator Reduction Engine (Master's thesis)
Chen, Marina Chien-mei — Space-time Algorithms: Semantics and Methodology (Dissertation (Ph.D.))
Choo, Young-il — Hierarchical Nets: A Structured Petri Net Approach to Concurrency (Master's thesis)
DeBenedictis, Erik Penn — Techniques for Testing Integrated Circuits (Dissertation (Ph.D.))
Holstege, Eric John — Type Inference in a Declarationless, Object-Oriented Language (Master's thesis)
Lam, Jimmy Kwok-Ching — RTsim: A Register Transfer Simulator (Master's thesis)
Megdal, Barry Bruce — VLSI Computational Structures Applied to Fingerprint Image Analysis (Dissertation (Ph.D.))
Neches, Philip Malcolm — Hardware Support for Advanced Data Management Systems (Dissertation (Ph.D.))
Ng, Charles Hok-Bun — FIFO Buffering Transceiver: A Communication Chip Set for Multiprocessor Systems (Master's thesis)
Trawick, David James — Robust Sentence Analysis and Habitability (Dissertation (Ph.D.))
Trimberger, Stephen Mathias — Automated Performance Optimization of Custom Integrated Circuits (Dissertation (Ph.D.))
Ullner, Michael K. — Parallel Machines for Computer Graphics (Dissertation (Ph.D.))

1982

Carroll, Christopher Ralph — Hybrid Processing (Dissertation (Ph.D.))
Kingsley, Christopher Hayden — EARL: An Integrated Circuit Design Language (Master's thesis)
Lang, Charles Richard, Jr. — The Extension of Object-Oriented Languages to a Homogeneous, Concurrent Architecture (Dissertation (Ph.D.))
Whiting, Douglas Lee — A Self-Timed Chip Set for Microprocessor Communication (Master's thesis)

1981

Gray, Moshe — The Design and Implementation of a Reticle Maker for VLSI (Master's thesis)
Johannsen, David Lawrence — Silicon Compilation (Dissertation (Ph.D.))
Lien, Sheue-Ling C. — Toward a Theorem Proving Architecture (Master's thesis)
Lin, Tzu-Mu — From Geometry to Logic (Master's thesis)
Mosteller, Richard Craig — REST: A Leaf Cell Design System (Master's thesis)
Ségal, Richard Lawrence — Structure, Placement and Modelling (Master's thesis)
Whelan, Daniel Steven — A Versatile Ethernet Interface (Master's thesis)
Whitney, Telle — A Hierarchical Design Rule Checker (Master's thesis)
Yu, Kwang-I — Communicative Databases (Dissertation (Ph.D.))

1980

Barton, Anthony Francis — A Fault Tolerant Integrated Circuit Memory (Dissertation (Ph.D.))
Browning, Sally Anne — The Tree Machine: A Highly Concurrent Computing Environment (Dissertation (Ph.D.))
Demetrescu, Stefan Gabriel — A VLSI Based Real-Time Hidden Surface Elimination Display System (Master's thesis)
Hess, Gideon David — A Software Design System (Dissertation (Ph.D.))
Lang, Charles Richard — Automated Wiring Analysis of Integrated Circuit Geometric Data (Master's thesis)
Locanthi, Bartholomew Nicholas, III — The Homogeneous Machine (Dissertation (Ph.D.))
Roach, Kelly — Pronouns (Master's thesis)
Rowson, James Allely — Understanding Hierarchical Design (Dissertation (Ph.D.))
Seiler, Larry Dean — A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer (Master's thesis)

1979

Ayres, Ronald Frederick — A Language Processor and a Sample Language (Dissertation (Ph.D.))
Petersen, Stephen Vaughn — CARTAM : the Cartesian Access Method for Data Structures with n-Dimensional Keys (Dissertation (Ph.D.))