pldb wrapped

NTNikos Tzevelekos

6 papers

cited 31×

cites 54

Reply guy/gal

ATAmin Timany

cited you 4×

Mutuals

1. Derek Dreyer5 ⇄ 2
2. GJGuilhem Jaber2 ⇄ 2
3. CLOC.-H. Luke Ong1 ⇄ 1
4. FPFrançois Pottier1 ⇄ 1
5. LBLennart Beringer1 ⇄ 1

you ⇄ them

Parasocial crush

Jonathan Aldrich

you: 4 · them: 0

Secret admirer

ZSZhong Shao

them: 4 · you: 0

Main character

Theorems for free from separation logic specifications

ICFP 2021 · cited 20×

Ratio'd

Types and trace effects of higher order programs

JFP 2008 · cited 17× · by your 20×

Vintage

You cite like it's 2009

Deepest dig

Towards Fully Abstract Semantics for Local Variables

POPL 1988

Lamport number4

1. NTyou
2. LBLars Birkedal
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
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.