pldb wrapped

GWGeorg Weissenbacher

14 papers

cited 115×

cites 143

Reply guy/gal

AGArie Gurfinkel

cited you 9×

Mutuals

1. AGAlberto Griggio6 ⇄ 5
2. DBDirk Beyer5 ⇄ 6
3. ACAlessandro Cimatti6 ⇄ 4
4. NSNatasha Sharygina3 ⇄ 9
5. YVYakir Vizel3 ⇄ 3

you ⇄ them

Parasocial crush

TAHThomas A. Henzinger

you: 14 · them: 0

Secret admirer

AEJAntti E. J. Hyvärinen

them: 6 · you: 0

Main character

Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)

CAV 2014 · cited 21×

Ratio'd

SMT Techniques for Fast Predicate Abstraction

CAV 2006 · cited 19× · by your 21×

Vintage

You cite like it's 2010

Deepest dig

Parallel Program Correctness Through Refinement

POPL 1977

Lamport number4

1. GWyou
2. Rupak Majumdar
3. RARajeev Alur
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.