pldb wrapped

OBOsbert Bastani

21 papers

cited 226×

cites 375

Reply guy/gal

MCRMartin C. Rinard

cited you 14×

Mutuals

1. MCRMartin C. Rinard8 ⇄ 14
2. YWYuepeng Wang8 ⇄ 8
3. Koushik Sen10 ⇄ 6
4. Greg Durrett6 ⇄ 5
5. QCQiaochu Chen5 ⇄ 6

you ⇄ them

Parasocial crush

TDThomas Dillig

you: 11 · them: 0

Secret admirer

JSJiasi Shen

them: 11 · you: 0

Main character

Program synthesis using conflict-driven learning

PLDI 2018 · cited 67×

Ratio'd

Complete completion using types and weights

PLDI 2013 · cited 59× · by your 67×

Vintage

You cite like it's 2014

Deepest dig

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

POPL 1977

Lamport number3

1. OByou
2. RARajeev Alur
3. RPKRobert P. Kurshan
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.