Publication SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020 Project
Publication Breaking the Screen: Interaction Across Touchscreen Boundaries in Virtual Reality for Mobile Knowledge Workers Verena Biener, Daniel Schneider, Travis Gesslein, Alexander Otte, Bastian Kuth, Per Ola Kristensson, Eyal Ofek, Michel Pahud (mpahud), Jens Grubert IEEE ISMAR 2020 | August 2020 Top ISMAR Paper (also in TVCG) Video
Publication Pen-based Interaction with Spreadsheets in Mobile Virtual Reality Travis Gesslein, Verena Biener, Philipp Gagel, Daniel Schneider, Per Ola Kristensson, Eyal Ofek, Michel Pahud, Jens Grubert IEEE ISMAR 2020 | August 2020 Video Video
Publication Mitigating bias in algorithmic hiring: evaluating claims and practices Manish Raghavan, Solon Barocas, Jon Kleinberg, Karen Levy FAT* 2020 | August 2020
Publication Online Invariance Selection for Local Feature Descriptors Remi Pautrat, Viktor Larsson, Martin R. Oswald, Marc Pollefeys 16th European Conference Computer Vision (ECCV 2020) | August 2020
Publication Convolutional Occupancy Networks Songyou Peng, Michael Niemeyer, Lars Mescheder, Marc Pollefeys, Andreas Geiger 16th European Conference Computer Vision (ECCV 2020) | August 2020
Publication Invertible Image Rescaling Mingqing Xiao, Shuxin Zheng, Chang Liu, Yaolong Wang, Di He, Guolin Ke, Jiang Bian, Zhouchen Lin, Tie-Yan Liu 16th European Conference Computer Vision (ECCV 2020) | August 2020
Publication TCGM: An Information-Theoretic Framework for Semi-Supervised Multi-Modality Learning Xinwei Sun, Yilun Xu, Peng Cao, Yuqing Kong, Lingjing Hu, Shanghang Zhang, Yizhou Wang 16th European Conference Computer Vision (ECCV 2020) | August 2020
Publication Design and Interpretation of Universal Adversarial Patches in Face Detection Xiao Yang, Fangyun Wei, Hongyang Zhang, Jun Zhu 16th European Conference Computer Vision (ECCV 2020) | August 2020
Publication Who left the dogs out? 3D Animal Reconstruction with Expectation Maximization in the Loop Benjamin Biggs, Oliver Boyne, James Charles, Andrew Fitzgibbon, Roberto Cipolla 16th European Conference Computer Vision (ECCV 2020) | August 2020