pldb wrapped

AAAbdulbaki Aydin

5 papers

cited 73×

cites 61

Reply guy/gal

SSSeemanta Saha

cited you 9×

Mutuals

1. YCYu-Fang Chen4 ⇄ 4
2. LHLukás Holík4 ⇄ 3
3. ESElena Sherman2 ⇄ 3
4. FYFang Yu3 ⇄ 2
5. MFAMohamed Faouzi Atig4 ⇄ 2

you ⇄ them

Parasocial crush

PHPieter Hooimeijer

you: 8 · them: 0

Secret admirer

CWChao Wang

them: 6 · you: 0

Main character

Automata-Based Model Counting for String Constraints

CAV 2015 · cited 33×

Ratio'd

Reliability analysis in symbolic pathfinder

ICSE 2013 · cited 32× · by your 33×

Vintage

You cite like it's 2010

Deepest dig

Model Checking for Programming Languages using Verisoft

POPL 1997

Lamport number5

1. AAyou
2. CSPCorina S. Pasareanu
3. PGPatrice Godefroid
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.