default search action
David Bindel
Person information
- affiliation: Cornell University, Ithaca, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j18]Meng Wang
, Yanhao Yang, David Bindel
Streaming Local Community Detection Through Approximate Conductance. IEEE Trans. Big Data 10(1): 12-22 (2024) - [i26]Maximilian Ruth, David Bindel:
Finding Birkhoff Averages via Adaptive Filtering. CoRR abs/2403.19003 (2024) - [i25]Darian Nwankwo, David Bindel:
Differentiating Policies for Non-Myopic Bayesian Optimization. CoRR abs/2408.07812 (2024) - 2023
- [j17]Xinran Zhu, Leo Huang, Eric Hans Lee, Cameron Alexander Ibrahim, David Bindel:
Bayesian Transformed Gaussian Processes. Trans. Mach. Learn. Res. 2023 (2023) - [c35]Dongping Qi, David Bindel, Alexander Vladimirsky:
Surveillance Evasion Through Bayesian Reinforcement Learning. AISTATS 2023: 8448-8462 - [c34]Ariel E. Kellison, Andrew W. Appel
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs. ARITH 2023: 36-43 - [c33]Mohit Tekriwal
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method. CICM 2023: 206-221 - [c32]Xinran Zhu, Kaiwen Wu, Natalie Maus, Jacob R. Gardner, David Bindel:
Variational Gaussian Processes with Decoupled Conditionals. NeurIPS 2023 - [i24]Maximilian Ruth, David Bindel:
Level Set Learning for Poincaré Plots of Symplectic Maps. CoRR abs/2312.00967 (2023) - 2022
- [j16]Min Pang
Early termination strategies with asynchronous parallel optimization in application to automatic calibration of groundwater PDE models. Environ. Model. Softw. 147: 105237 (2022) - [c31]Xinran Zhu
GPTuneBand: Multi-task and Multi-fidelity Autotuning for Large-scale High Performance Computing Applications. PP 2022: 1-13 - [i23]Xinran Zhu, Leo Huang, Cameron Ibrahim, Eric Hans Lee, David Bindel:
Scalable Bayesian Transformed Gaussian Processes. CoRR abs/2210.10973 (2022) - 2021
- [c30]Moontae Lee, Sungjun Cho, Kun Dong, David Mimno, David Bindel:
On-the-fly Rectification for Robust Large-Vocabulary Topic Inference. ICML 2021: 6087-6097 - [c29]Misha Padidar, Xinran Zhu, Leo Huang, Jacob R. Gardner, David Bindel:
Scaling Gaussian Processes with Derivative Information Using Variational Inference. NeurIPS 2021: 6442-6453 - [c28]Leo Huang, Andrew J. Graven, David Bindel:
Density of States Graph Kernels. SDM 2021: 289-297 - [i22]Misha Padidar, Xinran Zhu, Leo Huang, Jacob R. Gardner, David Bindel:
Scaling Gaussian Processes with Derivative Information Using Variational Inference. CoRR abs/2107.04061 (2021) - [i21]Dongping Qi, David Bindel, Alexander Vladimirsky:
Surveillance Evasion Through Bayesian Reinforcement Learning. CoRR abs/2109.14811 (2021) - [i20]Yanhao Yang, Meng Wang, David Bindel, Kun He:
Streaming Local Community Detection through Approximate Conductance. CoRR abs/2110.14972 (2021) - [i19]Moontae Lee, Sungjun Cho, Kun Dong, David Mimno, David Bindel:
On-the-Fly Rectification for Robust Large-Vocabulary Topic Inference. CoRR abs/2111.06580 (2021) - 2020
- [j15]Mengqi (Mandy) Xia, Bruce Walter, Eric Michielssen, David Bindel, Steve Marschner:
A wave optics based fiber scattering model. ACM Trans. Graph. 39(6): 252:1-252:16 (2020) - [c27]Moontae Lee, David Bindel, David Mimno:
Prior-aware Composition Inference for Spectral Topic Models. AISTATS 2020: 4258-4268 - [c26]Kyle Wilson, David Bindel:
On the Distribution of Minima in Intrinsic-Metric Rotation Averaging. CVPR 2020: 6030-6038 - [c25]Ian A. Delbridge, David Bindel, Andrew Gordon Wilson:
Randomly Projected Additive Gaussian Processes for Regression. ICML 2020: 2453-2463 - [c24]Eric Hans Lee, David Eriksson, David Bindel, Bolong Cheng, Mike Mccourt:
Efficient Rollout Strategies for Bayesian Optimization. UAI 2020: 260-269 - [i18]Eric Hans Lee, David Eriksson, Bolong Cheng, Michael McCourt, David Bindel:
Efficient Rollout Strategies for Bayesian Optimization. CoRR abs/2002.10539 (2020) - [i17]Kyle Wilson, David Bindel:
On the Distribution of Minima in Intrinsic-Metric Rotation Averaging. CoRR abs/2003.08310 (2020) - [i16]Leo Huang, Andrew Graven, David Bindel:
Density of States Graph Kernels. CoRR abs/2010.11341 (2020)
2010 – 2019
- 2019
- [j14]Pan Shi, Kun He, David Bindel, John E. Hopcroft:
Locally-biased spectral approximation for community detection. Knowl. Based Syst. 164: 459-472 (2019) - [j13]Marc Aurèle Gilles
A Subspace Pursuit Method to Infer Refractivity in the Marine Atmospheric Boundary Layer. IEEE Trans. Geosci. Remote. Sens. 57(8): 5606-5617 (2019) - [j12]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): 52:1-52:30 (2019) - [c23]Moontae Lee, Sungjun Cho, David Bindel, David Mimno:
Practical Correlated Topic Modeling and Analysis via the Rectified Anchor Word Algorithm. EMNLP/IJCNLP (1) 2019: 4990-5000 - [c22]Kun Dong, Austin R. Benson, David Bindel:
Network Density of States. KDD 2019: 1152-1161 - [i15]Kun Dong, Austin R. Benson, David Bindel:
Network Density of States. CoRR abs/1905.09758 (2019) - [i14]David Eriksson, David Bindel, Christine A. Shoemaker:
pySOT and POAP: An event-driven asynchronous framework for surrogate optimization. CoRR abs/1908.00420 (2019) - [i13]Ian A. Delbridge, David S. Bindel, Andrew Gordon Wilson:
Randomly Projected Additive Gaussian Processes for Regression. CoRR abs/1912.12834 (2019) - 2018
- [j11]Colin Ponce, David Bindel, Panayot S. Vassilevski:
A Nonlinear Algebraic Multigrid Framework for the Power Flow Equations. SIAM J. Sci. Comput. 40(3) (2018) - [j10]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): 17:1-17:27 (2018) - [c21]David Eriksson, Kun Dong, Eric Hans Lee, David Bindel, Andrew Gordon Wilson:
Scaling Gaussian Process Regression with Derivatives. NeurIPS 2018: 6868-6878 - [c20]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: 7587-7597 - [i12]Jacob R. Gardner, Geoff Pleiss, David Bindel, Kilian Q. Weinberger, Andrew Gordon Wilson:
GPyTorch: Blackbox Matrix-Matrix Gaussian Process Inference with GPU Acceleration. CoRR abs/1809.11165 (2018) - [i11]David Eriksson, Kun Dong, Eric Hans Lee, David Bindel, Andrew Gordon Wilson:
Scaling Gaussian Process Regression with Derivatives. CoRR abs/1810.12283 (2018) - 2017
- [c19]Kun Dong, David Eriksson, Hannes Nickisch, David Bindel, Andrew Gordon Wilson:
Scalable Log Determinants for Gaussian Process Kernel Learning. NIPS 2017: 6327-6337 - [c18]Pan Shi, Kun He, David Bindel, John E. Hopcroft:
Local Lanczos Spectral Approximation for Community Detection. ECML/PKDD (1) 2017: 651-667 - [i10]Kun Dong, David Eriksson, Hannes Nickisch, David Bindel, Andrew Gordon Wilson:
Scalable Log Determinants for Gaussian Process Kernel Learning. CoRR abs/1711.03481 (2017) - [i9]Moontae Lee, David Bindel, David M. Mimno:
Prior-aware Dual Decomposition: Document-specific Topic Inference for Spectral Topic Models. CoRR abs/1711.07065 (2017) - [i8]Kun He, Pan Shi, David Bindel, John E. Hopcroft:
Krylov Subspace Approximation for Local Community Detection. CoRR abs/1712.04823 (2017) - 2016
- [c17]Kyle Wilson, David Bindel, Noah Snavely:
When is Rotations Averaging Hard? ECCV (7) 2016: 255-270 - [i7]Moontae Lee, David Bindel, David M. Mimno:
Robust Spectral Inference for Joint Stochastic Matrix Factorization. CoRR abs/1611.00175 (2016) - 2015
- [j9]David Bindel
How bad is forming your own opinion? Games Econ. Behav. 92: 248-265 (2015) - [j8]David Bindel
Localization Theorems for Nonlinear Eigenvalue Problems. SIAM Rev. 57(4): 585-607 (2015) - [c16]Kun He, Yiwei Sun, David Bindel
Detecting Overlapping Communities from Local Spectral Subspaces. ICDM 2015: 769-774 - [c15]Wenlei Xie, David Bindel
Edge-Weighted Personalized PageRank: Breaking A Decade-Old Performance Barrier. KDD 2015: 1325-1334 - [c14]Adem Efe Gencer, David Bindel
Configuring Distributed Computations Using Response Surfaces. Middleware 2015: 235-246 - [c13]Moontae Lee, David Bindel, David M. Mimno:
Robust Spectral Inference for Joint Stochastic Matrix Factorization. NIPS 2015: 2710-2718 - [c12]Yixuan Li, Kun He, David Bindel
Uncovering the Small Community Structure in Large Networks: A Local Spectral Approach. WWW 2015: 658-668 - [i6]Jeffrey N. Chadwick, David S. Bindel:
An Efficient Solver for Sparse Linear Systems Based on Rank-Structured Cholesky Factorization. CoRR abs/1507.05593 (2015) - [i5]Yixuan Li, Kun He, David Bindel, John E. Hopcroft:
Uncovering the Small Community Structure in Large Networks: A Local Spectral Approach. CoRR abs/1509.07715 (2015) - [i4]Yixuan Li, Kun He, David Bindel, John E. Hopcroft:
Overlapping Community Detection via Local Spectral Clustering. CoRR abs/1509.07996 (2015) - [i3]Kun He, Yiwei Sun, David Bindel, John E. Hopcroft, Yixuan Li:
Detecting Overlapping Communities from Local Spectral Subspaces. CoRR abs/1509.08065 (2015) - 2014
- [j7]David Bindel
Numerical computation of bifurcations in large equilibrium systems in matlab. J. Comput. Appl. Math. 261: 232-248 (2014) - [i2]Colin Ponce, David Bindel:
FLiER: Practical Topology Error Correction Using Sparse PMUs. CoRR abs/1409.6644 (2014) - 2013
- [j6]Wenlei Xie, Guozhang Wang, David Bindel
Fast Iterative Graph Computation with Block Updates. Proc. VLDB Endow. 6(14): 2014-2025 (2013) - [j5]David Bindel
Localization Theorems for Nonlinear Eigenvalue Problems. SIAM J. Matrix Anal. Appl. 34(4): 1728-1749 (2013) - 2012
- [i1]David Bindel, Jon M. Kleinberg, Sigal Oren:
How Bad is Forming Your Own Opinion? CoRR abs/1203.2973 (2012) - 2011
- [c11]Tao Zou, Guozhang Wang, Marcos Antonio Vaz Salles, David Bindel
Making time-stepped applications tick in the cloud. SoCC 2011: 20 - [c10]David Bindel
How Bad is Forming Your Own Opinion? FOCS 2011: 57-66
2000 – 2009
- 2009
- [j4]Yao Zhao, Yan Chen, David Bindel:
Towards unbiased end-to-end network diagnosis. IEEE/ACM Trans. Netw. 17(6): 1724-1737 (2009) - 2008
- [j3]David Bindel
Continuation of Invariant Subspaces in Large Bifurcation Problems. SIAM J. Sci. Comput. 30(2): 637-656 (2008) - 2007
- [j2]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): 1084-1097 (2007) - [r1]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
Prospectus for a Dense Linear Algebra Software Library. Handbook of Parallel Computing 2007 - 2006
- [c9]James Demmel, Jack J. Dongarra, Beresford N. Parlett, William Kahan, Ming Gu, David Bindel
Prospectus for the Next LAPACK and ScaLAPACK Libraries. PARA 2006: 11-23 - [c8]Yao Zhao, Yan Chen, David Bindel
Towards unbiased end-to-end network diagnosis. SIGCOMM 2006: 219-230 - [c7]Yao Zhao, Yan Chen, David Bindel
Towards deterministic network diagnosis. SIGMETRICS/Performance 2006: 387-388 - 2005
- [c6]David Bindel
Bifurcation Analysis of Large Equilibrium Systems in Matlab. International Conference on Computational Science (1) 2005: 50-57 - 2004
- [c5]David Bindel
Model Reduction for RF MEMS Simulation. PARA 2004: 286-295 - [c4]Yan Chen, David Bindel
An algebraic approach to practical and scalable overlay network monitoring. SIGCOMM 2004: 55-66 - 2003
- [c3]Yan Chen, David Bindel
Tomography-based overlay network monitoring. Internet Measurement Conference 2003: 216-231 - 2002
- [j1]David Bindel
On computing givens rotations reliably and efficiently. ACM Trans. Math. Softw. 28(2): 206-238 (2002) - 2001
- [c2]Yan Chen, Adam W. Bargteil, David Bindel
Quantifying Network Denial of Service: A Location Service Case Study. ICICS 2001: 340-351 - 2000
- [c1]John Kubiatowicz, David Bindel
OceanStore: An Architecture for Global-Scale Persistent Storage. ASPLOS 2000: 190-201
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: