Software Fault Isolation with Api Integrity and Multi-Principal Modules

by Mao, Yandong, Chen, Haogang, Zhou, Dong, Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans
Published 2012

Director: A User Interface Designed for Robot Operation with Shared Autonomy

by Marion, Pat, Fallon, Maurice, Deits, Robin Lloyd Henderson, Valenzuela, Andres Klee, Perez D'Arpino, Claudia, Izatt, Gregory R., Manuelli, Lucas, Antone, Matthew, Dai, Hongkai, Koolen, Twan, Carter, John, Kuindersma, Scott, Tedrake, Russell L
Published 2019

Design space exploration and optimization of path oblivious RAM in secure processors

by Ren, Ling, Yu, Xiangyao, Devadas, Srinivas, Fletcher, Christopher Wardlaw, Van Dijk, Marten
Published 2014

Collabode: Collaborative Coding in the Browser

by Goldman, Max, Little, Greg, Miller, Robert C.
Published 2013

Nonparametric discriminant analysis for face recognition

by Li, Zhifeng, Lin, Dahua, Tang, Xiaoou
Published 2010

DSENT - A Tool Connecting Emerging Photonics with Electronics for Opto-Electronic Networks-on-Chip Modeling

by Sun, Chen, Kurian, George, Wei, Lan, Agarwal, Anant, Peh, Li-Shiuan, Stojanovic, Vladimir, Chen, Chia-Hsin, Miller, Jason E.
Published 2014

MultiFab: a machine vision assisted platform for multi-material 3D printing

by Sitthi-Amorn, Pitchaya, Ramos, Javier E., Wangy, Yuwang, Kwan, Joyce, Lan, Justin, Wang, Wenshou, Matusik, Wojciech
Published 2016

The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier

by Chlipala, Adam
Published 2014

Asynchronous intrusion recovery for interconnected web services

by Chandra, Ramesh, Kim, Taesoo, Zeldovich, Nickolai
Published 2014