Publication Date | Article Title | Author(s) |
2020 | Synthesizing Environment Invariants for Modular Hardware Verification | Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad |
2020 | Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis | Zhang, Hongce; Shinn, Maxwell; Gupta, Aarti; Gurfinkel, Arie; Le, Nham; et al |
2020 | Connecting Higher-Order Separation Logic to a First-Order Outside World | Mansky, William; Honoré, Wolf; Appel, Andrew W |
2020 | Seeing Through Fog Without Seeing Fog: Deep Multimodal Sensor Fusion in Unseen Adverse Weather | Bijelic, Mario; Gruber, Tobias; Mannan, Fahim; Kraus, Florian; Ritter, Werner; et al |
2020 | Seeing Around Street Corners: Non-Line-of-Sight Detection and Tracking In-the-Wild Using Doppler Radar | Scheiner, Nicolas; Kraus, Florian; Wei, Fangyin; Phan, Buu; Mannan, Fahim; et al |
2020 | Single-Shot Monocular RGB-D Imaging Using Uneven Double Refraction | Meuleman, Andreas; Baek, Seung-Hwan; Heide, Felix; Kim, Min H |
2020 | Towards spatially varying gloss reproduction for 3D printing | Piovarči, Michal; Foshey, Michael; Babaei, Vahid; Rusinkiewicz, Szymon; Matusik, Wojciech; et al |
2020 | Towards Fairness in Visual Recognition: Effective Strategies for Bias Mitigation | Wang, Zeyu; Qinami, Klint; Karakozis, Ioannis C; Genova, Kyle; Nair, Prem; et al |
2020 | Performance-Optimal Read-Only Transactions | Lu, Haonan; Sen, Siddhartha; Lloyd, Wyatt |
2020 | Calibration, Entropy Rates, and Memory in Language Models | Braverman, Mark; Chen, Xinyi; Kakade, Sham; Narasimhan, Karthik; Zhang, Cyril; et al |
2020 | Boosting for Control of Dynamical Systems | Agarwal, Naman; Brukhim, Nataly; Hazan, Elad; Lu, Zhou |
2020 | Patient-Specific Effects of Medication Using Latent Force Models with Gaussian Processes | Cheng, Li-Fang; Dumitrascu, Bianca; Zhang, Michael; Chivers, Corey; Draugelis, Michael; et al |
2020 | Synaptic Partner Assignment Using Attentional Voxel Association Networks | Turner, Nicholas L; Lee, Kisuk; Lu, Ran; Wu, Jingpeng; Ih, Dodam; et al |
2020 | Deep-inverse correlography: towards real-time high-resolution non-line-of-sight imaging | Metzler, CA; Heide, F; Rangarajan, P; Balaji, MM; Viswanath, A; et al |
2020 | Geometric Exploration for Online Control | Plevrakis, Orestis; Hazan, Elad |
2020 | Ballot-Marking Devices Cannot Ensure the Will of the Voters | Appel, Andrew W; DeMillo, Richard A; Stark, Philip B |
2020 | New Query Lower Bounds for Submodular Function Minimization | Graur, Andrei; Pollner, Tristan; Ramaswamy, Vidhya; Weinberg, S Matthew |
2020 | Implementation in Advised Strategies: Welfare Guarantees from Posted-Price Mechanisms When Demand Queries Are NP-Hard | Cai, Linda; Thomas, Clay; Weinberg, S Matthew |
2020 | REVISE: A Tool for Measuring and Mitigating Bias in Visual Datasets | Wang, Angelina; Narayanan, Arvind; Russakovsky, Olga |
2020 | Enabling Programmable Transport Protocols in High-Speed NICs | Arashloo, Mina T; Lavrov, Alexey; Ghobadi, Manya; Rexford, Jennifer; Walker, David; et al |