pldb wrapped

DCDavid Chemouil

4 papers

cited 11×

cites 19

Reply guy/gal

GRGermán Regis

cited you 4×

Mutuals

1. OPOded Padon3 ⇄ 2
2. SSSharon Shoham3 ⇄ 2
3. JRWJames R. Wilcox1 ⇄ 2
4. JPGJuan Pablo Galeotti1 ⇄ 1
5. MFFMarcelo F. Frias1 ⇄ 4

you ⇄ them

Parasocial crush

DJDaniel Jackson

you: 5 · them: 0

Secret admirer

SGBSimón Gutiérrez Brida

them: 3 · you: 0

Main character

Lightweight specification and analysis of dynamic systems with rich…

FSE 2016 · cited 7×

Ratio'd

A type system for object models

FSE 2004 · cited 6× · by your 7×

Vintage

You cite like it's 2006

Deepest dig

Symbolic Model Checking

CAV 1996

Lamport number5

1. DCyou
2. JBJulien Brunel
3. DDDamien Doligez
4. GGGeorges Gonthier
5. MAMartín Abadi
6. LLLeslie Lamport

Load-bearing co-author: Julien Brunel. Without them: 6.

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.