Search
Now showing items 1-10 of 18
Structural design and proof of hierarchical cache-coherence protocols
(Massachusetts Institute of Technology, 2021)
Cache-coherence protocols have been one of the greatest correctness challenges of the hardware world. A memory subsystem usually consists of several caches and the main memory, and a cache-coherence protocol defined in ...
Hierarchical abstractions for model-based visual navigation
(Massachusetts Institute of Technology, 2021)
In this thesis, we explore hierarchical map representations that improve autonomous vision-based navigation. Challenged with the task of navigating in an unknown environment, an autonomous agent must perceive the environment ...
Performance Engineering of Proof-Based Software Systems at scale
(Massachusetts Institute of Technology, 2021)
Formal verification is increasingly valuable as our world comes to rely more on software for critical infrastructure. A significant and understudied cost of developing mechanized proofs, especially at scale, is the computer ...
High-resolution tactile sensing for reactive robotic manipulation
(Massachusetts Institute of Technology, 2021)
This thesis explores tactile sensing to enable reactive behavior in robotic manipulation. More specifically, we focus on developing high-resolution vision-based tactile sensing hardware, perceptual algorithms, and controller ...
Deeper learning at scale with roleplaying systems
(Massachusetts Institute of Technology, 2021)
Contemporary online learning systems are increasingly important and common elements of post-secondary, workplace, and lifelong education. The current state is that these systems typically employ the banking model of education ...
Large-scale integrated quantum photonics with artificial atoms
(Massachusetts Institute of Technology, 2021)
The construction of large, controllable quantum systems is a formidable task in quantum science and technology. In the context of quantum networks, single emitters in diamond have emerged as leading quantum bits that combine ...
Graphene-metal interactions beyond Van der Waals forces
(Massachusetts Institute of Technology, 2021)
With extraordinary properties, graphene has been applied in various studies to explore new phenomena, new understandings, and new applications. With only one atomic layer thick and all its atoms are on the surface, graphene's ...
A small, bright silicon light-emitting diode directly integrated with microelectronics
(Massachusetts Institute of Technology, 2021)
Silicon technologies have been developed for both electronics and photonics. Future demands call for further innovation in each field separately, but also depend on our ability to bring the best of both worlds together ...
Partial state in dataflow-based materialized views
(Massachusetts Institute of Technology, 2021)
This thesis proposes a practical database system that lowers latency and increases supported load for read-heavy applications by using incrementally-maintained materialized views to cache query results. As opposed to ...
Programmable interfaces for biomedical and neuroscience applications
(Massachusetts Institute of Technology, 2021)
The rapidly changing fields of biomedical sciences and neuroscience increasingly adopt scientific and technological innovations to advance the diagnosis and treatment of disease. With the emergence of miniaturized and ...