pldb wrapped

AHAndreas Humenberger

2 papers

cited 17×

cites 22

Reply guy/gal

ZKZachary Kincaid

cited you 6×

Mutuals

1. ZKZachary Kincaid4 ⇄ 6
2. JBJason Breck3 ⇄ 2
3. JCJohn Cyphert2 ⇄ 3
4. TWRThomas W. Reps3 ⇄ 2

you ⇄ them

Parasocial crush

SGSumit Gulwani

you: 3 · them: 0

Secret admirer

Ezio Bartocci

them: 2 · you: 0

Main character

Invariant Generation for Multi-Path Loops with Polynomial Assignments

VMCAI 2018 · cited 16×

Ratio'd

Inference of Polynomial Invariants for Imperative Programs: A Farewell to…

SAS 2012 · cited 9× · by your 16×

Vintage

You cite like it's 2012

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number5

1. AHyou
2. LKLaura Kovács
3. TAHThomas A. Henzinger
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Laura Kovács. Without them: ∞.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.