# David Bindel

## Assistant Professor of

Computer Science

425 Gates Hall

Dept of Computer Science

Cornell University

Ithaca, NY 14853

OH: T 10-11, W 1:30-2:30

Scheduler link

bindel@cs.cornell.edu

607-255-5395

## Research highlights

#### Spectral Clustering and Ranking

Fast spectral tools for graph structure.

- Xie, Bindel, Demers, and Gehrke. Edge Weighted Personalized PageRank in KDD 2015 (Best Student Paper!).
- Edge Weighted-Personalized PageRank talk at KDD 2015.
- Li, He, Bindel, and Hopcroft. Uncovering the Small Community Structure in Large Networks in WWW 2015.

#### Rank-structured PDE solvers

Moving toward pain-free fast direct sparse solvers for 3D PDEs.

- An Efficient Solver for Sparse Linear Systems Based on Rank-Structured Cholesky Factorization with Jeff Chadwick (arXiv:1507.05593)
- Slides from a workshop at Waterloo Celebrating 40 Years of Nested Dissection (with Jeff Chadwick).

#### Nonlinear eigenvalue bounds

Generalizing classic eigenvalue localization results (e.g. Gershgorin).

- Bindel and Hood SIMAX 13 paper wins the 2015 SIAM LA paper prize

#### Making grids smarter

New algorithms for diagnosing line failures in a smart grid.

- FLiER: Practical Topology Error Correction Using Sparse PMUs (with Colin Ponce, submitted to IEEE TPS)

## Currently teaching

#### Applications of Parallel Computers (CS 5220)

Offered spring of even-number years (usually).

See F15, S14, F11, and S10.

Overview of high performance scientific computing. Basics of modern parallel machine design, parallel programming patterns, and applications. Programming projects will likely inspire creative cursing, mostly due to the frustrations of parallel profiling and debugging.

#### SCAN Seminar (CS/MATH 7290)

Ongoing. M 1:25-2:15, Gates 406.

The Scientific Computing and Numerics seminar series focuses on various methods in scientific computing, the analysis of convergence properties and computational efficiency, and their adaptation to specific applications.

#### Projects (CS [45]999)

See my list of projects!

If nothing on the list appeals but you think you’d like to work with me on something, come knock on my door. I don’t bite.

## Upcoming travels

**2015-11-29:**
Approximate and Probabilistic Computing: Design, Coding, Verification

**2016-07-11:**
SIAM Annual Meeting (AN16)