Students61

• Katherine S. Lim“Benchmarking Graph Transformers Toward Scalability for Large Graphs”2024 · Massachusetts Institute of Technology · master's
• Jiazheng Liu“Formally Verifying a Programmable Network Switch”2024 · Massachusetts Institute of Technology · master's
• Yuting Qin“Understanding Indexing Efficiency for Approximate Nearest Neighbor Search in High-dimensional Vector Databases”2024 · Massachusetts Institute of Technology · master's
• Muhua Xu“MPrompt: A Pretraining-Prompting Scheme for Enhanced Fewshot Subgraph Classification”2024 · Massachusetts Institute of Technology · master's
• Chanwoo Chung“Implementing accelerated key-value store: From SSDs to datacenter servers”2023 · Massachusetts Institute of Technology · doctoral
• Thomas Bourgeat“Specification and verification of sequential machines in rule-based hardware languages”2023 · Massachusetts Institute of Technology · doctoral
• Kelly Ho“Balancing Memory Efficiency and Accuracy in Spectral-Based Graph Transformers”2023 · Massachusetts Institute of Technology · master's
• Brandon Yue“Optimizing Out-Of-Memory Sparse-Dense Matrix Multiplication”2023 · Massachusetts Institute of Technology · master's
• Tianhao Huang“Designing a Domain-Specific Accelerator for Graph Pattern Mining”2021 · Massachusetts Institute of Technology · master's
• Andrew C. Wright“Modular SMT-Based Verification of Rule-Based Hardware Designs”2021 · Massachusetts Institute of Technology · doctoral
• Sang-Woo Jun“Big data analytics made affordable using hardware-accelerated flash storage”2018 · Massachusetts Institute of Technology · doctoral
• Juan Miguel Rodriguez Gallegos“A user interface for algorithmic debug”2018 · Massachusetts Institute of Technology · master's
• Joonwon Choi“An inlining approach to formal hardware semantics”2016 · Massachusetts Institute of Technology · master's
• Shuotao Xu“BlueCache : a scalable distributed flash-based key-value store”2016 · Massachusetts Institute of Technology · master's
• Sizhuo Zhang“WMM : a resilient Weak Memory Model”2016 · Massachusetts Institute of Technology · master's
• Ming Gang Liu“BlueFlash : a reconfigurable flash controller for BlueDBM”2014 · Massachusetts Institute of Technology · master's
• Kermin Elliott Jr Fleming“Scalable reconfigurable computing leveraging latency-insensitive channels”2013 · Massachusetts Institute of Technology · doctoral
• Asif I. Khan“Cycle-accurate modeling of multicore processors on FPGAs”2013 · Massachusetts Institute of Technology · doctoral
• Myron Decker King“A methodology for hardware-software codesign”2013 · Massachusetts Institute of Technology · doctoral
• Ranko Radovin Sredojević“Template-based hardware-software codesign for high-performance embedded numerical accelerators”2013 · Massachusetts Institute of Technology · doctoral
• Michal Karczmarek“Synthesis of multi-cycle circuits from guarded atomic actions”2011 · Massachusetts Institute of Technology · doctoral
• Man Cheuk Ng“Airblue : a highly-configurable FPGA-based platform for wireless network research”2011 · Massachusetts Institute of Technology · doctoral
• Michael Pellauer“HAsim : cycle-accurate multicore performance models on FPGAs”2011 · Massachusetts Institute of Technology · doctoral
• Abhinav Agarwal“Comparison of high level design methodologies for algorithmic IPs : Bluespec and C-based synthesis”2009 · Massachusetts Institute of Technology · master's
• Jae Wook Lee“Globally Synchronized Frames for guaranteed Quality-of-Service in shared memory systems”2009 · Massachusetts Institute of Technology · doctoral
• Ryan Rhodes Newton“Language design for distributed stream processing”2009 · Massachusetts Institute of Technology · doctoral
• Muralidaran Vijayaraghavan“Theory of composable latency-insensitive refinements”2009 · Massachusetts Institute of Technology · master's
• Alessandro Yamhure“An FPGA implementation of multicore, multithreaded powerPC processors with memory subsystem using Bluespec”2008 · Massachusetts Institute of Technology · master's
• Chun-Chieh Lin“Implementation of H.264 Decoder in Bluespec SystemVerilog”2007 · Massachusetts Institute of Technology · master's
• Nirav Hemant Dave“Designing a processor in Bluespec”2005 · Massachusetts Institute of Technology · master's
• Karolína Netolická“Equivalence checking of retimed circuits”2005 · Massachusetts Institute of Technology · master's
• Wenyan Dong“Improved handling of the decoding operation in the Presto compiler”2004 · Massachusetts Institute of Technology · master's
• Byungsub Kim“An efficient buffer management methods for Cachet”2004 · Massachusetts Institute of Technology · master's
• James C. Hoe“Operation-centric hardware description and synthesis”2000 · Massachusetts Institute of Technology · doctoral
• Mieszko N. Lis“Superscalar processors via automatic microarchitecture transformations”2000 · Massachusetts Institute of Technology · bachelor's
• Andrew Michael Sarkar“Simulation of CACHET on a multiprocessor computer”2000 · Massachusetts Institute of Technology · bachelor's
• Jacob B. Schwartz“Eliminating intermediate lists in pH”2000 · Massachusetts Institute of Technology · master's
• Xiaowei Shen“Design and verification of adaptive cache coherence protocols”2000 · Massachusetts Institute of Technology · doctoral
• Boon Seong Ang“Design and implementation of a multi-purpose cluster system network interface unit”1999 · Massachusetts Institute of Technology · doctoral
• Alejandro Caro“Generating multithreaded code from Parallel Haskell for symmetric multiprocessors”1999 · Massachusetts Institute of Technology · doctoral
• Derek Chiou“Extending the reach of microprocessors : column and curious caching”1999 · Massachusetts Institute of Technology · doctoral
• Peter D. Finch“Sampling benchmarks : methods for extracting intersecting segments of programs”1999 · Massachusetts Institute of Technology · bachelor's
• Lisa A. Poyneer“Term rewriting system models of modern microprocessors”1999 · Massachusetts Institute of Technology · master's
• Daniel L. Rosenband“Design of the control logic for StarT-Voyager”1998 · Massachusetts Institute of Technology · master's
• Andrew Shaw“Compiling for parallel multithreaded computation on symmetric multiprocessors”1998 · Massachusetts Institute of Technology · doctoral
• Michael Sung“Design of trace caches for high bandwidth instruction fetching”1998 · Massachusetts Institute of Technology · master's
• Christiana Virginia Toutet“Generating threads for non-strict functional programming languages”1998 · Massachusetts Institute of Technology · bachelor's
• Cristina-Ana-Maria Hristea“Micro benchmarks for multiprocessor memory hierachy performance”1997 · Massachusetts Institute of Technology · master's
• Jimmy S. Shih“A software architecture for autonomous spacecraft”1997 · Massachusetts Institute of Technology · master's
• Geoffrey R. Gustafson“A time and space sharing scheduler for multiuser parallel machines”1996 · Massachusetts Institute of Technology · master's
• Dana S. Henry“Hardware mechanisms for efficient interprocessor communication”1996 · Massachusetts Institute of Technology · doctoral
• Shail Aditya Gupta“Functional encapsulation and type reconstruction in a strongly-typed, polymorphic language”1995 · Massachusetts Institute of Technology · doctoral
• Joanna L. Kulik“Implementing compiler optimizations using parallel graph reduction”1995 · Massachusetts Institute of Technology · master's
• Greg McLaren“QProf--a scalable profiler for the Q back end”1995 · Massachusetts Institute of Technology · master's
• Satyan R Coorg“Partitioning non-strict languages for multi-threaded code generation”1994 · Massachusetts Institute of Technology · doctoral
• Jan-Willem Maessen“Eliminating intermediate lists in pH using local transformations”1994 · Massachusetts Institute of Technology · master's
• Vinod Kathail“Optimal interpreters for lambda-calculus based functional languages”1990 · Massachusetts Institute of Technology · doctoral
• David E Culler“Managing parallelism and resources in scientific dataflow programs”1989 · Massachusetts Institute of Technology · doctoral
• Robert A Iannucci“A dataflow/von Neumann hybrid architecture”1988 · Massachusetts Institute of Technology · doctoral
• Gregory M Papadopoulos“Data flow models for fault-tolerant computation”1983 · Massachusetts Institute of Technology · master's
• Evan Michael Tick“Design and analysis of a memory hierarchy for a very high performance multiprocessor configuration”1982 · Massachusetts Institute of Technology · master's