pldb wrapped

JFJean-Christophe Filliâtre

9 papers

cited 197×

cites 20

Reply guy/gal

PMPeter Müller

cited you 17×

Mutuals

1. FPFrançois Pottier2 ⇄ 7
2. JGMJ. Gregory Morrisett1 ⇄ 2
3. JTJean-Pierre Talpin1 ⇄ 1
4. MSMooly Sagiv1 ⇄ 2
5. RHRobert Harper1 ⇄ 1

you ⇄ them

Parasocial crush

ASAmr Sabry

you: 2 · them: 0

Secret admirer

AJSAlexander J. Summers

them: 9 · you: 0

Main character

Why3 - Where Programs Meet Provers

ESOP 2013 · cited 117×

Ratio'd

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems

CAV 1996 · cited 14× · by your 15×

Vintage

You cite like it's 1998

Deepest dig

Verifying Reachability Invariants of Linked Structures

POPL 1983

Lamport number4

1. JFyou
2. NSNatarajan Shankar
3. MYVMoshe Y. Vardi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Natarajan Shankar. 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.