pldb wrapped

SMSasa Misailovic

35 papers

cited 356×

cites 434

Reply guy/gal

JKJoost-Pieter Katoen

cited you 14×

Mutuals

1. Dan Grossman15 ⇄ 10
2. LCLuis Ceze16 ⇄ 10
3. Adrian Sampson15 ⇄ 9
4. BBBrett Boston8 ⇄ 7
5. GBGilles Barthe7 ⇄ 6

you ⇄ them

Parasocial crush

YLWYee Lok Wong

you: 12 · them: 0

Secret admirer

Steven Holtzen

them: 10 · you: 0

Main character

PSI: Exact Symbolic Inference for Probabilistic Programs

CAV 2016 · cited 83×

Ratio'd

Static analysis for probabilistic programs: inferring whole program properties…

PLDI 2013 · cited 56× · by your 83×

Vintage

You cite like it's 2014

Deepest dig

A Unified Approach to Global Program Optimization

POPL 1973

Lamport number4

1. SMyou
2. RSRoopsha Samanta
3. EAEE. Allen Emerson
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.