Skip to main content

Computer Science

Publication DateArticle TitleAuthor(s)
2021Chunkflow: hybrid cloud processing of large 3D images by convolutional netsWu, Jingpeng; Silversmith, William M; Lee, Kisuk; Seung, H Sebastian
2021CutQC: using small Quantum computers for large Quantum circuit evaluationsTang, Wei; Tomesh, Teague; Suchara, Martin; Larson, Jeffrey; Martonosi, Margaret
2021Optimal marker gene selection for cell type discrimination in single cell analysesDumitrascu, Bianca; Villar, Soledad; Mixon, Dustin; Engelhardt, Barbara E
2021Technical perspective: Why don't today's deep nets overfit to their training data?Arora, Sanjeev
2021Unbounded Procedure Summaries from Bounded EnvironmentsPick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
2021Syntax-Guided Synthesis for Lemma Generation in Hardware Model CheckingZhang, Hongce; Gupta, Aarti; Malik, Sharad
2021Don't be a blockhead: zoned namespaces make work on conventional SSDs obsoleteStavrinos, Theano; Berger, Daniel S; Katz-Bassett, Ethan; Lloyd, Wyatt
2021Causal network inference from gene transcriptional time-series response to glucocorticoidsLu, Jonathan; Dumitrascu, Bianca; McDowell, Ian C; Jo, Brian; Barrera, Alejandro; et al
2021Facebook's Tectonic Filesystem: Efficiency from ExascalePan, Satadru; Stavrinos, Theano; Zhang, Yunqiao; Sikaria, Atul; Zakharov, Pavel; et al
2021Boosting simple learnersAlon, Noga; Gonen, Alon; Hazan, Elad; Moran, Shay
2021Optimal error resilience of adaptive message exchangeEfremenko, Klim; Kol, Gillat; Saxena, Raghuvansh
2021Abstraction and subsumption in modular verification of C programsBeringer, Lennart; Appel, Andrew W
2021Optimal marker gene selection for cell type discrimination in single cell analysesDumitrascu, Bianca; Villar, Soledad; Mixon, Dustin G; Engelhardt, Barbara E
2021A Simple and Approximately Optimal Mechanism for a Buyer with ComplementsEden, Alon; Feldman, Michal; Friedler, Ophir; Talgam-Cohen, Inbal; Weinberg, S Matthew
2021Almost optimal super-constant-pass streaming lower bounds for reachabilityChen, Lijie; Kol, Gillat; Paramonov, Dmitry; Saxena, Raghuvansh; Song, Zhao; et al
2021Pushing the Physical Limits of IoT Devices with Programmable MetasurfacesChen, Lili; Hu, Wenjun; Jamieson, Kyle; Chen, Xiaojiang; Fang, Dingyi; et al
2021REITS: Reflective Surface for Intelligent Transportation SystemsLi, Zhuqi; Wu, Can; Wagner, Sigurd; Sturm, James C; Verma, Naveen; et al
2021Joint analysis of expression levels and histological images identifies genes associated with tissue morphologyAsh, Jordan T; Darnell, Gregory; Munro, Daniel; Engelhardt, Barbara E
2021New separations results for external informationBraverman, Mark; Minzer, Dor
2021Logical abstractions for noisy variational Quantum algorithm simulationHuang, Yipeng; Holtzen, Steven; Millstein, Todd; Van den Broeck, Guy; Martonosi, Margaret