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 level. Dive into details by clicking on the dots.
Projects
Collaborative Research: PPoSS: Planning: Fixpoint: an operating system and architecture for data-centric computing
NSF - National Science Foundation
10/1/20 → 9/30/21
Project: Research project
RI: Small: Accelerating Machine Learning via Randomized Automatic Differentiation
NSF - National Science Foundation
10/1/20 → 9/30/23
Project: Research project
Symbolic Reasoning meets Deep Learning: Toward Building Machines that Think
7/13/20 → 7/12/23
Project: Research project
Research Output
Abstract Interpretation of distributed network control planes
Beckett, R., Gupta, A., Mahajan, R. & Walker, D., Jan 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, 42.Research output: Contribution to journal › Article
Open Access
2
Scopus
citations
Accurate quantification of copy-number aberrations and whole-genome duplications in multi-sample tumor sequencing data
Zaccaria, S. & Raphael, B. J., Dec 1 2020, In : Nature communications. 11, 1, 4301.Research output: Contribution to journal › Article
Open Access
Adaptive weighted traffic splitting in programmable data planes
Hsu, K. F., Tammana, P., Beckett, R., Chen, A., Rexford, J. & Walker, D., Mar 3 2020, SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 103-109 7 p. (SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access