pldb wrapped

MSMate Soos

4 papers

cited 15×

cites 19

Reply guy/gal

ANAjinkya Naik

cited you 2×

Mutuals

1. ANAina Niemetz2 ⇄ 1
2. AGAndreas Gittis1 ⇄ 1
3. ABArmin Biere2 ⇄ 1
4. CWBClark W. Barrett1 ⇄ 1
5. DJFDaniel J. Fremont2 ⇄ 1

you ⇄ them

Parasocial crush

MYVMoshe Y. Vardi

you: 3 · them: 0

Secret admirer

ALAlfons Laarman

them: 2 · you: 0

Main character

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and…

CAV 2020 · cited 10×

Ratio'd

On Parallel Scalable Uniform SAT Witness Generation

TACAS 2015 · cited 9× · by your 10×

Vintage

You cite like it's 2015

Deepest dig

Constant Propagation with Conditional Branches

TOPLAS 1991

Lamport number4

1. MSyou
2. KSMKuldeep S. Meel
3. MYVMoshe Y. Vardi
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.