pldb wrapped

JBJörg Brauer

5 papers

cited 18×

cites 80

Reply guy/gal

TWRThomas W. Reps

cited you 7×

Mutuals

1. TWRThomas W. Reps8 ⇄ 7
2. ASAxel Simon2 ⇄ 3
3. AVTAditya V. Thakur1 ⇄ 3
4. AFAndrea Flexeder1 ⇄ 1
5. DKDaniel Kroening7 ⇄ 1

you ⇄ them

Parasocial crush

David Monniaux

you: 8 · them: 0

Secret admirer

ZKZachary Kincaid

them: 3 · you: 0

Main character

Automatic Abstraction for Intervals Using Boolean Formulae

SAS 2010 · cited 10×

Ratio'd

Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract)

SAS 1997 · cited 5× · by your 10×

Vintage

You cite like it's 2007

Deepest dig

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

POPL 1977

Lamport number6

1. JByou
2. AKAndy King
3. ACAziem Chawdhary
4. MSMooly Sagiv
5. OKOrna Kupferman
6. RPKRobert P. Kurshan
7. LLLeslie Lamport

Load-bearing co-author: Andy King. 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.