Computer Science
Items (Sorted by Submit Date in Descending order): 1 to 20 of 149
Issue Date | Title | Author(s) |
2020 | Verified Optimizations for Functional Languages | Paraskevopoulou, Zoe |
2020 | Internet Measurement for the Prevention and Detection of Internet Surveillance | Roberts, Laura M |
2020 | Towards Flexible Active And Online Learning With Neural Networks | Ash, Jordan |
2020 | Regret-Minimizing Algorithms Beyond Classical Optimization and Control | Zhang, Cyril |
2020 | An Intermediate Language for Network Verification | Giannarakis, Nick |
2020 | Identifying and measuring manipulative user interfaces at scale on the web | Mathur, Arunesh |
2020 | Synthesizing Lenses | Miltner, Anders |
2020 | Enhancing Anonymity Systems under Network and User Dynamics | Sun, Yixin |
2020 | HARDWARE MULTITHREADED TRANSACTIONS: ENABLING SPECULATIVE MULTITHREADED PIPELINE PARALLELIZATION FOR COMPLEX PROGRAMS | Fix, Jordan Samuel |
2020 | Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency. | Cuellar, Santiago |
2020 | Joint Optimization for Robust Network Design and Operation | Gossels, Jennifer |
2020 | Implications of Space-Bounded Computation | Garg, Sumegha |
2020 | Methods for Reinforcement Learning in Clinical Decision Support | Prasad, Niranjani |
2020 | Network Privacy and User Protection in the Internet of Things | Apthorpe, Noah |
2020 | Circumventing Lower Bounds in Mechanism and Tournament Design | Schvartzman Cohenca, Ariel |
2020 | On the Complexity of Markov Decision Problems | Chen, Yichen |
2020 | Data-Driven Approaches and Systems to Interrogate Complex Disease | Dannenfelser, Ruth |
2019 | Intra-Process Least Privilege and Isolation for Emerging Applications | Melara, Marcela Sofia |
2019 | Deciphering Disease Genomes in a Network Context | Hristov, Borislav H |
2019 | Efficient Higher-Order Optimization for Machine Learning | Bullins, Brian Anderson |
Items (Sorted by Submit Date in Descending order): 1 to 20 of 149