Skip to main content

Computer Science

Publication DateArticle TitleAuthor(s)
2021Amortized Synthesis of Constrained Configurations Using a Differentiable SurrogateSun, Xingyuan; Xue, Tianju; Rusinkiewicz, Szymon; Adams, Ryan P.
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
2021Bandwidth Extension is All You NeedSu, Jiaqi; Wang, Yunyun; Finkelstein, Adam; Jin, Zeyu
2021A Simple and Approximately Optimal Mechanism for a Buyer with ComplementsEden, Alon; Feldman, Michal; Friedler, Ophir; Talgam-Cohen, Inbal; Weinberg, S Matthew
2021Optimal error resilience of adaptive message exchangeEfremenko, Klim; Kol, Gillat; Saxena, Raghuvansh
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
2021Almost optimal super-constant-pass streaming lower bounds for reachabilityChen, Lijie; Kol, Gillat; Paramonov, Dmitry; Saxena, Raghuvansh; Song, Zhao; et al
2021Syntax-Guided Synthesis for Lemma Generation in Hardware Model CheckingZhang, Hongce; Gupta, Aarti; Malik, Sharad
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
2021Abstraction and subsumption in modular verification of C programsBeringer, Lennart; Appel, Andrew W
2021Pushing the Physical Limits of IoT Devices with Programmable MetasurfacesChen, Lili; Hu, Wenjun; Jamieson, Kyle; Chen, Xiaojiang; Fang, Dingyi; et al
2021A Duality-Based Unified Approach to Bayesian Mechanism DesignCai, Yang; Devanur, Nikhil R; Weinberg, S Matthew
2021Analysis of Smooth Heaps and Slim HeapsHartmann, Maria; Kozma, László; Sinnamon, Corwin; Tarjan, Robert E
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
2021Boosting simple learnersAlon, Noga; Gonen, Alon; Hazan, Elad; Moran, Shay