pldb wrapped

J. Ryan Stinnett

@jryans.bsky.social

4 papers

cited 20×

cites 47

Reply guy/gal

CACristian Assaiante

cited you 2×

Mutuals

1. DCDDaniele Cono D'Elia2 ⇄ 2
2. CDCamil Demetrescu2 ⇄ 1
3. JLJingjing Liang1 ⇄ 1
4. QZQirun Zhang4 ⇄ 1
5. SHShan Huang1 ⇄ 1

you ⇄ them

Parasocial crush

JRJohn Regehr

you: 4 · them: 0

Secret admirer

GADGiuseppe Antonio Di Luna

them: 2 · you: 0

Main character

Just fuzz it: solving floating-point constraints using coverage-guided fuzzing

FSE 2019 · cited 16×

Ratio'd

XSat: A Fast Floating-Point Satisfiability Solver

CAV 2016 · cited 14× · by your 16×

Vintage

You cite like it's 2013

Deepest dig

Symbolic Debugging of Optimized Code

TOPLAS 1982

Lamport number5

1. you
2. AFDAlastair F. Donaldson
3. SQShaz Qadeer
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.