Skip navigation

Computer Science

Items (Sorted by Submit Date in Descending order): 1 to 20 of 151
Issue DateTitleAuthor(s)
2021A Sensible Approach to Speculative Automatic ParallelizationApostolakis, Sotirios
2021Progressive Automated Formal Verification of Memory Consistency in Parallel ProcessorsManerkar, Yatin
2020Verified Optimizations for Functional LanguagesParaskevopoulou, Zoe
2020Internet Measurement for the Prevention and Detection of Internet SurveillanceRoberts, Laura M
2020Towards Flexible Active And Online Learning With Neural NetworksAsh, Jordan
2020Regret-Minimizing Algorithms Beyond Classical Optimization and ControlZhang, Cyril
2020An Intermediate Language for Network VerificationGiannarakis, Nick
2020Identifying and measuring manipulative user interfaces at scale on the webMathur, Arunesh
2020Synthesizing LensesMiltner, Anders
2020Enhancing Anonymity Systems under Network and User DynamicsSun, Yixin
2020HARDWARE MULTITHREADED TRANSACTIONS: ENABLING SPECULATIVE MULTITHREADED PIPELINE PARALLELIZATION FOR COMPLEX PROGRAMSFix, Jordan Samuel
2020Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency.Cuellar, Santiago
2020Joint Optimization for Robust Network Design and OperationGossels, Jennifer
2020Implications of Space-Bounded ComputationGarg, Sumegha
2020Methods for Reinforcement Learning in Clinical Decision SupportPrasad, Niranjani
2020Network Privacy and User Protection in the Internet of ThingsApthorpe, Noah
2020Circumventing Lower Bounds in Mechanism and Tournament DesignSchvartzman Cohenca, Ariel
2020On the Complexity of Markov Decision ProblemsChen, Yichen
2020Data-Driven Approaches and Systems to Interrogate Complex DiseaseDannenfelser, Ruth
2019Intra-Process Least Privilege and Isolation for Emerging ApplicationsMelara, Marcela Sofia
Items (Sorted by Submit Date in Descending order): 1 to 20 of 151