pldb wrapped

CBConstantinos Bartzis

4 papers

cited 14×

cites 28

Reply guy/gal

FYFang Yu

cited you 5×

Parasocial crush

BBBernard Boigelot

you: 3 · them: 0

Secret admirer

MAMuath Alkhalaf

them: 4 · you: 0

Main character

Widening Arithmetic Automata

CAV 2004 · cited 9×

Ratio'd

A Library for Composite Symbolic Representations

TACAS 2001 · cited 8× · by your 9×

Vintage

You cite like it's 2000

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number6

1. CByou
2. TBTevfik Bultan
3. CWChao Wang
4. ZYZijiang Yang
5. RARajeev Alur
6. RPKRobert P. Kurshan
7. LLLeslie Lamport

Load-bearing co-author: Tevfik Bultan. Without them: ∞.

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.