David Bindel

83 papers A* 16A 6C 3Misc 1Journal 46Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bean: A Language for Backward Error Analysis.
CoRR
Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu
2025 J jnl
Bean: A Language for Backward Error Analysis.
Proc. ACM Program. Lang.
Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu
2025 J jnl
Level Set Learning for Poincaré Plots of Symplectic Maps.
SIAM J. Appl. Dyn. Syst.
Maximilian Ruth, David Bindel
2025 A* conf
Stochastic Poisson Surface Reconstruction with One Solve using Geometric Gaussian Processes.
ICML
Sidhanth Holalkere, David Bindel, Silvia Sellán, Alexander Terenin
2024 J jnl
Differentiating Policies for Non-Myopic Bayesian Optimization.
CoRR
Darian Nwankwo, David Bindel
2024 J jnl
Finding Birkhoff Averages via Adaptive Filtering.
CoRR
Maximilian Ruth, David Bindel
2024 J jnl
Streaming Local Community Detection Through Approximate Conductance.
IEEE Trans. Big Data
Meng Wang, Yanhao Yang, David Bindel, Kun He
2024 J jnl
The High-Order Magnetic Near-Axis Expansion: Ill-Posedness and Regularization.
CoRR
Maximilian Ruth, Rogerio Jorge, David Bindel
2023 J jnl
Bayesian Transformed Gaussian Processes.
Trans. Mach. Learn. Res.
Xinran Zhu, Leo Huang, Eric Hans Lee, Cameron Alexander Ibrahim, David Bindel
2023 C conf
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs.
ARITH
Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel
2023 J jnl
Level Set Learning for Poincaré Plots of Symplectic Maps.
CoRR
Maximilian Ruth, David Bindel
2023 A conf
Surveillance Evasion Through Bayesian Reinforcement Learning.
AISTATS
Dongping Qi, David Bindel, Alexander Vladimirsky
2023 A* conf
Variational Gaussian Processes with Decoupled Conditionals.
NeurIPS
Xinran Zhu, Kaiwen Wu, Natalie Maus, Jacob R. Gardner, David Bindel
2023 C conf
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.
CICM
Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin
2022 J jnl
Early termination strategies with asynchronous parallel optimization in application to automatic calibration of groundwater PDE models.
Environ. Model. Softw.
Min Pang, Christine Annette Shoemaker, David Bindel
2022 — conf
GPTuneBand: Multi-task and Multi-fidelity Autotuning for Large-scale High Performance Computing Applications.
PP
Xinran Zhu, Yang Liu, Pieter Ghysels, David Bindel, Xiaoye S. Li
2022 J jnl
Scalable Bayesian Transformed Gaussian Processes.
CoRR
Xinran Zhu, Leo Huang, Cameron Ibrahim, Eric Hans Lee, David Bindel
2021 A conf
Density of States Graph Kernels.
SDM
Leo Huang, Andrew J. Graven, David Bindel
2021 J jnl
On-the-Fly Rectification for Robust Large-Vocabulary Topic Inference.
CoRR
Moontae Lee, Sungjun Cho, Kun Dong, David Mimno, David Bindel
2021 A* conf
On-the-fly Rectification for Robust Large-Vocabulary Topic Inference.
ICML
Moontae Lee, Sungjun Cho, Kun Dong, David Mimno, David Bindel
2021 A* conf
Scaling Gaussian Processes with Derivative Information Using Variational Inference.
NeurIPS
Misha Padidar, Xinran Zhu, Leo Huang, Jacob R. Gardner, David Bindel
2021 J jnl
Scaling Gaussian Processes with Derivative Information Using Variational Inference.
CoRR
Misha Padidar, Xinran Zhu, Leo Huang, Jacob R. Gardner, David Bindel
2021 J jnl
Streaming Local Community Detection through Approximate Conductance.
CoRR
Yanhao Yang, Meng Wang, David Bindel, Kun He
2021 J jnl
Surveillance Evasion Through Bayesian Reinforcement Learning.
CoRR
Dongping Qi, David Bindel, Alexander Vladimirsky
2020 J jnl
A wave optics based fiber scattering model.
ACM Trans. Graph.
Mengqi (Mandy) Xia, Bruce Walter, Eric Michielssen, David Bindel, Steve Marschner
2020 J jnl
Density of States Graph Kernels.
CoRR
Leo Huang, Andrew Graven, David Bindel
2020 A conf
Efficient Rollout Strategies for Bayesian Optimization.
UAI
Eric Hans Lee, David Eriksson, David Bindel, Bolong Cheng, Mike Mccourt
2020 J jnl
Efficient Rollout Strategies for Bayesian Optimization.
CoRR
Eric Hans Lee, David Eriksson, Bolong Cheng, Michael McCourt, David Bindel
2020 A* conf
On the Distribution of Minima in Intrinsic-Metric Rotation Averaging.
CVPR
Kyle Wilson, David Bindel
2020 J jnl
On the Distribution of Minima in Intrinsic-Metric Rotation Averaging.
CoRR
Kyle Wilson, David Bindel
2020 A conf
Prior-aware Composition Inference for Spectral Topic Models.
AISTATS
Moontae Lee, David Bindel, David Mimno
2020 A* conf
Randomly Projected Additive Gaussian Processes for Regression.
ICML
Ian A. Delbridge, David Bindel, Andrew Gordon Wilson
2019 J jnl
A Subspace Pursuit Method to Infer Refractivity in the Marine Atmospheric Boundary Layer.
IEEE Trans. Geosci. Remote. Sens.
Marc Aurèle Gilles, Christopher J. Earls, David Bindel
2019 J jnl
Krylov Subspace Approximation for Local Community Detection in Large Networks.
ACM Trans. Knowl. Discov. Data
Kun He, Pan Shi, David Bindel, John E. Hopcroft
2019 J jnl
Locally-biased spectral approximation for community detection.
Knowl. Based Syst.
Pan Shi, Kun He, David Bindel, John E. Hopcroft
2019 A* conf
Network Density of States.
KDD
Kun Dong, Austin R. Benson, David Bindel
2019 J jnl
Network Density of States.
CoRR
Kun Dong, Austin R. Benson, David Bindel
2019 — conf
Practical Correlated Topic Modeling and Analysis via the Rectified Anchor Word Algorithm.
EMNLP/IJCNLP (1)
Moontae Lee, Sungjun Cho, David Bindel, David Mimno
2019 J jnl
pySOT and POAP: An event-driven asynchronous framework for surrogate optimization.
CoRR
David Eriksson, David Bindel, Christine A. Shoemaker
2018 J jnl
A Nonlinear Algebraic Multigrid Framework for the Power Flow Equations.
SIAM J. Sci. Comput.
Colin Ponce, David Bindel, Panayot S. Vassilevski
2018 A* conf
GPyTorch: Blackbox Matrix-Matrix Gaussian Process Inference with GPU Acceleration.
NeurIPS
Jacob R. Gardner, Geoff Pleiss, Kilian Q. Weinberger, David Bindel, Andrew Gordon Wilson
2018 J jnl
GPyTorch: Blackbox Matrix-Matrix Gaussian Process Inference with GPU Acceleration.
CoRR
Jacob R. Gardner, Geoff Pleiss, David Bindel, Kilian Q. Weinberger, Andrew Gordon Wilson
2018 J jnl
Local Spectral Clustering for Overlapping Community Detection.
ACM Trans. Knowl. Discov. Data
Yixuan Li, Kun He, Kyle Kloster, David Bindel, John E. Hopcroft
2018 A* conf
Scaling Gaussian Process Regression with Derivatives.
NeurIPS
David Eriksson, Kun Dong, Eric Hans Lee, David Bindel, Andrew Gordon Wilson
2018 J jnl
Scaling Gaussian Process Regression with Derivatives.
CoRR
David Eriksson, Kun Dong, Eric Hans Lee, David Bindel, Andrew Gordon Wilson
2017 J jnl
Krylov Subspace Approximation for Local Community Detection.
CoRR
Kun He, Pan Shi, David Bindel, John E. Hopcroft
2017 — conf
Local Lanczos Spectral Approximation for Community Detection.
ECML/PKDD (1)
Pan Shi, Kun He, David Bindel, John E. Hopcroft
2017 J jnl
Prior-aware Dual Decomposition: Document-specific Topic Inference for Spectral Topic Models.
CoRR
Moontae Lee, David Bindel, David M. Mimno
2017 — conf
Scalable Log Determinants for Gaussian Process Kernel Learning.
NIPS
Kun Dong, David Eriksson, Hannes Nickisch, David Bindel, Andrew Gordon Wilson
2017 J jnl
Scalable Log Determinants for Gaussian Process Kernel Learning.
CoRR
Kun Dong, David Eriksson, Hannes Nickisch, David Bindel, Andrew Gordon Wilson
2016 J jnl
Robust Spectral Inference for Joint Stochastic Matrix Factorization.
CoRR
Moontae Lee, David Bindel, David M. Mimno
2016 — conf
When is Rotations Averaging Hard?
ECCV (7)
Kyle Wilson, David Bindel, Noah Snavely
2015 A conf
Configuring Distributed Computations Using Response Surfaces.
Middleware
Adem Efe Gencer, David Bindel, Emin Gün Sirer, Robbert van Renesse
2015 A* conf
Detecting Overlapping Communities from Local Spectral Subspaces.
ICDM
Kun He, Yiwei Sun, David Bindel, John E. Hopcroft, Yixuan Li
2015 J jnl
Detecting Overlapping Communities from Local Spectral Subspaces.
CoRR
Kun He, Yiwei Sun, David Bindel, John E. Hopcroft, Yixuan Li
2015 A* conf
Edge-Weighted Personalized PageRank: Breaking A Decade-Old Performance Barrier.
KDD
Wenlei Xie, David Bindel, Alan J. Demers, Johannes Gehrke
2015 J jnl
How bad is forming your own opinion?
Games Econ. Behav.
David Bindel, Jon M. Kleinberg, Sigal Oren
2015 J jnl
Localization Theorems for Nonlinear Eigenvalue Problems.
SIAM Rev.
David Bindel, Amanda Hood
2015 J jnl
Overlapping Community Detection via Local Spectral Clustering.
CoRR
Yixuan Li, Kun He, David Bindel, John E. Hopcroft
2015 — conf
Robust Spectral Inference for Joint Stochastic Matrix Factorization.
NIPS
Moontae Lee, David Bindel, David M. Mimno
2015 A* conf
Uncovering the Small Community Structure in Large Networks: A Local Spectral Approach.
WWW
Yixuan Li, Kun He, David Bindel, John E. Hopcroft
2015 J jnl
Uncovering the Small Community Structure in Large Networks: A Local Spectral Approach.
CoRR
Yixuan Li, Kun He, David Bindel, John E. Hopcroft
2014 J jnl
FLiER: Practical Topology Error Correction Using Sparse PMUs.
CoRR
Colin Ponce, David Bindel
2014 J jnl
Numerical computation of bifurcations in large equilibrium systems in matlab.
J. Comput. Appl. Math.
David Bindel, Mark J. Friedman, Willy Govaerts, Jeremy Hughes, Yuri A. Kuznetsov
2013 J jnl
Fast Iterative Graph Computation with Block Updates.
Proc. VLDB Endow.
Wenlei Xie, Guozhang Wang, David Bindel, Alan J. Demers, Johannes Gehrke
2013 J jnl
Localization Theorems for Nonlinear Eigenvalue Problems.
SIAM J. Matrix Anal. Appl.
David Bindel, Amanda Hood
2012 J jnl
How Bad is Forming Your Own Opinion?
CoRR
David Bindel, Jon M. Kleinberg, Sigal Oren
2011 A* conf
How Bad is Forming Your Own Opinion?
FOCS
David Bindel, Jon M. Kleinberg, Sigal Oren
2011 — conf
Making time-stepped applications tick in the cloud.
SoCC
Tao Zou, Guozhang Wang, Marcos Antonio Vaz Salles, David Bindel, Alan J. Demers, Johannes Gehrke, Walker M. White
2009 J jnl
Towards unbiased end-to-end network diagnosis.
IEEE/ACM Trans. Netw.
Yao Zhao, Yan Chen, David Bindel
2008 J jnl
Continuation of Invariant Subspaces in Large Bifurcation Problems.
SIAM J. Sci. Comput.
David Bindel, James Demmel, Mark J. Friedman
2007 J jnl
Algebra-based scalable overlay network monitoring: algorithms, evaluation, and applications.
IEEE/ACM Trans. Netw.
Yan Chen, David Bindel, Han Hee Song, Randy H. Katz
2007 — ch.
Prospectus for a Dense Linear Algebra Software Library.
Handbook of Parallel Computing
Yozo Hida, James Demmel, Julien Langou, Jakub Kurzak, Ming Gu, Alfredo Buttari, Stanimire Tomov, Piotr Luszczek, Julie Langou, Osni Marques, Christof Vömel, Xiaoye S. Li, E. Jason Riedy, Jack J. Dongarra, William Kahan, Beresford N. Parlett, David Bindel
2006 — conf
Prospectus for the Next LAPACK and ScaLAPACK Libraries.
PARA
James Demmel, Jack J. Dongarra, Beresford N. Parlett, William Kahan, Ming Gu, David Bindel, Yozo Hida, Xiaoye S. Li, Osni Marques, E. Jason Riedy, Christof Vömel, Julien Langou, Piotr Luszczek, Jakub Kurzak, Alfredo Buttari, Julie Langou, Stanimire Tomov
2006 — conf
Towards deterministic network diagnosis.
SIGMETRICS/Performance
Yao Zhao, Yan Chen, David Bindel
2006 A* conf
Towards unbiased end-to-end network diagnosis.
SIGCOMM
Yao Zhao, Yan Chen, David Bindel
2005 Misc conf
Bifurcation Analysis of Large Equilibrium Systems in Matlab.
International Conference on Computational Science (1)
David Bindel, James Demmel, Mark J. Friedman, Willy Govaerts, Yuri A. Kuznetsov
2004 A* conf
An algebraic approach to practical and scalable overlay network monitoring.
SIGCOMM
Yan Chen, David Bindel, Han Hee Song, Randy H. Katz
2004 — conf
Model Reduction for RF MEMS Simulation.
PARA
David Bindel, Zhaojun Bai, James Demmel
2003 A conf
Tomography-based overlay network monitoring.
Internet Measurement Conference
Yan Chen, David Bindel, Randy H. Katz
2002 J jnl
On computing givens rotations reliably and efficiently.
ACM Trans. Math. Softw.
David Bindel, James Demmel, William Kahan, Osni Marques
2001 C conf
Quantifying Network Denial of Service: A Location Service Case Study.
ICICS
Yan Chen, Adam W. Bargteil, David Bindel, Randy H. Katz, John Kubiatowicz
2000 A* conf
OceanStore: An Architecture for Global-Scale Persistent Storage.
ASPLOS
John Kubiatowicz, David Bindel, Yan Chen, Steven E. Czerwinski, Patrick R. Eaton, Dennis Geels, Ramakrishna Gummadi, Sean C. Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, Ben Y. Zhao