pldb wrapped

KHKlaus Havelund

8 papers

cited 188×

cites 28

Reply guy/gal

CSPCorina S. Pasareanu

cited you 9×

Mutuals

1. CSPCorina S. Pasareanu4 ⇄ 9
2. MBDMatthew B. Dwyer4 ⇄ 5
3. JHJohn Hatcliff4 ⇄ 2
4. PGPatrice Godefroid3 ⇄ 2
5. RRobby4 ⇄ 2

you ⇄ them

Parasocial crush

JCCJames C. Corbett

you: 4 · them: 0

Secret admirer

SKSarfraz Khurshid

them: 9 · you: 0

Main character

Model Checking Programs

ASE 2000 · cited 118×

Ratio'd

Experience with Predicate Abstraction

CAV 1999 · cited 49× · by your 118×

Vintage

You cite like it's 1999

Deepest dig

Specification-Based Test Oracles for Reactive Systems

ICSE 1992

Lamport number3

1. KHyou
2. DAPDoron A. Peled
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Doron A. Peled. 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.