pldb wrapped

AGAlberto Griggio

33 papers

cited 388×

cites 255

Reply guy/gal

ANAina Niemetz

cited you 18×

Mutuals

1. AGArie Gurfinkel12 ⇄ 15
2. APAndreas Podelski8 ⇄ 8
3. DBDirk Beyer7 ⇄ 16
4. ARAndrey Rybalchenko14 ⇄ 6
5. KLMKenneth L. McMillan26 ⇄ 6

you ⇄ them

Parasocial crush

LMMLeonardo Mendonça de Moura

you: 14 · them: 0

Secret admirer

NLNian-Ze Lee

them: 8 · you: 0

Main character

The MathSAT5 SMT Solver

TACAS 2013 · cited 130×

Ratio'd

A Fast Linear-Arithmetic Solver for DPLL(T)

CAV 2006 · cited 89× · by your 130×

Vintage

You cite like it's 2012

Deepest dig

Systematic Design of Program Analysis Frameworks

POPL 1979

Lamport number4

1. AGyou
2. CWBClark W. Barrett
3. KSNKedar S. Namjoshi
4. RPKRobert P. Kurshan
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.