pldb wrapped

GZGuolong Zheng

6 papers

cited 19×

cites 87

Reply guy/gal

Ilya Sergey

cited you 3×

Mutuals

1. ASAllison Sullivan4 ⇄ 2
2. Andreas Zeller3 ⇄ 1
3. JSJun Sun1 ⇄ 1
4. PMP. Madhusudan2 ⇄ 1
5. PPPablo Ponzio1 ⇄ 2

you ⇄ them

Parasocial crush

SKSarfraz Khurshid

you: 9 · them: 0

Secret admirer

ABAgustín Borda

them: 2 · you: 0

Main character

SLING: using dynamic analysis to infer program invariants in separation logic

PLDI 2019 · cited 14×

Ratio'd

Using dynamic analysis to generate disjunctive invariants

ICSE 2014 · cited 13× · by your 14×

Vintage

You cite like it's 2014

Deepest dig

A Flexible Approach to Interprocedural Data Flow Analysis and Programs with…

POPL 1982

Lamport number5

1. GZyou
2. TCLTon Chanh Le
3. EKEric Koskinen
4. MYVMoshe Y. Vardi
5. RPKRobert P. Kurshan
6. 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.