pldb wrapped

DMDragana Milovancevic

3 papers

cited 8×

cites 67

Reply guy/gal

JCKJohn C. Kolesar

cited you 2×

Mutuals

1. JCKJohn C. Kolesar2 ⇄ 2
2. RPRuzica Piskac2 ⇄ 2
3. WTHWilliam T. Hallahan1 ⇄ 2

you ⇄ them

Parasocial crush

DSDowon Song

you: 6 · them: 0

Main character

Formula Normalizations in Verification

CAV 2023 · cited 6×

Vintage

You cite like it's 2016

Deepest dig

Systematic Design of Program Analysis Frameworks

POPL 1979

Lamport number5

1. DMyou
2. VKViktor Kuncak
3. TWThomas Wies
4. KSNKedar S. Namjoshi
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Viktor Kuncak. Without them: 6.

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.