pldb wrapped

AKAndreas Katis

3 papers

cited 13×

cites 32

Reply guy/gal

PHPhilippe Heim

cited you 4×

Mutuals

1. AGAarti Gupta2 ⇄ 1
2. AGArie Gurfinkel2 ⇄ 1
3. DNDaniel Neider1 ⇄ 1
4. DDDeepak D'Souza1 ⇄ 3
5. RKRaghavan Komondoor1 ⇄ 3

you ⇄ them

Parasocial crush

APAmir Pnueli

you: 3 · them: 0

Secret admirer

RDRayna Dimitrova

them: 4 · you: 0

Main character

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts

TACAS 2018 · cited 13×

Ratio'd

HyComp: An SMT-Based Model Checker for Hybrid Systems

TACAS 2015 · cited 10× · by your 13×

Vintage

You cite like it's 2016

Deepest dig

On the Synthesis of a Reactive Module

POPL 1989

Lamport number4

1. AKyou
2. GFGrigory Fedyukovich
3. HCHana Chockler
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.