Projects per year
Search results
-
Active
SaTC: CORE: Small: Regulating and Leveraging Types for Security
THE NATIONAL SCIENCE FOUNDATION
8/1/23 → 7/31/26
Project: Research project
-
SaTC: CORE: Small: Regulating and Leveraging Types for Security
8/1/23 → 7/31/26
Project: Research project
-
Community-Engaged Design and Implementation of a Framework for Ethical Online Communities Research
Chancellor, S., Yarosh, L., Lu, K., Konstan, J. A. & Terveen, L. G.
1/1/23 → 12/31/25
Project: Research project
-
Collaborative Research: SaTC: CORE: Small: Improving Decentralized Kernel Patch Ecosystems
THE NATIONAL SCIENCE FOUNDATION
7/1/22 → 6/30/25
Project: Research project
-
Collaborative Research: SaTC: CORE: Small: Improving Decentralized Kernel Patch Ecosystems
7/1/22 → 6/30/25
Project: Research project
-
CAREER: Whole-Kernel Analysis Against Developer and Compiler-Introduced Errors
THE NATIONAL SCIENCE FOUNDATION
10/1/21 → 9/30/26
Project: Research project
-
CNS Core:Medium: NFLambda -- A Granular, Scalable and Secure NFV Framework for High Performance Packet Processing at 100 Gbps and Beyond
Zhang, Z. Z., Lu, K. & Zhai, A. A. B.
10/1/21 → 9/30/24
Project: Research project
-
CAREER: Whole-Kernel Analysis Against Developer- and Compiler-Introduced Errors
10/1/21 → 9/30/26
Project: Research project