pldb wrapped

AMAdithya Murali

11 papers

cited 22×

cites 303

Reply guy/gal

DMDavid Mestel

cited you 3×

Mutuals

1. GPGennaro Parlato2 ⇄ 2
2. JBJosh Berdine5 ⇄ 2
3. JVJules Villard2 ⇄ 2
4. OPOded Padon4 ⇄ 2
5. PWOPeter W. O'Hearn14 ⇄ 2

you ⇄ them

Parasocial crush

TWThomas Wies

you: 21 · them: 0

Secret admirer

ARAzalea Raad

them: 2 · you: 0

Main character

Model-guided synthesis of inductive lemmas for FOL with least fixpoints

OOPSLA 2022 · cited 9×

Ratio'd

An Automata-Theoretic Approach to Reasoning about Infinite-State Systems

CAV 2000 · cited 5× · by your 7×

Vintage

You cite like it's 2014

Deepest dig

The Universality of Data Retrieval Languages

POPL 1979

Lamport number4

1. AMyou
2. PMP. Madhusudan
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.