pldb wrapped

ACAvriti Chauhan

4 papers

cited 35×

cites 30

Reply guy/gal

DBDirk Beyer

cited you 13×

Mutuals

1. DBDirk Beyer5 ⇄ 13
2. ASAmitabha Sanyal2 ⇄ 1
3. ABCAnimesh Basak Chowdhury1 ⇄ 1
4. CRCedric Richter1 ⇄ 1
5. HWHeike Wehrheim1 ⇄ 2

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 5 · them: 0

Secret admirer

JSJan Strejcek

them: 3 · 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. ACyou
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.