pldb wrapped

DDDeepak D'Souza

16 papers

cited 88×

cites 287

Reply guy/gal

PHPhilippe Heim

cited you 9×

Mutuals

1. NKNaoki Kobayashi9 ⇄ 5
2. HSHelmut Seidl4 ⇄ 4
3. HUHiroshi Unno5 ⇄ 4
4. TDMTodd D. Millstein7 ⇄ 4
5. VVVesal Vojdani4 ⇄ 4

you ⇄ them

Parasocial crush

ARAndrey Rybalchenko

you: 13 · them: 0

Secret admirer

JEJulian Erhard

them: 5 · you: 0

Main character

Horn-ICE learning for synthesizing invariants and contracts

OOPSLA 2018 · cited 32×

Ratio'd

Property-Directed Inference of Universal Invariants or Proving Their Absence

CAV 2015 · cited 30× · by your 32×

Vintage

You cite like it's 2012

Deepest dig

A Unified Approach to Global Program Optimization

POPL 1973

Early adopter

cited 1 paper before they were published

e.g. Symbolic Fixpoint Algorithms for… (2023) → Solving Infinite-State Games via Acceleration (POPL 2024)

Lamport number4

1. DDyou
2. PMP. Madhusudan
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

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.