pldb wrapped

AXAnton Xue

2 papers

cited 11×

cites 46

Reply guy/gal

AWAnton Wijs

cited you 2×

Mutuals

1. RBRastislav Bodík2 ⇄ 1
2. VKViktor Kuncak1 ⇄ 1

you ⇄ them

Parasocial crush

SLPSimon L. Peyton Jones

you: 6 · them: 0

Secret admirer

JCKJohn C. Kolesar

them: 2 · you: 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

Efficiently Computing Static Single Assignment Form and the Control Dependence…

TOPLAS 1991

Lamport number3

1. AXyou
2. KSNKedar S. Namjoshi
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Kedar S. Namjoshi. Without them: 4.

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.