pldb wrapped

DUDivyesh Unadkat

4 papers

cited 25×

cites 75

Reply guy/gal

GFGrigory Fedyukovich

cited you 7×

Mutuals

1. SPSumanth Prabhu3 ⇄ 7
2. GFGrigory Fedyukovich2 ⇄ 7
3. AGAarti Gupta2 ⇄ 1
4. BCBharti Chimdyalwar1 ⇄ 1
5. DBDirk Beyer5 ⇄ 1

you ⇄ them

Parasocial crush

David Monniaux

you: 5 · them: 0

Secret admirer

DDDeepak D'Souza

them: 6 · you: 0

Main character

Verifying Array Manipulating Programs with Full-Program Induction

TACAS 2020 · cited 10×

Ratio'd

Abstraction of Arrays Based on Non Contiguous Partitions

VMCAI 2015 · cited 9× · by your 10×

Vintage

You cite like it's 2012

Deepest dig

Finite Differencing of Computable Expressions

TOPLAS 1982

Lamport number4

1. DUyou
2. SCSupratik Chakraborty
3. MYVMoshe Y. Vardi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Supratik Chakraborty. Without them: 5.

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.