DataSpace: Computer Science

Computer Science

Items (Sorted by Submit Date in Descending order): 1 to 20 of 151

next >

Issue Date	Title	Author(s)
2021	A Sensible Approach to Speculative Automatic Parallelization	Apostolakis, Sotirios
2021	Progressive Automated Formal Verification of Memory Consistency in Parallel Processors	Manerkar, Yatin
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

Items (Sorted by Submit Date in Descending order): 1 to 20 of 151

next >

Browse