pldb wrapped

JLJingjing Liang

5 papers

cited 25×

cites 67

Reply guy/gal

OBOsbert Bastani

cited you 4×

Mutuals

1. DMDarko Marinov3 ⇄ 2
2. Isil Dillig3 ⇄ 2
3. J. Ryan Stinnett1 ⇄ 1
4. MNMayur Naik1 ⇄ 1
5. MHMichael Hilton1 ⇄ 1

you ⇄ them

Parasocial crush

SGSumit Gulwani

you: 6 · them: 0

Secret admirer

XJXianhao Jin

them: 3 · you: 0

Main character

Question selection for interactive program synthesis

PLDI 2020 · cited 15×

Ratio'd

OptiMathSAT: A Tool for Optimization Modulo Theories

CAV 2015 · cited 9× · by your 15×

Vintage

You cite like it's 2016

Deepest dig

Symbolic Debugging of Optimized Code

TOPLAS 1982

Lamport number5

1. JLyou
2. QZQirun Zhang
3. TWRThomas W. Reps
4. RARajeev Alur
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.