Synthesizing data-structure manipulations from storyboards

by Singh, Rishabh, Solar-Lezama, Armando
Published 2012

A Situationally Aware Voice-commandable Robotic Forklift Working Alongside People in Unstructured Outdoor Environments

by Walter, Matthew R., Antone, Matthew, Chuangsuwanich, Ekapol, Correa, Andrew, Davis, Randall, Fletcher, Luke, Frazzoli, Emilio, Friedman, Yuli, How, Jonathan P., Jeon, Jeong hwan, Karaman, Sertac, Luders, Brandon, Roy, Nicholas, Tellex, Stefanie, Teller, Seth, Glass, James R.
Published 2016

Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms

by Tyagi, Nirvan, Lynch, Jayson R., Demaine, Erik D
Published 2018

Exploiting Errors for Efficiency: A Survey from Circuits to Applications

by Stanley-Marbell, Phillip, Alaghi, Armin, Carbin, Michael James, Darulova, Eva, Dolecek, Lara, Gerstlauer, Andreas, Gillani, Ghayoor, Jevdjic, Djordje, Moreau, Thierry, Cacciotti, Mattia, Daglis, Alexandros, Jerger, Natalie Enright, Falsafi, Babak, Misailovic, Sasa, Sampson, Adrian, Zufferey, Damien
Published 2021

WiFi, LTE, or Both? Measuring Multi-Homed Wireless Internet Performance

by Deng, Shuo, Balakrishnan, Hari, Netravali, Ravi Arun, Sivaraman Kaushalram, Anirudh
Published 2015

Making information flow explicit in HiStar

by Zeldovich, Nickolai, Boyd-Wickizer, Silas, Kohler, Eddie, Mazieres, David
Published 2012

Automatic Layout of Structured Hierarchical Reports

by Bakke, Eirik, Karger, David R., Miller, Robert C.
Published 2014

Hierarchical Clustering: Objective Functions and Algorithms

by Cohen-addad, Vincent, Kanade, Varun, Mallmann-Trenn, Frederik, Mathieu, Claire
Published 2019

Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code

by Baghdadi, Mohamed Riyadh, Ray, Jessica Morgan, Romdhane, Malek Ben, Del Sozzo, Emanuele, Akkas, Abdurrahman, Zhang, Yunming, Suriana, Patricia, Kamil, Shoaib, Amarasinghe, Saman P
Published 2020

Causal effect inference with deep latent-variable models

by Louizos, Christos, Shalit, Uri, Mooij, Joris, Sontag, David Alexander, Zemel, Richard, Welling, Max
Published 2022

GenePING: secure, scalable management of personal genomic data

by Adida, Ben, Kohane, Isaac
Published 2010

Origamizer: A practical algorithm for folding any polyhedron

by Demaine, Erik, Tachi, Tomohiro
Published 2021

Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis

by Cheung, Alvin, Kamil, Shoaib, Solar Lezama, Armando
Published 2018

Demonstration of Qurk: A Query Processor for Human Operators

by Marcus, Adam, Wu, Eugene, Karger, David R., Madden, Samuel R., Miller, Robert C.
Published 2012

Staring into the abyss: An evaluation of concurrency control with one thousand cores

by Yu, Xiangyao, Bezerra, George, Pavlo, Andrew, Devadas, Srinivas, Stonebraker, Michael
Published 2015

Introducing decision entrustment mechanism into repeated bilateral agent interactions to achieve social optimality

by Hao, Jianye, Leung, Ho-fung
Published 2017

Automatic Reconfiguration for Large-Scale Reliable Storage Systems

by Rodrigues, Rodrigo, Liskov, Barbara H., Chen, Kathryn, Liskov, Moses, Schultz, David
Published 2012

Appearance-based object reacquisition for mobile manipulation

by Walter, Matthew R., Friedman, Yuli, Antone, Matthew, Teller, Seth
Published 2011

Refraction Wiggles for Measuring Fluid Depth and Velocity from Video

by Xue, Tianfan, Rubinstein, Michael, Wadhwa, Neal, Levin, Anat, Durand, Fredo, Freeman, William T.
Published 2015

Streaming Similarity Search over One Billion Tweets Using Parallel Locality-Sensitive Hashing

by Sundaram, Narayanan, Turmukhametova, Aizana Z., Satish, Nadathur, Mostak, Todd, Indyk, Piotr, Madden, Samuel R., Dubey, Pradeep
Published 2014