pldb wrapped

CPClément Pit-Claudel

17 papers

cited 143×

cites 223

Reply guy/gal

NVNiki Vazou

cited you 9×

Mutuals

1. NPNadia Polikarpova4 ⇄ 4
2. ASArmando Solar-Lezama4 ⇄ 3
3. Ilya Sergey3 ⇄ 7
4. KMKonstantinos Mamouras4 ⇄ 3
5. PMPeter Müller5 ⇄ 3

you ⇄ them

Parasocial crush

JKZJean Karim Zinzindohoue

you: 8 · them: 0

Secret admirer

YWYuepeng Wang

them: 8 · you: 0

Main character

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

POPL 2015 · cited 44×

Ratio'd

Synthesizing data structure manipulations from storyboards

FSE 2011 · cited 42× · by your 44×

Vintage

You cite like it's 2015

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. CPyou
2. STSerdar Tasiran
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.