pldb wrapped

RMRuben Martins

16 papers

cited 304×

cites 257

Reply guy/gal

YCYanju Chen

cited you 21×

Mutuals

1. RBRastislav Bodík20 ⇄ 8
2. ACAlvin Cheung6 ⇄ 6
3. CWChenglong Wang6 ⇄ 15
4. ASArmando Solar-Lezama12 ⇄ 5
5. Isil Dillig8 ⇄ 5

you ⇄ them

Parasocial crush

NSBNikolaj S. Bjørner

you: 12 · them: 0

Secret admirer

WLWoosuk Lee

them: 9 · you: 0

Main character

Component-based synthesis of table consolidation and transformation tasks from…

PLDI 2017 · cited 95×

Ratio'd

FlashExtract: a framework for data extraction by examples

PLDI 2014 · cited 78× · by your 95×

Vintage

You cite like it's 2015

Deepest dig

Using Unfoldings to Avoid the State Explosion Problem in the Verification of…

CAV 1992

Lamport number4

1. RMyou
2. Swarat Chaudhuri
3. RARajeev Alur
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.