pldb wrapped

WSWolfram Schulte

18 papers

cited 297×

cites 114

Reply guy/gal

TXTao Xie

cited you 14×

Mutuals

1. Koushik Sen5 ⇄ 10
2. MDEMichael D. Ernst5 ⇄ 8
3. DMDarko Marinov5 ⇄ 4
4. SKSarfraz Khurshid4 ⇄ 5
5. CSPCorina S. Pasareanu3 ⇄ 3

you ⇄ them

Parasocial crush

CFCormac Flanagan

you: 9 · them: 0

Secret admirer

UAAUmut A. Acar

them: 11 · you: 0

Main character

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic…

TACAS 2005 · cited 57×

Ratio'd

CVC Lite: A New Implementation of the Cooperating Validity Checker Category B

CAV 2004 · cited 41× · by your 57×

Vintage

You cite like it's 2004

Deepest dig

Multilisp: A Language for Concurrent Symbolic Computation

TOPLAS 1985

Early adopter

cited 1 paper before they were published

e.g. Automated migration of build scripts… (2014) → Automated Decomposition of Build Targets (ICSE 2015)

Lamport number3

1. WSyou
2. GMBGavin M. Bierman
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Gavin M. Bierman. Without them: 4.

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.