Skip navigation

Computer Science

Items (Sorted by Submit Date in Descending order): 1 to 20 of 230
Issue DateTitleAuthor(s)
2024A Game Theoretic Lens for Robustness in ControlGhai, Udaya Bakhru
2024Lucid: A High-Level, Easy-To-Use Dataplane Programming LanguageLoehr, Devon Kennedy
2023Deep Learning for Automated Theorem ProvingWang, Mingzhe
2023Beyond Linear Paradigms in Online ControlMinasyan, Edgar
2023QUANTUM AND QUANTUM-INSPIRED COMPUTATION FOR MIMO COMMUNICATIONS IN WIRELESS NETWORKSKim, Minsung
2023Designing Compact Data Structures for Network Measurement and ControlChen, Xiaoqi
2023From mind to machine: neural circuits, learning algorithms, and beyondYang, Runzhe
2023Foundationally Verified Data Plane ProgrammingWang, Qinshi
2023Analysis of neuronal wiring diagramsDorkenwald, Sven
2023Optimizing Content Distribution Network Caches with Machine LearningSONG, ZHENYU
2023Probabilistic Inference When the Model Is WrongCai, Diana
2023Cryptography against Space-Bounded AdversariesGuan, Jiaxin
2023Explainable Mechanism DesignThomas, Clayton
2023Beyond the polynomial method: Kakeya sets over finite rings and high dimensional variantsDhar, Manik
2023Randomness and Quantumness in Space-Bounded ComputationZhan, Wei
2023The Role Of Nonparametric Inference In Computational Models Of Categorization And AnalogyBattleday, Ruairidh McLennan
2023Stronger Abstractions and Performance Guarantees for Building Strongly Consistent Distributed ServicesHodsdon, Christopher Charles
2023Nabu: Unlocking Better Cache Performance at Lower Cost with Expiration Time-based Flash CachingStavrinos, Theano
2023Making Neural Network Models More EfficientSu, Yushan
2023Optimizing Data Supply and Memory Management for Graph Applications in Post-Moore Hardware-Software SystemsManocha, Aninda
Items (Sorted by Submit Date in Descending order): 1 to 20 of 230