pldb wrapped

SLSorin Lerner

35 papers

cited 752×

cites 467

Reply guy/gal

Santosh Nagarakatte

cited you 25×

Mutuals

1. AAAlex Aiken14 ⇄ 18
2. CFCormac Flanagan14 ⇄ 10
3. SGSumit Gulwani15 ⇄ 9
4. JSFJeffrey S. Foster8 ⇄ 8
5. Isil Dillig7 ⇄ 10

you ⇄ them

Parasocial crush

APAmir Pnueli

you: 9 · them: 0

Secret admirer

NPLNuno P. Lopes

them: 20 · you: 0

Main character

ESP: Path-Sensitive Program Verification in Polynomial Time

PLDI 2002 · cited 161×

Ratio'd

Mining specifications

POPL 2002 · cited 150× · by your 161×

Vintage

You cite like it's 2007

Deepest dig

Advice on Structuring Compilers and Proving Them Correct

POPL 1973

Lamport number4

1. SLyou
2. SKRSriram K. Rajamani
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

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.