pldb wrapped

YWYanjun Wang

4 papers

cited 29×

cites 94

Reply guy/gal

RJRuyi Ji

cited you 4×

Mutuals

1. Isil Dillig5 ⇄ 3
2. SGSumit Gulwani5 ⇄ 3
3. ARArjun Radhakrishna2 ⇄ 3
4. ATAshish Tiwari2 ⇄ 3
5. JSFJeffrey S. Foster2 ⇄ 2

you ⇄ them

Parasocial crush

MKMilind Kulkarni

you: 8 · them: 0

Secret admirer

GSGustavo Soares

them: 2 · you: 0

Main character

Reconciling enumerative and deductive program synthesis

PLDI 2020 · cited 26×

Ratio'd

Adaptive Concretization for Parallel Program Synthesis

CAV 2015 · cited 16× · by your 26×

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. YWyou
2. XQXiaokang Qiu
3. PMP. Madhusudan
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Xiaokang Qiu. 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.