| 2025 | ICRA | Distributed Certifiably Correct Range-Aided SLAM. | Alexander Thoms, Alan Papalia, Jared Velasquez, David M. Rosen, Sriram Narasimhan |
| 2025 | UAI | A Trust-Region Method for Graphical Stein Variational Inference. | Liam Pavlovic, David M. Rosen |
| 2024 | ICRA | OASIS: Optimal Arrangements for Sensing in SLAM. | Pushyami Kaveti, Matthew Giamou, Hanumant Singh, David M. Rosen |
| 2023 | ICRA | SCORE: A Second-Order Conic Initialization for Range-Aided SLAM. | Alan Papalia, Joseph Morales, Kevin J. Doherty, David M. Rosen, John J. Leonard |
| 2022 | ICRA | Performance Guarantees for Spectral Initialization in Rotation Averaging and Pose-Graph SLAM. | Kevin J. Doherty, David M. Rosen, John J. Leonard |
| 2022 | IROS | Spectral Measurement Sparsification for Pose-Graph SLAM. | Kevin J. Doherty, David M. Rosen, John J. Leonard |
| 2022 | IROS | Distributed Riemannian Optimization with Lazy Communication for Collaborative Geometric Estimation. | Yulun Tian, Amrit Singh Bedi, Alec Koppel, Miguel Calvo-Fullana, David M. Rosen, Jonathan P. How |
| 2021 | WAFR | Scalable Low-Rank Semidefinite Programming for Certifiably Correct Machine Perception. | David M. Rosen |
| 2020 | ECCV | Shonan Rotation Averaging: Global Optimality by Surfing SO(p) | Frank Dellaert, David M. Rosen, Jing Wu, Robert E. Mahony, Luca Carlone |
| 2016 | ICRA | Towards lifelong feature-based mapping in semi-static environments. | David M. Rosen, Julian Mason, John J. Leonard |
| 2016 | WAFR | A Certifiably Correct Algorithm for Synchronization over the Special Euclidean Group. | David M. Rosen, Luca Carlone, Afonso S. Bandeira, John J. Leonard |
| 2015 | ICRA | A convex relaxation for approximate global optimization in simultaneous localization and mapping. | David M. Rosen, Charles DuHadway, John J. Leonard |
| 2015 | IROS | Lagrangian duality in 3D SLAM: Verification techniques and optimal solutions. | Luca Carlone, David M. Rosen, Giuseppe Carlo Calafiore, John J. Leonard, Frank Dellaert |
| 2014 | ICRA | Inference over heterogeneous finite-/infinite-dimensional systems using factor graphs and Gaussian processes. | David M. Rosen, Guoquan Huang, John J. Leonard |
| 2013 | ICRA | Robust incremental online inference over sparse factor graphs: Beyond the Gaussian case. | David M. Rosen, Michael Kaess, John J. Leonard |
| 2012 | ICRA | An incremental trust-region method for Robust online sparse least-squares estimation. | David M. Rosen, Michael Kaess, John J. Leonard |