pldb wrapped

WTHWilliam T. Hallahan

4 papers

cited 7×

cites 110

Reply guy/gal

VKViktor Kuncak

cited you 2×

Mutuals

1. VKViktor Kuncak4 ⇄ 2
2. DMDragana Milovancevic2 ⇄ 1
3. JHJad Hamza1 ⇄ 1
4. NVNicolas Voirol1 ⇄ 1
5. RBRastislav Bodík3 ⇄ 1

you ⇄ them

Parasocial crush

SLPSimon L. Peyton Jones

you: 9 · them: 0

Main character

Lazy counterfactual symbolic execution

PLDI 2019 · cited 8×

Ratio'd

Extended static checking for haskell

Haskell 2006 · cited 7× · by your 8×

Vintage

You cite like it's 2012

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. WTHyou
2. AXAnton Xue
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.