pldb wrapped

VCVikraman Choudhury

6 papers

cited 57×

cites 86

Reply guy/gal

AMAdithya Murali

cited you 3×

Mutuals

1. Stephanie Weirich2 ⇄ 3
2. AMAdithya Murali1 ⇄ 3
3. ARAseem Rastogi1 ⇄ 1
4. CHCatalin Hritcu1 ⇄ 1
5. CKClemens Kupke1 ⇄ 1

you ⇄ them

Parasocial crush

SLPSimon L. Peyton Jones

you: 7 · them: 0

Secret admirer

JPJames Parker

them: 3 · you: 0

Main character

Refinement reflection: complete verification with SMT

POPL 2018 · cited 41×

Ratio'd

Decision procedures for algebraic data types with abstractions

POPL 2010 · cited 40× · by your 41×

Vintage

You cite like it's 2012

Deepest dig

Syntactic Control of Interference

POPL 1978

Lamport number4

1. VCyou
2. RJRanjit Jhala
3. KLMKenneth L. McMillan
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.