pldb wrapped

IBIvan Bocic

5 papers

cited 9×

cites 34

Reply guy/gal

ABAshish Bokil

cited you 2×

Mutuals

1. DJDaniel Jackson6 ⇄ 1
2. JSFJeffrey S. Foster4 ⇄ 1
3. JPNJoseph P. Near6 ⇄ 1
4. MCRMartin C. Rinard2 ⇄ 1

you ⇄ them

Parasocial crush

ACAvik Chaudhuri

you: 4 · them: 0

Secret admirer

GCGeetam Chawla

them: 2 · you: 0

Main character

Inductive verification of data model invariants for web applications

ICSE 2014 · cited 6×

Ratio'd

Eliminating navigation errors in web applications via model checking and…

ASE 2010 · cited 5× · by your 6×

Vintage

You cite like it's 2008

Deepest dig

On Proving Inductive Properties of Abstract Data Types

POPL 1980

Lamport number6

1. IByou
2. TBTevfik Bultan
3. CWChao Wang
4. ZYZijiang Yang
5. RARajeev Alur
6. RPKRobert P. Kurshan
7. LLLeslie Lamport

Load-bearing co-author: Tevfik Bultan. Without them: ∞.

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.