pldb wrapped

MSMarcin Szymczak

3 papers

cited 52×

cites 20

Reply guy/gal

CLOC.-H. Luke Ong

cited you 5×

Mutuals

1. ASAdam Scibior1 ⇄ 1
2. CTChristine Tasson1 ⇄ 1
3. MPMichele Pagani1 ⇄ 2
4. TEThomas Ehrhard1 ⇄ 2
5. ZGZoubin Ghahramani1 ⇄ 1

you ⇄ them

Parasocial crush

FPFrank Pfenning

you: 3 · them: 0

Secret admirer

DWDi Wang

them: 5 · you: 0

Main character

A lambda-calculus foundation for universal probabilistic programming

ICFP 2016 · cited 46×

Ratio'd

Probabilistic Abstract Interpretation

ESOP 2012 · cited 36× · by your 46×

Vintage

You cite like it's 2012

Deepest dig

Eliminating Array Bound Checking Through Dependent Types

PLDI 1998

Lamport number3

1. MSyou
2. ADGAndrew D. Gordon
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Andrew D. Gordon. 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.