pldb wrapped

AHAndreas Holzer

8 papers

cited 34×

cites 51

Reply guy/gal

ASAndreas Stahlbauer

cited you 3×

Mutuals

1. DBDirk Beyer7 ⇄ 3
2. TAHThomas A. Henzinger12 ⇄ 3
3. CWChao Wang2 ⇄ 3
4. AGAarti Gupta1 ⇄ 2
5. DKDaniel Kroening5 ⇄ 1

you ⇄ them

Parasocial crush

RJRanjit Jhala

you: 11 · them: 0

Secret admirer

AGAshutosh Gupta

them: 3 · you: 0

Main character

Con2colic testing

FSE 2013 · cited 21×

Ratio'd

Staged concurrent program analysis

FSE 2010 · cited 14× · by your 21×

Vintage

You cite like it's 2007

Deepest dig

Model Checking for Programming Languages using Verisoft

POPL 1997

Lamport number5

1. AHyou
2. DBDirk Beyer
3. TAHThomas A. Henzinger
4. RARajeev Alur
5. RPKRobert P. Kurshan
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.