pldb wrapped

GCGuofeng Cui

2 papers

cited 3×

cites 20

Reply guy/gal

JWJi Wang

cited you 2×

Parasocial crush

Isil Dillig

you: 8 · them: 0

Secret admirer

KMKexin Ma

them: 2 · you: 0

Main character

Reward-Guided Synthesis of Intelligent Agents with Control Structures

PLDI 2024 · cited 3×

Vintage

You cite like it's 2018

Deepest dig

Bridging boolean and quantitative synthesis using smoothed proof search

POPL 2014

Lamport number5

1. GCyou
2. HZHe Zhu
3. AVNAditya V. Nori
4. ADGAndrew D. Gordon
5. MAMartín Abadi
6. LLLeslie Lamport

Load-bearing co-author: He Zhu. 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.