pldb wrapped

AMAleksandar Milicevic

13 papers

cited 101×

cites 112

Reply guy/gal

NPNadia Polikarpova

cited you 7×

Mutuals

1. DMDarko Marinov14 ⇄ 6
2. AYAlbert Yuen3 ⇄ 3
3. ASArmando Solar-Lezama6 ⇄ 3
4. ASAugust Shi5 ⇄ 3
5. FLFrancesca Leung3 ⇄ 3

you ⇄ them

Parasocial crush

SGSumit Gulwani

you: 8 · them: 0

Secret admirer

Ilya Sergey

them: 4 · you: 0

Main character

Unifying execution of imperative and declarative code

ICSE 2011 · cited 19×

Ratio'd

Comfusy: A Tool for Complete Functional Synthesis

CAV 2010 · cited 5× · by your 10×

Vintage

You cite like it's 2010

Deepest dig

The Design of the PSI Program Synthesis System

ICSE 1976

Lamport number4

1. AMyou
2. SKSarfraz Khurshid
3. KLMKenneth L. McMillan
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.