David Bindel

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 46

Top Topics

Gaussian Process

Community Detection

Bayesian Reinforcement Learning

Top Venues

ACM Trans. Knowl. Discov. Data

Publications

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