David Bindel
Orcid: 0000-0002-8733-5799Affiliations:
- Cornell University, Ithaca, NY, USA
According to our database1,
David Bindel
authored at least 61 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Big Data, February, 2024
2023
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
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs.
Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023
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
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
Proceedings of the 2021 SIAM International Conference on Data Mining, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the 38th International Conference on Machine Learning, 2021
2020
Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020
Proceedings of the 37th International Conference on Machine Learning, 2020
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020
2019
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
Knowl. Based Syst., 2019
CoRR, 2019
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
ACM Trans. Knowl. Discov. Data, 2018
SIAM J. Sci. Comput., 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
2017
Prior-aware Dual Decomposition: Document-specific Topic Inference for Spectral Topic Models.
CoRR, 2017
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2017
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017
2016
Proceedings of the Computer Vision - ECCV 2016, 2016
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
Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015
Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015
Proceedings of the 2015 IEEE International Conference on Data Mining, 2015
2014
J. Comput. Appl. Math., 2014
2013
SIAM J. Matrix Anal. Appl., 2013
2011
Proceedings of the ACM Symposium on Cloud Computing in conjunction with SOSP 2011, 2011
2009
2008
SIAM J. Sci. Comput., 2008
2007
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
Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, 2006
Proceedings of the Applied Parallel Computing. State of the Art in Scientific Computing, 2006
2005
Proceedings of the Computational Science, 2005
2004
Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 2004
Proceedings of the Applied Parallel Computing, 2004
2003
Proceedings of the 3rd ACM SIGCOMM Internet Measurement Conference, 2003
2002
ACM Trans. Math. Softw., 2002
2001
Proceedings of the Information and Communications Security, Third International Conference, 2001
2000
Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000