pldb wrapped

JPJames Parker

4 papers

cited 20×

cites 85

Reply guy/gal

ASArmando Solar-Lezama

cited you 2×

Mutuals

1. ASArmando Solar-Lezama4 ⇄ 2
2. DSDeian Stefan4 ⇄ 2
3. NPNadia Polikarpova2 ⇄ 2
4. ARAseem Rastogi2 ⇄ 1
5. DVHDavid Van Horn1 ⇄ 1

you ⇄ them

Parasocial crush

ARAlejandro Russo

you: 7 · them: 0

Secret admirer

George Zakhour

them: 2 · you: 0

Main character

Verifying replicated data types with typeclass refinements in Liquid Haskell

OOPSLA 2020 · cited 13×

Ratio'd

A role for dependent types in Haskell

ICFP 2019 · cited 9× · by your 13×

Vintage

You cite like it's 2015

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. JPyou
2. CWBClark W. Barrett
3. KSNKedar S. Namjoshi
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.