Skip to main content

Computer Science

Publication DateArticle TitleAuthor(s)
2021Binary Scoring Rules that Incentivize PrecisionNeyman, Eric; Noarov, Georgy; Weinberg, S Matthew
2021Computation over the Noisy Broadcast Channel with Malicious PartiesEfremenko, Klim; Kol, Gillat; Paramonov, Dmitry; Saxena, Raghuvansh R
2021Block Rigidity: Strong Multiplayer Parallel Repetition Implies Super-Linear Lower Bounds for Turing MachinesMittal, Kunal; Raz, Ran
2021Active multi-fidelity Bayesian online changepoint detectionGundersen, Gregory W.; Cai, Diana; Zhou, Chuteng; Engelhardt, Barbara E.; Adams, Ryan P.
2021Adversarial Imaging PipelinesPhan, Buu; Mannan, Fahim; Heide, Felix
2021Causal network inference from gene transcriptional time-series response to glucocorticoidsLu, Jonathan; Dumitrascu, Bianca; McDowell, Ian C; Jo, Brian; Barrera, Alejandro; et al
2021Optimal marker gene selection for cell type discrimination in single cell analysesDumitrascu, Bianca; Villar, Soledad; Mixon, Dustin; Engelhardt, Barbara E
2021Facebook's Tectonic Filesystem: Efficiency from ExascalePan, Satadru; Stavrinos, Theano; Zhang, Yunqiao; Sikaria, Atul; Zakharov, Pavel; et al
2021Don't be a blockhead: zoned namespaces make work on conventional SSDs obsoleteStavrinos, Theano; Berger, Daniel S; Katz-Bassett, Ethan; Lloyd, Wyatt
2021Joint analysis of expression levels and histological images identifies genes associated with tissue morphologyAsh, Jordan T; Darnell, Gregory; Munro, Daniel; Engelhardt, Barbara E
2021Boosting for Online Convex OptimizationHazan, Elad; Singh, Karan
2021Amortized Synthesis of Constrained Configurations Using a Differentiable SurrogateSun, Xingyuan; Xue, Tianju; Rusinkiewicz, Szymon; Adams, Ryan P.
2021Unbounded Procedure Summaries from Bounded EnvironmentsPick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
2021Pushing the Physical Limits of IoT Devices with Programmable MetasurfacesChen, Lili; Hu, Wenjun; Jamieson, Kyle; Chen, Xiaojiang; Fang, Dingyi; et al
2021Optimal marker gene selection for cell type discrimination in single cell analysesDumitrascu, Bianca; Villar, Soledad; Mixon, Dustin G; Engelhardt, Barbara E
2021REITS: Reflective Surface for Intelligent Transportation SystemsLi, Zhuqi; Wu, Can; Wagner, Sigurd; Sturm, James C; Verma, Naveen; et al
2021Optimal error resilience of adaptive message exchangeEfremenko, Klim; Kol, Gillat; Saxena, Raghuvansh
2021Boosting simple learnersAlon, Noga; Gonen, Alon; Hazan, Elad; Moran, Shay
2021Syntax-Guided Synthesis for Lemma Generation in Hardware Model CheckingZhang, Hongce; Gupta, Aarti; Malik, Sharad
2021Abstraction and subsumption in modular verification of C programsBeringer, Lennart; Appel, Andrew W