pldb wrapped

HTHoang-Dung Tran

6 papers

cited 73×

cites 54

Reply guy/gal

GKGuy Katz

cited you 11×

Mutuals

1. GKGuy Katz14 ⇄ 11
2. CWBClark W. Barrett14 ⇄ 9
3. HWHaoze Wu8 ⇄ 11
4. GSGagandeep Singh9 ⇄ 7
5. AZAleksandar Zeljic7 ⇄ 5

you ⇄ them

Parasocial crush

DLDDavid L. Dill

you: 12 · them: 0

Secret admirer

DDDana Drachsler-Cohen

them: 6 · you: 0

Main character

Verification of Deep Convolutional Neural Networks Using ImageStars

CAV 2020 · cited 30×

Ratio'd

Optimization and abstraction: a synergistic approach for analyzing neural…

PLDI 2019 · cited 29× · by your 30×

Vintage

You cite like it's 2020

Deepest dig

An Abstraction-Refinement Approach to Verification of Artificial Neural Networks

CAV 2010

Lamport number5

1. HTyou
2. GFGeorgios Fainekos
3. SSSriram Sankaranarayanan
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Georgios Fainekos. Without them: 6.

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.