pldb wrapped

PDPriyanka Darke

6 papers

cited 56×

cites 40

Reply guy/gal

DBDirk Beyer

cited you 23×

Mutuals

1. DBDirk Beyer8 ⇄ 23
2. HWHeike Wehrheim2 ⇄ 2
3. ASAmitabha Sanyal2 ⇄ 1
4. ABCAnimesh Basak Chowdhury1 ⇄ 1
5. AGAshutosh Gupta2 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 6 · them: 0

Secret admirer

JSJan Strejcek

them: 7 · you: 0

Main character

VeriAbs : Verification by Abstraction and Test Generation

ASE 2019 · cited 23×

Ratio'd

PeSCo: Predicting Sequential Combinations of Verifiers - (Competition…

TACAS 2019 · cited 19× · by your 23×

Vintage

You cite like it's 2018

Deepest dig

Symbolic Model Checking without BDDs

TACAS 1999

Lamport number4

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