David Bindel

Affiliations:
  • Cornell University, Ithaca, NY, USA


According to our database1, David Bindel authored at least 58 papers between 2000 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Streaming Local Community Detection Through Approximate Conductance.
IEEE Trans. Big Data, February, 2024

2023
Bayesian Transformed Gaussian Processes.
Trans. Mach. Learn. Res., 2023

Level Set Learning for Poincaré Plots of Symplectic Maps.
CoRR, 2023

Variational Gaussian Processes with Decoupled Conditionals.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

Surveillance Evasion Through Bayesian Reinforcement Learning.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2022
Early termination strategies with asynchronous parallel optimization in application to automatic calibration of groundwater PDE models.
Environ. Model. Softw., 2022

Scalable Bayesian Transformed Gaussian Processes.
CoRR, 2022

GPTuneBand: Multi-task and Multi-fidelity Autotuning for Large-scale High Performance Computing Applications.
Proceedings of the 2022 SIAM Conference on Parallel Processing for Scientific Computing, 2022

2021
Density of States Graph Kernels.
Proceedings of the 2021 SIAM International Conference on Data Mining, 2021

Scaling Gaussian Processes with Derivative Information Using Variational Inference.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

On-the-fly Rectification for Robust Large-Vocabulary Topic Inference.
Proceedings of the 38th International Conference on Machine Learning, 2021

2020
A wave optics based fiber scattering model.
ACM Trans. Graph., 2020

Efficient Rollout Strategies for Bayesian Optimization.
Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

Randomly Projected Additive Gaussian Processes for Regression.
Proceedings of the 37th International Conference on Machine Learning, 2020

On the Distribution of Minima in Intrinsic-Metric Rotation Averaging.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

Prior-aware Composition Inference for Spectral Topic Models.
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019
Krylov Subspace Approximation for Local Community Detection in Large Networks.
ACM Trans. Knowl. Discov. Data, 2019

A Subspace Pursuit Method to Infer Refractivity in the Marine Atmospheric Boundary Layer.
IEEE Trans. Geosci. Remote. Sens., 2019

Locally-biased spectral approximation for community detection.
Knowl. Based Syst., 2019

pySOT and POAP: An event-driven asynchronous framework for surrogate optimization.
CoRR, 2019

Network Density of States.
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

Practical Correlated Topic Modeling and Analysis via the Rectified Anchor Word Algorithm.
Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

2018
Local Spectral Clustering for Overlapping Community Detection.
ACM Trans. Knowl. Discov. Data, 2018

A Nonlinear Algebraic Multigrid Framework for the Power Flow Equations.
SIAM J. Sci. Comput., 2018

GPyTorch: Blackbox Matrix-Matrix Gaussian Process Inference with GPU Acceleration.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Scaling Gaussian Process Regression with Derivatives.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017
Krylov Subspace Approximation for Local Community Detection.
CoRR, 2017

Prior-aware Dual Decomposition: Document-specific Topic Inference for Spectral Topic Models.
CoRR, 2017

Local Lanczos Spectral Approximation for Community Detection.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2017

Scalable Log Determinants for Gaussian Process Kernel Learning.
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

2016
When is Rotations Averaging Hard?
Proceedings of the Computer Vision - ECCV 2016, 2016

2015
Localization Theorems for Nonlinear Eigenvalue Problems.
SIAM Rev., 2015

How bad is forming your own opinion?
Games Econ. Behav., 2015

Overlapping Community Detection via Local Spectral Clustering.
CoRR, 2015

An Efficient Solver for Sparse Linear Systems Based on Rank-Structured Cholesky Factorization.
CoRR, 2015

Uncovering the Small Community Structure in Large Networks: A Local Spectral Approach.
Proceedings of the 24th International Conference on World Wide Web, 2015

Robust Spectral Inference for Joint Stochastic Matrix Factorization.
Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015

Configuring Distributed Computations Using Response Surfaces.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Edge-Weighted Personalized PageRank: Breaking A Decade-Old Performance Barrier.
Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015

Detecting Overlapping Communities from Local Spectral Subspaces.
Proceedings of the 2015 IEEE International Conference on Data Mining, 2015

2014
Numerical computation of bifurcations in large equilibrium systems in matlab.
J. Comput. Appl. Math., 2014

FLiER: Practical Topology Error Correction Using Sparse PMUs.
CoRR, 2014

2013
Fast Iterative Graph Computation with Block Updates.
Proc. VLDB Endow., 2013

2011
Making time-stepped applications tick in the cloud.
Proceedings of the ACM Symposium on Cloud Computing in conjunction with SOSP 2011, 2011

2009
Towards unbiased end-to-end network diagnosis.
IEEE/ACM Trans. Netw., 2009

2008
Continuation of Invariant Subspaces in Large Bifurcation Problems.
SIAM J. Sci. Comput., 2008

2007
Prospectus for a Dense Linear Algebra Software Library.
Proceedings of the Handbook of Parallel Computing - Models, Algorithms and Applications., 2007

Algebra-based scalable overlay network monitoring: algorithms, evaluation, and applications.
IEEE/ACM Trans. Netw., 2007

2006
Towards deterministic network diagnosis.
Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, 2006

Prospectus for the Next LAPACK and ScaLAPACK Libraries.
Proceedings of the Applied Parallel Computing. State of the Art in Scientific Computing, 2006

2005
Bifurcation Analysis of Large Equilibrium Systems in Matlab.
Proceedings of the Computational Science, 2005

2004
An algebraic approach to practical and scalable overlay network monitoring.
Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 2004

Model Reduction for RF MEMS Simulation.
Proceedings of the Applied Parallel Computing, 2004

2003
Tomography-based overlay network monitoring.
Proceedings of the 3rd ACM SIGCOMM Internet Measurement Conference, 2003

2002
On computing givens rotations reliably and efficiently.
ACM Trans. Math. Softw., 2002

2001
Quantifying Network Denial of Service: A Location Service Case Study.
Proceedings of the Information and Communications Security, Third International Conference, 2001

2000
OceanStore: An Architecture for Global-Scale Persistent Storage.
Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000


  Loading...