What's wrong with git?: a conceptual design

by Perez De Rosso, Santiago Nicolas, Jackson, Daniel
Published 2016

WaitSuite: Productive Use of Diverse Waiting Moments

by Cai, Carrie Jun, Miller, Robert C, Ren, Anji
Published 2017

Large-scale identification of genetic design strategies using local search

by Lun, Desmond S., Rockwell, Graham, Guido, Nicholas J., Baym, Michael Hartmann, Kelner, Jonathan Adam, Berger, Bonnie, Galagan, James E., Church, George M.
Published 2011

Prediction of Organic Reaction Outcomes Using Machine Learning

by Coley, Connor W., Barzilay, Regina, Jaakkola, Tommi S., Green, William H., Jensen, Klavs F., Coley, Connor Wilson, Jaakkola, Tommi S., Green, William H., Jensen, Klavs F.
Published 2017

Jenga: Software-Defined Cache Hierarchies

by Tsai, Po-An, Beckmann, Nathan Zachary, Sanchez, Daniel
Published 2021

Accurate, Low-Energy Trajectory Mapping for Mobile Devices

by Thiagarajan, Arvind, Ravindranath, Lenin, Balakrishnan, Hari, Madden, Samuel R., Girod, Lewis D.
Published 2011

The role of accessibility in a universal web

by Henry, Shawn Lawton, Abou-Zahra, Shadi, Brewer, Judy
Published 2014

An Architecture for Online Affordance-based Perception and Whole-body Planning

by Kuindersma, Scott, Karumanchi, Sisir B., Antone, Matthew, Dai, Hongkai, DiCicco, Matt, Fourie, Dehann, Yu, Kuan-Ting, Iagnemma, Karl, Teller, Seth, Perez D'Arpino, Claudia, Deits, Robin Lloyd Henderson, Koolen, Frans Anton, Marion, James Patrick, Posa, Michael Antonio, Valenzuela, Andres Klee, Shah, Julie A, Tedrake, Russell L, Fallon, Maurice, Schneider, Toby Edwin
Published 2015

Adaptive communication in multi-robot systems using directionality of signal strength

by Gil, Stephanie, Suresh Kumar, Swarun, Katabi, Dina, Rus, Daniela L.
Published 2015

Shenango: Achieving high CPU efficiency for latency-sensitive datacenter workloads

by Ousterhout, Amy Elizabeth, Fried, Joshua, Behrens, Jonathan (Jonathan Kyle), Belay, Adam M, Balakrishnan, Hari
Published 2021

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

by Chlipala, Adam
Published 2014

Automatic runtime error repair and containment via recovery shepherding

by Long, Fan, Sidiroglou-Douskos, Stelios, Rinard, Martin
Published 2020

Keys under doormats: mandating insecurity by requiring government access to all data and communications

by Abelson, Harold, Anderson, Ross, Bellovin, Steven M., Benaloh, Josh, Blaze, Matt, Diffie, Whitfield, Gilmore, John, Green, Matthew, Landau, Susan, Neumann, Peter G., Rivest, Ronald L, Schiller, Jeffrey I, Schneier, Bruce, Specter, Michael, Weitzner, Daniel J
Published 2020

Deep Metric Learning via Facility Location

by Song, Hyun Oh, Jegelka, Stefanie Sabrina, Rathod, Vivek, Murphy, Kevin
Published 2021

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

by Sidiroglou-Douskos, Stelios, Lahtinen, Eric, Piselli, Paolo, Long, Fan, Kim, Deokhwan, Rinard, Martin C., Rittenhouse, Nathan (Nathan W.)
Published 2015

An empirical investigation of command-line customization

by Schröder, Michael, Cito, Jürgen
Published 2021

An Integrated Proof Language for Imperative Programs

by Zee, Karen, Kuncak, Viktor, Rinard, Martin C.
Published 2010