Computer Science

Perceptual Quality Assessment of Smartphone Photography CVPR 2020 Performance-Optimal Read-Only Transactions OSDI 2020 Persistent State Machines for Recoverable In-memory Storage Systems with NVRam OSDI 2020 Persuasiveness of News Editorials depending on Ideology and Personality COLING 2020 Photometric Stereo via Discrete Hypothesis-and-Test Search CVPR 2020 Pimlico: A toolkit for corpus-processing pipelines and reproducible experiments EMNLP 2020 PipeSwitch: Fast Pipelined Context Switching for Deep Learning Applications OSDI 2020 Plankton: Scalable network configuration verification through model checking NSDI 2020 Polarized Non-Line-of-Sight Imaging CVPR 2020 Polytime Decomposition of Generalized Submodular Base Polytopes with Efficient Sampling ACML 2020 Population-Based Black-Box Optimization for Biological Sequence Design ICML 2020 Poset Representations for Sets of Elementary Triplets PGM 2020 Practical Frank–Wolfe Method with Decision Diagrams for Computing Wardrop Equilibrium of Combinatorial Congestion Games AAAI 2020 PrivateEye: Scalable and Privacy-Preserving Compromise Detection in the Cloud NSDI 2020 Programming in Natural Language with fuSE: Synthesizing Methods from Spoken Utterances Using Deep Natural Language Understanding ACL 2020 Provable Overlapping Community Detection in Weighted Graphs NeurIPS 2020 Provenance for Linguistic Corpora through Nanopublications COLING 2020 Providing SLOs for Resource-Harvesting VMs in Cloud Platforms OSDI 2020 Proximity Preserving Binary Code Using Signed Graph-Cut AAAI 2020 Quasi-Newton Solver for Robust Non-Rigid Registration CVPR 2020 Query Answering for Existential Rules via Efficient Datalog Rewriting IJCAI 2020 Querying Across Genres for Medical Claims in News EMNLP 2020 Query Rewriting for Ontology-Mediated Conditional Answers AAAI 2020 Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks OSDI 2020 Randomness Efficient Feature Hashing for Sparse Binary Data ACML 2020