unsafe-dispositional-typing - IEEE TSE Reproducibility Package v1.1.1

Complete Reproducibility Package for IEEE TSE Paper

"Dispositional Typing: Eliminating Unsafe Annotations in C, C++, and Rust"

Quick Reproduction (3 minutes total)

1. Setup: python3 -m venv venv && source venv/bin/activate && pip install -r scripts/requirements.txt
2. Analysis: make analysis
   
3. Verify: Figure 1 reproduction with R² = 0.9406, 0.740 ± 0.028 μs/edge

Complete Package Contents

• LaTeX source: Complete paper source for recompilation
• Code: Dispositional typing implementation
• Data: Analysis results and verification
• Documentation: Complete setup and reproduction guides

Key Results

• 78% unsafe annotation reduction
• Linear O(n) complexity verified
  
• Zero false positives
• Ready for IEEE TSE reviewer evaluation

DOI

Permanent archive available at Zenodo (DOI will be updated after archival)

- Python
Published by dougjhmoore 12 months ago