pldb wrapped

RJRajeev Joshi

7 papers

cited 111×

cites 31

Reply guy/gal

ZTZachary Tatlock

cited you 7×

Mutuals

1. ACAlessandro Cimatti2 ⇄ 2
2. DKDaniel Kroening3 ⇄ 2
3. KRMK. Rustan M. Leino3 ⇄ 2
4. REBRandal E. Bryant3 ⇄ 2
5. SKLShuvendu K. Lahiri2 ⇄ 2

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 6 · them: 0

Secret admirer

ZSZhendong Su

them: 6 · you: 0

Main character

Denali: A Goal-directed Superoptimizer

PLDI 2002 · cited 51×

Ratio'd

Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions

CAV 1999 · cited 17× · by your 19×

Vintage

You cite like it's 2001

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number3

1. RJyou
2. CFCormac Flanagan
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Cormac Flanagan. Without them: 4.

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.