pldb wrapped

TLThomas Lemberger

10 papers

cited 39×

cites 176

Reply guy/gal

DBDirk Beyer

cited you 8×

Mutuals

1. DBDirk Beyer10 ⇄ 8
2. JSJan Strejcek5 ⇄ 8
3. MCMarek Chalupa2 ⇄ 3
4. MSMartin Spiessl2 ⇄ 2
5. PRPhilipp Rümmer2 ⇄ 3

you ⇄ them

Parasocial crush

MHMatthias Heizmann

you: 23 · them: 0

Secret admirer

SSSimmo Saan

them: 3 · you: 0

Main character

CPAchecker 2.3 with Strategy Selection - (Competition Contribution)

TACAS 2024 · cited 17×

Ratio'd

Reducing False Positives by Combining Abstract Interpretation and Bounded Model…

ASE 2008 · cited 5× · by your 6×

Vintage

You cite like it's 2014

Deepest dig

Systematic Design of Program Analysis Frameworks

POPL 1979

Lamport number5

1. TLyou
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.