Skip navigation

Computer Science

Items (Sorted by Submit Date in Descending order): 1 to 20 of 154
Issue DateTitleAuthor(s)
20213D Representations for Learning to Reconstruct and Segment ShapesGenova, Kyle Adam
2021Abstracting Systems Challenges from Distributed Deep LearningOr, Andrew
2019TRUSTGUARD: A MODEL FOR PRACTICAL TRUST IN REAL SYSTEMSBeard, Stephen Robert
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
Items (Sorted by Submit Date in Descending order): 1 to 20 of 154