Protocol design contests

by Winstein, Keith, Das, Somak, Ma, Joshua, Balakrishnan, Hari, Sivaraman Kaushalram, Anirudh, Varley, Pauline P., Batalha, Joao, Goyal, Ameesh K.
Published 2014

The end of history? Using a proof assistant to replace language design with library design

by Chlipala, Adam, Delaware, Benjamin, Duchovni, Samuel, Gross, Jason S., Pit-Claudel, Clément, Suriyakarn, Sorawit, Wang, Peng
Published 2021

The end of history? Using a proof assistant to replace language design with library design

by Chlipala, Adam, Delaware, Benjamin, Duchovni, Samuel, Gross, Jason S., Pit-Claudel, Clement Francois, Suriyakarn, Sorawit, Wang, Peng
Published 2020

The Trouble with Social Computing Systems Research

by Bernstein, Michael S., Ackerman, Mark S., Chi, Ed H., Miller, Robert C.
Published 2011

MAC Design for Analog Network Coding

by Khabbazian, Majid, Kuhn, Fabian, Lynch, Nancy Ann, Medard, Muriel, Parandehgheibi, Ali
Published 2012

Sociotechnical Considerations for Accessible Visualization Design

by Lundgard, Alan, Lee, Crystal, Satyanarayan, Arvind
Published 2020

Algorithms for Designing Pop-Up Cards

by Abel, Zachary Ryan, Demaine, Erik D., Demaine, Martin L., Eisenstat, Sarah Charmian, Lubiw, Anna, Schulz, Andre, Souvaine, Diane L., Viglietta, Giovanni, Winslow, Andrew
Published 2014

Computational design of metallophone contact sounds

by Bharaj, Gaurav, Levin, David I. W., Tompkin, James, Fei, Yun, Pfister, Hanspeter, Matusik, Wojciech, Zheng, Changxi
Published 2016

Indoor robot gardening: design and implementation

by Correll, Nikolaus, Arechiga, Nikos, Bolger, Adrienne M., Bollini, Mario A., Charrow, Ben, Clayton, Adam, Dominguez, Felipe A., Donahue, Kenneth M., Dyar, Samuel S., Johnson, Luke B., Liu, Huan, Patrikalakis, Alexander, Robertson, Timothy, Smith, Jeremy, Soltero, Daniel Eduardo, Tanner, Melissa, White, Lauren L., Rus, Daniela L.
Published 2012

Separation of concerns for dependable software design

by Jackson, Daniel, Kang, Eunsuk
Published 2011

Mechanism Design with Set-Theoretic Beliefs

by Chen, Jing, Micali, Silvio
Published 2012

What's wrong with git?: a conceptual design

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

Rational Approaches to Improving Selectivity in Drug Design

by Huggins, David J., Sherman, Woody, Tidor, Bruce
Published 2012

An algorithm for amplitude-constrained input design for system identification

by Manchester, Ian R.
Published 2010

Control design along trajectories with sums of squares programming

by Majumdar, Anirudha, Ahmadi, Amir Ali, Tedrake, Russell Louis
Published 2014

Sloppy Models, Parameter Uncertainty, and the Role of Experimental Design

by Apgar, Joshua F., Witmer, David K., White, Forest M., Tidor, Bruce
Published 2013

Leveraging latency-insensitivity to ease multiple FPGA design

by Fleming, Kermin Elliott, Pellauer, Michael, Arvind, Arvind, Emer, Joel S
Published 2019

Data-driven finite elements for geometry and material design

by Chen, Desai, Levin, David I. W., Sueda, Shinjiro, Matusik, Wojciech
Published 2016

Autonomous Depth Adjustment for Underwater Sensor Networks: Design and Applications

by Detweiler, Carrick, Wojciech, Marek, Vasilescu, Iuliu, Rus, Daniela L.
Published 2012

Toward facilitating assistance to students attempting engineering design problems

by Glassman, Elena L, Miller, Robert C.
Published 2019