pldb wrapped

MNMMuhammad Numair Mansur

6 papers

cited 44×

cites 115

Reply guy/gal

ZSZhendong Su

cited you 4×

Mutuals

1. ZSZhendong Su12 ⇄ 4
2. CZChengyu Zhang4 ⇄ 3
3. AMAntoine Miné3 ⇄ 2
4. Dominik Winterer2 ⇄ 3
5. Manuel Rigger2 ⇄ 3

you ⇄ them

Parasocial crush

JRJohn Regehr

you: 5 · them: 0

Secret admirer

CZCharles Zhang

them: 3 · you: 0

Main character

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing

FSE 2020 · cited 22×

Ratio'd

Automatically testing string solvers

ICSE 2020 · cited 18× · by your 22×

Vintage

You cite like it's 2013

Deepest dig

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

POPL 1977

Lamport number5

1. MNMyou
2. CSChristian Schilling
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.