pldb wrapped

BSBurak Sahin

1 papers

cited 12×

cites 26

Reply guy/gal

AKGAmir Kafshdar Goharshady

cited you 2×

Mutuals

1. BXBican Xia1 ⇄ 1
2. JHJan Hoffmann4 ⇄ 1
3. LDLiyun Dai1 ⇄ 1
4. NZNaijun Zhan1 ⇄ 1
5. QCQuentin Carbonneaux2 ⇄ 1

you ⇄ them

Parasocial crush

SGSumit Gulwani

you: 7 · them: 0

Secret admirer

HFHongfei Fu

them: 2 · you: 0

Main character

Complexity verification using guided theorem enumeration

POPL 2017 · cited 12×

Ratio'd

Generating Non-linear Interpolants by Semidefinite Programming

CAV 2013 · cited 7× · by your 12×

Vintage

You cite like it's 2010

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number5

1. BSyou
2. WRHWilliam R. Harris
3. SKRSriram K. Rajamani
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: William R. Harris. Without them: ∞.

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.