pldb wrapped

SCSagar Chaki

19 papers

cited 325×

cites 168

Reply guy/gal

GFGrigory Fedyukovich

cited you 18×

Mutuals

1. CSPCorina S. Pasareanu8 ⇄ 8
2. DKDaniel Kroening7 ⇄ 8
3. ARAndrey Rybalchenko6 ⇄ 6
4. Rupak Majumdar11 ⇄ 6
5. TWRThomas W. Reps6 ⇄ 8

you ⇄ them

Parasocial crush

RARajeev Alur

you: 11 · them: 0

Secret admirer

SSSharon Shoham

them: 16 · you: 0

Main character

SMT-Based Model Checking for Recursive Programs

CAV 2014 · cited 101×

Ratio'd

Synthesizing software verifiers from proof rules

PLDI 2012 · cited 90× · by your 101×

Vintage

You cite like it's 2004

Deepest dig

Programming Language Constructs for Which it is Impossible to Obtain "Good"…

POPL 1977

Lamport number4

1. SCyou
2. SKRSriram K. Rajamani
3. RARajeev Alur
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.