pldb wrapped

IKIvo Krka

4 papers

cited 33×

cites 43

Reply guy/gal

AMAlexandra Meliou

cited you 4×

Mutuals

1. IBIvan Beschastnikh3 ⇄ 4
2. DLDavid Lo4 ⇄ 2
3. MDEMichael D. Ernst3 ⇄ 2
4. AHArmand Halbert1 ⇄ 1
5. AKArvind Krishnamurthy1 ⇄ 1

you ⇄ them

Parasocial crush

SUSebastián Uchitel

you: 10 · them: 0

Secret admirer

BLBin Liang

them: 3 · you: 0

Main character

Automatic mining of specifications from invocation traces and method invariants

FSE 2014 · cited 20×

Ratio'd

Online inference and enforcement of temporal properties

ICSE 2010 · cited 19× · by your 20×

Vintage

You cite like it's 2008

Deepest dig

Software Reflexion Models: Bridging the Gap Between Source and High-Level Models

FSE 1995

Lamport number6

1. IKyou
2. Yuriy Brun
3. SLSorin Lerner
4. SKRSriram K. Rajamani
5. RARajeev Alur
6. RPKRobert P. Kurshan
7. 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.