domains / families / research / podc-experiments

podc-experiments

separate

Use when building the evidence for an ACM PODC paper — where "evidence" is a proof, not a benchmark. Covers matching upper and lower bounds, tightness arguments, model and assumption stress-tests, adversary-strength calibration, and the honest, clearly-optional role of any simulation in a distributed-computing-theory paper.

When to use

• building evidence for an ACM PODC paper
• matching upper and lower bounds
• tightness arguments
• model and assumption stress-tests
• adversary-strength calibration
• role of simulation in distributed-computing-theory paper

When not to use

• benchmark leaderboard
• artifact track
• establishing results via simulation

Skill page

Source