Projects per year
Fingerprint
Dive into the research topics where Computer Science is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Collaborative Research: PPoSS: Planning: A Disciplined Approach to Scaling in the Post-Moore?s Law Era
NSF - National Science Foundation
7/15/21 → 6/30/22
Project: Research project
-
Collaborative Research: SHF: Medium: Automated Word Level Synthesis for Hardware Code Generation and Verified Abstraction
NSF - National Science Foundation
7/15/21 → 6/30/24
Project: Research project
-
Collaborative Research: CNS CORE: Medium: The Case for Blended Storage
NSF - National Science Foundation
7/1/21 → 6/30/24
Project: Research project
-
Abstraction and subsumption in modular verification of C programs
Beringer, L. & Appel, A. W., 2021, (Accepted/In press) In: Formal Methods in System Design.Research output: Contribution to journal › Article › peer-review
-
A multimodal and integrated approach to interrogate human kidney biopsies with rigor and reproducibility: Guidelines from the kidney precision medicine project
Kidney Precision Medicine Project, 2021, In: Physiological Genomics. 53, 1, p. 1-11 11 p.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
An automated framework for efficiently designing deep convolutional neural networks in genomics
Zhang, Z., Park, C. Y., Theesfeld, C. L. & Troyanskaya, O. G., May 2021, In: Nature Machine Intelligence. 3, 5, p. 392-400 9 p.Research output: Contribution to journal › Article › peer-review