pldb wrapped

JMJoão Marques-Silva

8 papers

cited 59×

cites 31

Reply guy/gal

DANDenis A. Nicole

cited you 5×

Mutuals

1. ABArmin Biere4 ⇄ 2
2. AJHAlan J. Hu1 ⇄ 1
3. AKAnvesh Komuravelli1 ⇄ 1
4. CTCesare Tinelli1 ⇄ 1
5. CWBClark W. Barrett1 ⇄ 2

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 5 · them: 0

Secret admirer

JMJeremy Morse

them: 4 · you: 0

Main character

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

ASE 2009 · cited 39×

Ratio'd

Terminator: Beyond Safety

CAV 2006 · cited 38× · by your 39×

Vintage

You cite like it's 2008

Deepest dig

Assignment and Procedure Call Proof Rules

TOPLAS 1980

Lamport number5

1. JMyou
2. BFBernd Fischer
3. SLTSalvatore La Torre
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.