pldb wrapped

MWWMichael W. Whalen

24 papers

cited 85×

cites 115

Reply guy/gal

DBDirk Beyer

cited you 13×

Mutuals

1. DBDirk Beyer4 ⇄ 13
2. DGDimitra Giannakopoulou2 ⇄ 3
3. FHFalk Howar2 ⇄ 3
4. SRSanjai Rayadurgam2 ⇄ 3
5. AGAarti Gupta1 ⇄ 2

you ⇄ them

Parasocial crush

Koushik Sen

you: 7 · them: 0

Secret admirer

JSJan Strejcek

them: 4 · you: 0

Main character

Java Ranger: statically summarizing regions for efficient symbolic execution of…

FSE 2020 · cited 14×

Ratio'd

HyComp: An SMT-Based Model Checker for Hybrid Systems

TACAS 2015 · cited 10× · by your 13×

Vintage

You cite like it's 2011

Deepest dig

Test Data as an Aid in Proving Program Correctness

POPL 1976

Lamport number4

1. MWWyou
2. STSerdar Tasiran
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.