pldb wrapped

SGBSimón Gutiérrez Brida

6 papers

cited 8×

cites 66

Reply guy/gal

ABAgustín Borda

cited you 2×

Mutuals

1. ASAllison Sullivan4 ⇄ 2
2. Andreas Zeller3 ⇄ 1
3. KWKaiyuan Wang4 ⇄ 1
4. SKSarfraz Khurshid9 ⇄ 1
5. Shriram Krishnamurthi3 ⇄ 1

you ⇄ them

Parasocial crush

Abhik Roychoudhury

you: 5 · them: 0

Main character

FLACK: Counterexample-Guided Fault Localization for Alloy Models

ICSE 2021 · cited 6×

Ratio'd

The electrum analyzer: model checking relational first-order temporal…

ASE 2018 · cited 5× · by your 6×

Vintage

You cite like it's 2015

Deepest dig

Dynamic Program Slicing

PLDI 1990

Lamport number5

1. SGByou
2. JPGJuan Pablo Galeotti
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.