pldb wrapped

ASArmando Solar-Lezama

47 papers

cited 759×

cites 598

Reply guy/gal

Isil Dillig

cited you 75×

Mutuals

1. SGSumit Gulwani47 ⇄ 34
2. EYEran Yahav22 ⇄ 18
3. Isil Dillig16 ⇄ 75
4. RBRastislav Bodík24 ⇄ 16
5. MCRMartin C. Rinard15 ⇄ 24

you ⇄ them

Parasocial crush

MSMooly Sagiv

you: 15 · them: 0

Secret admirer

JLJustin Lubin

them: 19 · you: 0

Main character

Program synthesis from polymorphic refinement types

PLDI 2016 · cited 135×

Ratio'd

Local type inference

TOPLAS 2000 · cited 125× · by your 135×

Vintage

You cite like it's 2012

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Early adopter

cited 1 paper before they were published

e.g. The Sketching Approach to Program… (2009) → From program verification to program synthesis (POPL 2010)

Lamport number3

1. ASyou
2. THAThomas H. Austin
3. MAMartín Abadi
4. 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.