pldb wrapped

PBPascal Baumann

4 papers

cited 4×

cites 69

Reply guy/gal

ARBA. R. Balasubramanian

cited you 1×

Mutuals

1. APAndreas Pavlogiannis6 ⇄ 1
2. AFAzadeh Farzan1 ⇄ 1
3. KCKrishnendu Chatterjee3 ⇄ 1

you ⇄ them

Parasocial crush

SQShaz Qadeer

you: 14 · them: 0

Main character

Context-bounded verification of liveness properties for multithreaded…

POPL 2021 · cited 5×

Vintage

You cite like it's 2013

Deepest dig

Precise Interprocedural Dataflow Analysis via Graph Reachability

POPL 1995

Lamport number4

1. PByou
2. Rupak Majumdar
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Rupak Majumdar. 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.