pldb wrapped

CACyrille Artho

16 papers

cited 32×

cites 91

Reply guy/gal

CLChuan Luo

cited you 6×

Mutuals

1. BASBeverly A. Sanders1 ⇄ 1
2. CLChuan Luo1 ⇄ 6
3. CSPCorina S. Pasareanu5 ⇄ 1
4. DMDarko Marinov6 ⇄ 1
5. EBElliot Barlas3 ⇄ 1

you ⇄ them

Parasocial crush

GPBGuillaume P. Brat

you: 8 · them: 0

Secret admirer

HZHongyu Zhang

them: 6 · you: 0

Main character

Greedy combinatorial test case generation using unsatisfiable cores

ASE 2016 · cited 11×

Ratio'd

Random unit-test generation with MUT-aware sequence recommendation

ASE 2010 · cited 8× · by your 9×

Vintage

You cite like it's 2006

Deepest dig

The Temporal Logic of Branching Time

POPL 1981

Lamport number4

1. CAyou
2. KHKlaus Havelund
3. DAPDoron A. Peled
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Klaus Havelund. Without them: 5.

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.