pldb wrapped

STStefano Tonetta

27 papers

cited 134×

cites 194

Reply guy/gal

JLJianwen Li

cited you 8×

Mutuals

1. MYVMoshe Y. Vardi7 ⇄ 6
2. AGAlberto Griggio7 ⇄ 5
3. AGArie Gurfinkel3 ⇄ 4
4. BBBenjamin Bittner4 ⇄ 3
5. CMCristian Mattarei3 ⇄ 5

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 27 · them: 0

Secret admirer

ABAnna Becchi

them: 7 · you: 0

Main character

The nuXmv Symbolic Model Checker

CAV 2014 · cited 62×

Ratio'd

InvGen: An Efficient Invariant Generator

CAV 2009 · cited 44× · by your 62×

Vintage

You cite like it's 2006

Deepest dig

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

POPL 1977

Early adopter

cited 1 paper before they were published

e.g. Formal Design and Safety Analysis of… (2015) → The xSAP Safety Analysis Platform (TACAS 2016)

Lamport number3

1. STyou
2. MYVMoshe Y. Vardi
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Moshe Y. Vardi. Without them: 4.

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.