pldb wrapped

CCChristoph Csallner

13 papers

cited 184×

cites 97

Reply guy/gal

MDEMichael D. Ernst

cited you 8×

Mutuals

1. MDEMichael D. Ernst8 ⇄ 8
2. Koushik Sen9 ⇄ 6
3. PGPatrice Godefroid7 ⇄ 4
4. TXTao Xie4 ⇄ 6
5. ZSZhendong Su4 ⇄ 4

you ⇄ them

Parasocial crush

DNDavid Notkin

you: 4 · them: 0

Secret admirer

CCChunyang Chen

them: 7 · you: 0

Main character

Check 'n' crash: combining static checking and testing

ICSE 2005 · cited 46×

Ratio'd

Discovering Algebraic Specifications from Java Classes

ECOOP 2003 · cited 18× · by your 46×

Vintage

You cite like it's 2006

Deepest dig

Automatic verification of Pipelined Microprocessor Control

CAV 1994

Lamport number4

1. CCyou
2. YSYannis Smaragdakis
3. CFCormac Flanagan
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Yannis Smaragdakis. Without them: 5.

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.