pldb wrapped

RDRayna Dimitrova

11 papers

cited 39×

cites 120

Reply guy/gal

LDSLuca Di Stefano

cited you 7×

Mutuals

1. ARAndoni Rodríguez4 ⇄ 4
2. CSCésar Sánchez4 ⇄ 5
3. NPNir Piterman4 ⇄ 7
4. BFBernd Finkbeiner9 ⇄ 2
5. GSGerardo Schneider2 ⇄ 3

you ⇄ them

Parasocial crush

MSMark Santolucito

you: 8 · them: 0

Secret admirer

BMBenedikt Maderbacher

them: 4 · you: 0

Main character

Solving Infinite-State Games via Acceleration

POPL 2024 · cited 11×

Ratio'd

A Scalable and Nearly Uniform Generator of SAT Witnesses

CAV 2013 · cited 7× · by your 9×

Vintage

You cite like it's 2014

Deepest dig

Termination of Probabilistic Concurrent Program

TOPLAS 1983

Lamport number4

1. RDyou
2. Rupak Majumdar
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.