Publication Date | Article Title | Author(s) |
2021 | Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking | Zhang, Hongce; Gupta, Aarti; Malik, Sharad |
2021 | Abstraction and subsumption in modular verification of C programs | Beringer, Lennart; Appel, Andrew W |
2021 | Pushing the Physical Limits of IoT Devices with Programmable Metasurfaces | Chen, Lili; Hu, Wenjun; Jamieson, Kyle; Chen, Xiaojiang; Fang, Dingyi; et al |
2021 | Optimal marker gene selection for cell type discrimination in single cell analyses | Dumitrascu, Bianca; Villar, Soledad; Mixon, Dustin G; Engelhardt, Barbara E |
2021 | REITS: Reflective Surface for Intelligent Transportation Systems | Li, Zhuqi; Wu, Can; Wagner, Sigurd; Sturm, James C; Verma, Naveen; et al |
2021 | Joint analysis of expression levels and histological images identifies genes associated with tissue morphology | Ash, Jordan T; Darnell, Gregory; Munro, Daniel; Engelhardt, Barbara E |
2021 | Patterns and Interactions in Network Security | Zave, Pamela; Rexford, Jennifer |
2021 | Privacy Policies over Time: Curation and Analysis of a Million-Document Dataset | Amos, Ryan; Acar, Gunes; Lucherini, Elena; Kshirsagar, Mihir; Narayanan, Arvind; et al |
2021 | Securing internet applications from routing attacks | Sun, Yixin; Apostolaki, Maria; Birge-Lee, Henry; Vanbever, Laurent; Rexford, Jennifer; et al |
2021 | Revitalizing the public internet by making it extensible | Balakrishnan, Hari; Banerjee, Sujata; Cidon, Israel; Culler, David; Estrin, Deborah; et al |
2021 | Technical perspective: Tracking pandemic-driven internet traffic | Rexford, Jennifer |
2021 | Quantum Lightning Never Strikes the Same State Twice. Or: Quantum Money from Cryptographic Assumptions | Zhandry, Mark |
Dec-2020 | SymmetryNet: learning to predict reflectional and rotational symmetries of 3D shapes from single-view RGB-D images | Shi, Yifei; Huang, Junwen; Zhang, Hongjia; Xu, Xin; Rusinkiewicz, Szymon; et al |
30-Nov-2020 | A Lower Bound for Adaptively-Secure Collective Coin Flipping Protocols | Kalai, Yael T.; Komargodski, Ilan; Raz, Ran |
Oct-2020 | A Quantitative Proteome Map of the Human Body. | Jiang, Lihua; Wang, Meng; Lin, Shin; Jian, Ruiqi; Li, Xiao; et al |
21-Sep-2020 | Retrospective evaluation of whole exome and genome mutation calls in 746 cancer samples | Bailey, Matthew H; Meyerson, William U; Dursi, Lewis J; Wang, Liang-Bo; Dong, Guanlan; et al |
4-Sep-2020 | Reconstruction of clone- and haplotype-specific cancer genome karyotypes from bulk tumor samples. | Aganezov, Sergey; Raphael, Benjamin J |
2-Sep-2020 | Accurate quantification of copy-number aberrations and whole-genome duplications in multi-sample tumor sequencing data. | Zaccaria, Simone; Raphael, Benjamin J |
Sep-2020 | Selective Neuronal Vulnerability in Alzheimer’s Disease: A Network-Based Analysis | Roussarie, Jean-Pierre; Yao, Vicky; Rodriguez-Rodriguez, Patricia; Oughtred, Rose; Rust, Jennifer; et al |
28-Aug-2020 | Sex differences in oncogenic mutational processes | Li, Constance H; Prokopec, Stephenie D; Sun, Ren X; Yousif, Fouad; Schmitz, Nathaniel; et al |