pldb wrapped

NANina Amla

5 papers

cited 32×

cites 28

Reply guy/gal

OSOfer Strichman

cited you 6×

Mutuals

1. OSOfer Strichman4 ⇄ 6
2. EMCEdmund M. Clarke7 ⇄ 3
3. AGAnubhav Gupta2 ⇄ 1
4. BLBing Li1 ⇄ 1
5. DKDaniel Kroening1 ⇄ 2

you ⇄ them

Parasocial crush

ACAlessandro Cimatti

you: 3 · them: 0

Secret admirer

AGArie Gurfinkel

them: 4 · you: 0

Main character

Automatic Abstraction without Counterexamples

TACAS 2003 · cited 27×

Ratio'd

Benefits of Bounded Model Checking at an Industrial Setting

CAV 2001 · cited 21× · by your 27×

Vintage

You cite like it's 2000

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number2

1. NAyou
2. RPKRobert P. Kurshan
3. LLLeslie Lamport

Load-bearing co-author: Robert P. Kurshan. 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.