pldb wrapped

DNDaniele Nantes-Sobrinho

4 papers

cited 9×

cites 41

Reply guy/gal

ARAzalea Raad

cited you 2×

Mutuals

1. ARAzalea Raad3 ⇄ 2
2. XDXavier Denis2 ⇄ 2
3. AJSAlexander J. Summers3 ⇄ 1
4. GPGaurav Parthasarathy2 ⇄ 1
5. JFSJosé Fragoso Santos4 ⇄ 1

you ⇄ them

Parasocial crush

Derek Dreyer

you: 7 · them: 0

Main character

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning

ECOOP 2024 · cited 5×

Vintage

You cite like it's 2020

Deepest dig

Language Primitives and Type Discipline for Structured Communication-Based…

ESOP 1998

Lamport number5

1. DNyou
2. PGPhilippa Gardner
3. LBLars Birkedal
4. JGMJ. Gregory Morrisett
5. FBSFred B. Schneider
6. 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.