pldb wrapped

AKAnvesh Komuravelli

4 papers

cited 253×

cites 70

Reply guy/gal

GFGrigory Fedyukovich

cited you 27×

Mutuals

1. NSBNikolaj S. Bjørner4 ⇄ 4
2. KLMKenneth L. McMillan7 ⇄ 3
3. ARAndrey Rybalchenko4 ⇄ 2
4. TWRThomas W. Reps2 ⇄ 12
5. AGAlberto Griggio1 ⇄ 3

you ⇄ them

Parasocial crush

HVHelmut Veith

you: 4 · them: 0

Secret admirer

NKNaoki Kobayashi

them: 19 · you: 0

Main character

The SeaHorn Verification Framework

CAV 2015 · cited 121×

Ratio'd

Synthesizing software verifiers from proof rules

PLDI 2012 · cited 90× · by your 101×

Vintage

You cite like it's 2008

Deepest dig

Programming Language Constructs for Which it is Impossible to Obtain "Good"…

POPL 1977

Lamport number4

1. AKyou
2. EMCEdmund M. Clarke
3. EAEE. Allen Emerson
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Edmund M. Clarke. 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.