pldb wrapped

NANazareno Aguirre

28 papers

cited 55×

cites 245

Reply guy/gal

HWHai Wan

cited you 6×

Mutuals

1. SKSarfraz Khurshid20 ⇄ 6
2. MGMilos Gligoric5 ⇄ 5
3. ASAllison Sullivan5 ⇄ 4
4. HBHamid Bagheri3 ⇄ 3
5. KWKaiyuan Wang5 ⇄ 3

you ⇄ them

Parasocial crush

DMDarko Marinov

you: 19 · them: 0

Secret admirer

FCFrancisco Cirelli

them: 3 · you: 0

Main character

DynAlloy: upgrading alloy with actions

ICSE 2005 · cited 10×

Ratio'd

Contract driven development = test driven development - writing test cases

FSE 2007 · cited 9× · by your 10×

Vintage

You cite like it's 2011

Deepest dig

Synthesis of Communicating Processes from Temporal Logic Specifications

TOPLAS 1984

Lamport number4

1. NAyou
2. SKSarfraz Khurshid
3. KLMKenneth L. McMillan
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Sarfraz Khurshid. Without them: 5.

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.